Гедель Курт

1906—1978

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

XPOHOC

ВВЕДЕНИЕ В ПРОЕКТ

БИБЛИОТЕКА ХРОНОСА

ИСТОРИЧЕСКИЕ ИСТОЧНИКИ

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ

СТРАНЫ И ГОСУДАРСТВА

ЭТНОНИМЫ

РЕЛИГИИ МИРА

СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ

МЕТОДИКА ПРЕПОДАВАНИЯ

КАРТА САЙТА

АВТОРЫ ХРОНОСА

ХРОНОС:

В Фейсбуке

ВКонтакте

В ЖЖ

Twitter

Форум

Личный блог

Родственные проекты:

РУМЯНЦЕВСКИЙ МУЗЕЙ

ДОКУМЕНТЫ XX ВЕКА

ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ

ПРАВИТЕЛИ МИРА

ВОЙНА 1812 ГОДА

ПЕРВАЯ МИРОВАЯ

СЛАВЯНСТВО

ЭТНОЦИКЛОПЕДИЯ

АПСУАРА

РУССКОЕ ПОЛЕ

Гедель Курт

Курт Гедель (1906—1978) — логик и математик. Родился в Австро-Венгрии, с 1940 г. жил в США. Автор трудов по математической логике и теории множеств. Доказал теоремы о неполноте, из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.

Использованы сведения примечаний к кн.: Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012.

Гедель Курт (1906—1978) — австрийский математик и логик. Разрабатывал проблемы метаматематики и математической логики. Важнейший результат, полученный Геделем, состоит в доказательстве (1931) неполноты достаточно богатых формальных систем (в т. ч. аксиоматической теории множеств и арифметики натуральных чисел): в таких системах имеются истинные предложения, которые в их рамках недоказуемы и неопровергаемы. Этот результат Гедель вызвал интенсивное исследование ограниченностей формальных систем (работы А. Черча, С. Клини, Тарского, А. Мостовского, П. Новикова, и др.), а в философском плане означал утверждение принципиальной невозможности полной формализации научного знания. Гедель принадлежат также важные результаты в теории моделей (теорема о полноте узкого исчисления предикатов), в области конструктивной логики, теории рекурсивных функций и т. д. В своих философских воззрениях Геделя испытал в 30-х гг. влияние неопозитивизма, а впоследствии выступал с критикой субъективизма.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 83.

Гёдель (Gödel) Курт [28. 4. 1906, Брюнн (Брно),— 14.1.1978, Принстон], австрийский логик и математик. С 1940 года в США. Основные труды в области математической логики и теории множеств. Важнейший результат, полученный Гёделем,— доказательство неполноты достаточно богатых формальных систем (в том числе арифметики натуральных чисел и аксиоматической теории множеств). Гёдель показал, что в таких системах имеются истинные предложения, которые в их рамках недоказуемы и неопровержимы. В философско-методологическом плане теорема Гёделя о неполноте означала утверждение принципиальной невозможности полной формализации научного знания. Гёдель принадлежит ряд результатов в теории моделей, в области конструктивной логики и других разделах математической логики. В 30-х годах философские взгляды Гёделя были близки к неопозитивизму, впоследствии выступал с критикой субъективизма в философском истолковании логики.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

Сочинения: в рус. пер.: Совместимость аксиомы выбора и обобщенной континуум-гипотезы с аксиомами теории множеств, «Успехи математич. наук», 1948, т. 3, в. 1; Об одном ещё не использованном расширении финитной т. зр., в сб.: Математич. теория логич. вывода, М., 1967.

Литература: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (библ.); Нагель Э., Ньюмен Д. Р., Теорема Г., пер. с англ., М., 1970.

