33
/
AIzaSyB4mHJ5NPEv-XzF7P6NDYXjlkCWaeKw5bc
November 30, 2025
2179380
182487
2
Public Timelines
FAQ

nov 12, 1936 - Тьюринг переформулировал теорему Гёделя

Description:

Тьюринг переформулировал теорему Гёделя о неполноте, заменив универсальный формальный арифметический язык Гёделя на простые гипотетические устройства, которые впоследствии стали известны как машины Тьюринга.

Added to timeline:

Date:

nov 12, 1936
Now
~ 89 years ago

Images: