Поиск:
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Э
Ю
Я
Статьи
ГЁДЕЛЯ ТЕОРЕМА:
ГЁДЕЛЯ ТЕОРЕМА - - важнейший результат, полученный австрийским логиком и математиком К. Гёделем (1906-1978). В 1931 г. в статье "О формально неразрешимых предложениях Principia Mathematica и родственных систем" Гёдель доказал теорему о неполноте: если система Z (содержащая арифметику натуральных чисел) непротиворечива, то в ней существует такое предложение А, что ни само А, ни его отрицание не могут быть доказаны средствами Z На примере анализа формальной системы, сформулированной в фундаментальном трехтомном труде англ. математиков и логиков А. Уайтхеда и Б. Рассела "Principia Mathematica", Гёдель показал, что в достаточно богатых содержательных нормальных системах имеются неразрешимые предложения, т. е. предложения, которые недоказуемы и одновременно неопровержимы. Значение Г. т. состоит в том, что она показала неосуществимость программы формализации математики, выдвинутой немецким математиком Д. Гильбертом. Как показывает Г. т., даже арифметику натуральных чисел невозможно формализовать полностью, ибо в формализованной арифметике существуют истинные предложения, которые оказываются неразрешимыми. С философско-мето-дологической точки зрения значение Г. т. заключается в том, что она показывает невозможность полной формализации человеческого знания.
Похожие на ГЁДЕЛЯ ТЕОРЕМА слова / понятия:
ГЁЛЬДЕРЛИН ИОГАНН ХРИСТИАН ФРИДРИХ (1770-1843)
ГЁТЕ ИОГАНН ВОЛЬФГАНГ (1749-1832)
ГЛАДКОСТЬ (LEIOS)
ГНОСЕОЛОГИЧЕСКИЕ ОГРАНИЧИТЕЛИ
ГНОСЕОЛОГИЧЕСКИЕ ШКАЛЫ
ГОББС ТОМАС (1588-1679)
ГОЛЬБАХ ПОЛЬ АНРИ (1723-1789)
ГОЛОС И ФЕНОМЕН: ВВЕДЕНИЕ В ПРОБЛЕМУ ЗНАКОВ В ФЕНОМЕНОЛОГИИ ГУССЕРЛЯ
ГОМЕОМЕРИИ
ГОМОМОРФИЗМ, ИЗОМОРФИЗМ