ГЁДЕЛЯ ТЕОРЕМА это:

ГЁДЕЛЯ ТЕОРЕМА
ГЁДЕЛЯ ТЕОРЕМА
— важнейший результат, полученный австр. логиком и математиком К. Гёделем. В 1931 в ст. «О формально неразрешимых предложениях Pnncipia Mathematica и родственных систем» Гёдель доказал теорему о неполноте: если система Z(содержащая арифметику натуральных чисел) непротиворечива, то в ней существует такое предложение А, что ни само А, ни его отрицание не могут быть доказаны средствами Z. На примере анализа формальной системы, сформулированной в фундаментальном трехтомном труде Б. Рассела и А. Уайтхеда «Principia Mathematica», Гёдель показал, что в достаточно богатых формальных системах имеются неразрешимые предложения, т.е. предложения, которые недоказуемы и одновременно неопровержимы. Значение Г.т. состоит в том, что она показала неосуществимость программы формализации математики, выдвинутой нем. математиком Д. Гильбертом. Как показывает Г.т., даже арифметику натуральных чисел невозможно формализовать полностью, ибо в формализованной арифметике существуют истинные предложения, которые оказываются неразрешимыми. С философско-методологической т.зр. значение Г.т. заключается в том, что она показывает невозможность полной формализации человеческого знания.

Философия: Энциклопедический словарь. — М.: Гардарики. . 2004.


.

Смотреть что такое "ГЁДЕЛЯ ТЕОРЕМА" в других словарях:

  • гёделя теорема — важнейший результат, полученный австрийским логиком и математиком К. Гёделем (1906 1978). В 1931 г. в статье О формально неразрешимых предложениях Principia Mathematica и родственных систем Гёдель доказал теорему о неполноте: если система Z… …   Словарь терминов логики

  • ГЁДЕЛЯ ТЕОРЕМА О ПОЛНОТЕ — утверждение о полноте классического исчисления предикатов: всякая предикатная формула, истинная на всех моделях, выводима (по формальным правилам классич. исчисления предикатов). Г. т. о п. показывает, что множество выводимых формул этого… …   Математическая энциклопедия

  • ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… …   Математическая энциклопедия

  • Теорема Гёделя — Теорема Гёделя: Теорема Гёделя о полноте, или Первая теорема Гёделя (1929 год) Теорема Гёделя о неполноте, или Вторая теорема Гёделя (1930 год) …   Википедия

  • Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1]  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… …   Википедия

  • Теорема Гёделя —    гласит, что в широком классе систем, в которых вообще существуют понятия утверждения и доказательства (например, математика), существуют утверждения, которые не могут быть ни опровергнуты, ни доказаны; данное утверждение широко используется за …   Мир Лема - словарь и путеводитель

  • Теорема Гёделя о полноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о полноте исчисления предикатов является одной из фундаментальных теорем математической логики: она устанавливает однозначную связь между логической истинностью… …   Википедия

  • Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… …   Википедия

  • Вторая теорема Гёделя — Теоремы Гёделя о неполноте две теоремы математической логики о неполноте формальных систем определённого рода. Содержание 1 Первая теорема Гёделя о неполноте 2 Вторая теорема Гёделя о неполноте …   Википедия

  • ГЁДЕЛЬ — (Godel) Курт (1906 1978) австр. логик и математик. Участвовал в работе Венского кружка. В 1933 1939 приват доцент Венского ун та, в 1940 эмигрировал в США, с 1953 проф. Ин та высших исследований в Принстоне. Г. принадлежат ряд важнейших… …   Философская энциклопедия

Книги

Другие книги по запросу «ГЁДЕЛЯ ТЕОРЕМА» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»