12 nov 1936 anni - Тьюринг переформулировал теорему Гёделя
Descrizione:
Тьюринг переформулировал теорему Гёделя о неполноте, заменив универсальный формальный арифметический язык Гёделя на простые гипотетические устройства, которые впоследствии стали известны как машины Тьюринга.
Aggiunto al nastro di tempo:
Data:
Immagini: