nov 12, 1936 - Тьюринг переформулировал теорему Гёделя
Description:
Тьюринг переформулировал теорему Гёделя о неполноте, заменив универсальный формальный арифметический язык Гёделя на простые гипотетические устройства, которые впоследствии стали известны как машины Тьюринга.
Added to timeline:
Date:
Images:
![]()