ГЁДЕЛЬ (Godel) Курт (27 апреля 1906, Брно, Австро-Венгрия — 14 января 1978, Принстон, США) — австрийский и американский логик и математик; окончил Венский университет; участвовал в работе Венского кружка, но довольно быстро отошел от него, не удовлетворенный уровнем обсуждений. Обращает на себя внимание относительно малое число опубликованных Гёделем работ и принципиальный характер задач, решаемых практически в каждой из них. Его диссертация (1930) была посвящена фундаментальному результату — доказательству теоремы полноты: «Формула истинна во всех моделях теории Th тогда и только тогда, когда она является теоремой Th», утвердившему формализованную классическую логику в качестве прочной основы для математики. Теореме полноты эквивалентна теорема существования модели: «Теория Th имеет модель тогда и только тогда, когда она непротиворечива».

За этими «оптимистичными» теоремами последовала та, которая при поверхностном понимании кажется весьма разочаровывающей. Это теорема Гёделя о неполноте: «Если непротиворечивая теория содержит арифметику, то в ней имеется формула, которую нельзя ни доказать, ни опровергнуть». Такая формула называется неразрешимой в данной теории. Доказательство теоремы о неполноте весьма устойчиво к смене формализмов и логических систем. В дальнейшем Россер и Подниекс ослабили условия данной теоремы и усилили ее следствия. (Обзор общематематически и философски важных вариаций теоремы неполноты дан в кн.: Гончаров С. С., Ершов Ю. Л., Самохвалов К. Ф. Введение в логику и методологию науки. М., 1994.) Как заметил Гёдель, доказательство теоремы неполноты не формализуется внутри самой арифметики, а это означает, что мы не можем доказать непротиворечивость теории Th внутри самой Th, поскольку тогда мы доказали бы неразрешимую формулу (3-я теорема Гёделя). Доказательство 3-й теоремы не столь устойчиво, оно зависит от свойств кодирования формул числами, и был построен ряд кодирований, при которых можно внутри самой теории доказать формулу, содержательно означающую ее непротиворечивость. (Подробный анализ данных вопросов и связи их с программой Гильберта см. ст. Формализм.) Гёдель построил вложение классической логики в интуиционистскую (независимо от Гливенко), а интуиционистской — в модальную систему S4. Он доказал совместимость аксиомы выбора с множеств теорией и дал конструкцию, обобщающую разветвленную иерархию Рассела. В модели Гёделя оказалась верна и континуум-гипотеза Кантора, так что он попутно доказал и ее совместимость. Эта модель была использована Коэном при доказательстве независимости аксиомы выбора.

В 1940, после аншлюса, ученый переехал в США, в Принстонский Институт высших исследований, и в 1948 принял гражданство США. В результате научных контактов с А. Эйнштейном, который придерживался мнения, что из общей теории относительности должна следовать направленность времени, Гёдель построил контрпример: модель Вселенной, в которой есть замкнутые мировые линии (т. е. в некоторых ее областях время ходит по кругу). За эту работу, которая в современной космологии положила начало целому направлению, он получил (по рекомендации самого Эйнштейна) Эйнштейновскую премию (1954). В 1958 Гёдель построил принципиально новую интерпретацию типа реализуемости для интуиционистской арифметики, основанную на нахождении контрпримера и сохраняющую классическую истинность для всех отрицательных формул. В бумагах Гёделя после его смерти было найдено логическое доказательство существования Бога, но показательно, что сам Гёдель не публиковал его и старался о нем не говорить.

Н. Н. Непейвода

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. I, А - Д, с. 518-519.

Далее читайте:

Философы, любители мудрости (биографический указатель).

Сочинения:

Collected works, ed. S. Feferman et al., v. I—III. N. Y., 1986-1995;

Совместимость аксиомы выбора и обобщенной континуум-гипотезы с аксиомами теории множеств. — «Успехи математических наук», 1948, т. 3, вып. 1;

Об одном еще не использованном расширении финитной точки зрения,— В кн.: Математическая теория логического вывода. М., 1967.

Литература:

Нагель Э., Ньюмен Д. Теорема Гёделя. М., 1970;

Подниекс К. М. Вокруг теоремы Гёделя. Рига, 1981;

Брутян Г. А. Письмо К. Гёделя. — «ВФ», 1984, № 12.

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ

ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС