Математические основы современной информатики были заложены Куртом Гёделем в его теореме о неполноте (1931). В этой теореме, он показал, что существуют пределы того, что может быть доказано и опровергнуто с помощью формальной системы. Это привело к определению и описанию Гёделем и другими формальных систем, в том числе были определены такие понятия, как μ-рекурсивная функция и λ-определимые функции. (1 янв 1931 г. – 1 янв 2014 г.)
Добавлено на ленту времени:
Дата:
1 янв 1931 г.
1 янв 2014 г.
~ 83 years