Теоремы Гёделя о неполноте
Эпоха: Ранняя теория · 1930-е–1950-е
Курт Гёдель опубликовал свои теоремы о неполноте, доказав, что в любой достаточно мощной формальной системе существуют утверждения, которые нельзя ни доказать, ни опровергнуть в рамках этой системы. Это открытие не только потрясло математическое сообщество, но и имело глубокие последствия для теории вычислений и искусственного интеллекта.
Курт Гёдель (1906–1978)
Источники и подтверждения
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Springer · Тип источника: paper
Gödel’s 1931 paper establishes the first incompleteness theorem.
Опубликовано: ·Проверено: