12 nov 1936 ano - Тьюринг переформулировал теорему Гёделя
Descrição:
Тьюринг переформулировал теорему Гёделя о неполноте, заменив универсальный формальный арифметический язык Гёделя на простые гипотетические устройства, которые впоследствии стали известны как машины Тьюринга.
Adicionado na linha do tempo:
Data:
Imagens: