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