Электронные словари и энциклопедии: Большой энциклопедический словарь, Словарь Даля, Словарь Ожегова и т.д.

Словарь логики
"Гёделя Теорема"

Главная - Словарь логики - буква Г - Гёделя Теорема
Словарь логики
Искать!

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


Поделитесь с друзьями:


Вы можете поставить ссылку на это слово:

будет выглядеть так: Гёделя Теорема


будет выглядеть так: Что такое Гёделя Теорема

Наиболее востребованные слова:    ВОДОПОТРЕБЛЕНИЯ НОРМА / Большой энциклопедический словарь. Сельское хозяйство
   Прованс / Энциклопедический словарь
   Флудить / Словарь компьютерного жаргона
   Русский Алфавит / Энциклопедический словарь
   Политическая Карта Мира / Энциклопедический словарь
   СЕКВЕСТИРОВАНИЕ / Бухгалтерский словарь
   Аспект / Словарь Даля
   Группы Крови / Энциклопедический словарь
   АВИЗО / Бухгалтерский словарь
   Рентабельность / Бизнес словарь
   Алфавит / Энциклопедический словарь
   Гетеро... / Сексологический словарь
   Копрофилия / Толковый словарь психиатрических терминов
   Фонетический / Словарь Даля
   Географические Карты / Энциклопедический словарь
   Диверсификация / Бизнес словарь
   Личности структура по Платонову / Толковый словарь психиатрических терминов
   Реализм / Энциклопедический словарь
   Римские Цифры / Энциклопедический словарь
   Интерпретация / Словарь логики
   Логика / Словарь логики
   Синонимы / Энциклопедический словарь
   СЧЕТ-ФАКТУРА / Бухгалтерский словарь
   Части Речи / Энциклопедический словарь
   Филолог / Энциклопедический словарь
2010-2013. Толковый словарь DicDic. Словарь - Гёделя Теорема - Словарь логики - Толковый словарь DICDIC