Теоремы Гёделя о неполноте

Материал из Википедии — свободной энциклопедии

Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения.

Теоремы Гёделя о неполноте — две теоремы математической логики о неполноте формальных систем определённого рода.

Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте 3 Примечания 4 См. также 5 Ссылки

[править] Первая теорема Гёделя о неполноте

Во всякой достаточно богатой непротиворечивой теории первого порядка[1] существует такая замкнутая истинная формула , что ни , ни её отрицание не являются выводимыми в этой теории.

Иначе говоря, в любой достаточно сложной непротиворечивой теории существует истинное утверждение, которое средствами самой теории невозможно ни доказать, ни опровергнуть.

Теорема была доказана Куртом Гёделем в 1931 году.

[править] Вторая теорема Гёделя о неполноте

Во всякой достаточно богатой непротиворечивой теории первого порядка[1] формула, утверждающая непротиворечивость этой теории, не является выводимой в ней.

Иными словами, непротиворечивость достаточно богатой теории не может быть доказана средствами этой теории. Однако вполне может оказаться, что непротиворечивость одной конкретной теории может быть установлена средствами другой, более мощной формальной теории. Но тогда встаёт вопрос о непротиворечивости этой второй теории, и т. д.

Эта теорема имеет широкие последствия как для математики, так и для философии, в частности, для онтологии и философии науки.

[править] Примечания

[править] См. также

• Теорема Гёделя о полноте
• Парадокс лжеца
• Недоказуемые утверждения
• Теорема Лёба
• Теорема Тарского о невыразимости истины
• Натуральные числа
• Формальная теория
• Дедуктивная теория

[править] Ссылки

• В. А. Успенский Теорема Гёделя о неполноте. — М.: Наука, 1982. — 110 с. — (Популярные лекции по математике).
• Академик Ю. Л. Ершов «Доказательность в математике», программа А. Гордона от 16 июня 2003 года
• А. Б. Сосинский Теорема Геделя // летняя школа «Современная математика». — Дубна: 2006.
• П. Дж. Коэн Об основаниях теории множеств // Успехи математических наук. — 1974. — Т. 29. — № 5(179). — С. 169–176.
• М. Кордонский Конец истины. — ISBN 5-946448-001-04
• В. А. Успенский Теорема Гёделя о неполноте и четыре дороги, ведущие к ней // летняя школа «Современная математика». — Дубна: 2007.