Поиск:
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я


Статьи

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



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

ГЁЛЬДЕРЛИН ИОГАНН ХРИСТИАН ФРИДРИХ (1770-1843)
ГЁТЕ ИОГАНН ВОЛЬФГАНГ (1749-1832)
ГЛАДКОСТЬ (LEIOS)
ГНОСЕОЛОГИЧЕСКИЕ ОГРАНИЧИТЕЛИ
ГНОСЕОЛОГИЧЕСКИЕ ШКАЛЫ
ГОББС ТОМАС (1588-1679)
ГОЛЬБАХ ПОЛЬ АНРИ (1723-1789)
ГОЛОС И ФЕНОМЕН: ВВЕДЕНИЕ В ПРОБЛЕМУ ЗНАКОВ В ФЕНОМЕНОЛОГИИ ГУССЕРЛЯ
ГОМЕОМЕРИИ
ГОМОМОРФИЗМ, ИЗОМОРФИЗМ