31 Jan 1931 Jahr - Теореме о неполноте
Beschreibung:
В этой теореме, Куртом Гёделем показал, что существуют пределы того, что может быть доказано и опровергнуто с помощью формальной системы. Это привело к определению и описанию Гёделем и другими формальных систем, в том числе были определены такие понятия, как μ-рекурсивная функция и λ-определимые функции.
Zugefügt zum Band der Zeit:
Datum: