Курт Фри́дрих Гёдель (нем. Kurt Friedrich Gödel; 1906—1978) — австрийский логик, математик и философ математики, наиболее известный сформулированной и доказанной им теоремой о неполноте.

Биография

Курт Гёдель родился 28 апреля 1906 года в австро-венгерском (моравском) городе Брюнн (ныне Брно, Чехия), в немецкой семье. Отец Курта, Рудольф Гёдель, был управляющим текстильной фабрики.

Окончив школу в 1923 году, Гёдель поступил в Венский университет. Там он два года изучал физику, но затем переключился на математику. В 1929 году защитил диссертацию и в 1930 году начал преподавать в Венском университете, участвуя в семинарах Венского кружка неопозитивизма. В 1934 году совершил поездку в США (Принстонский университет), где прочитал курс лекций «О неразрешимых теоремах формальных математических систем». В 1938 году он женился на Адель Поркерт, с которой познакомился в Венском клубе еще в 1927 году.

В 1940 году он уехал в США, причём из-за опасности пути через Атлантику во время войны поехал через СССР и Японию. В США он получил работу в знаменитом Институте перспективных исследований (Принстонский университет). В 1951 году Гедель получил высшую научную награду США – Эйнштейновскую премию, а в 1974 году – Национальную Медаль Науки.

Болезнь и смерть

Ещё с 30-х годов у Гёделя обнаруживались признаки психических проблем, которые обычно носили скрытый характер, проявляясь в частных беспокойствах и излишней подозрительности, но в периоды обострений принимали более явные, навязчивые формы. Так в 1936 году у него развился параноидальный страх отравления. Опорой Гёделя в нелёгкое время была его жена Адель, кормившая его с ложки и буквально выходившая мужа. Из сохранившихся записей библиотечных запросов этого периода известно, что он изучал литературу по душевным расстройствам, фармакологии и токсикологии (особенно характерно неоднократное обращение к техническому справочнику по отравлениям угарным газом), что лишь осложняло впоследствии его лечение.

Позже, в Принстоне (1941), несмотря на улучшение общего состояния, Гёдель по-прежнему испытывал дискомфорт от присутствия агрегатов, способных, по его мнению, испускать отравляющие газы. По этой причине он даже распорядился вынести из их с Аделью квартиры холодильник и радиатор. Его одержимость свежим воздухом и подозрения по поводу холодильника сохранялись до конца жизни, а периоды умеренного оздоровления и ухудшения душевного состояния сменяли друг друга. Последние, впрочем, происходили всё чаще и были тяжелее. Так, кризис 1970-го года оказался гораздо хуже такового в 1936-м и сопровождался галлюцинациями, параноидальным поведением по отношению к докторам и коллегам. Стремительно ухудшалось и состояние здоровья Адель, теперь она не могла ухаживать за ним так, как раньше, а он, в свою очередь, — за ней. Огромную поддержку оказывал друг Гёделя Оскар Моргенштерн.

В феврале 1976 года паранойя Гёделя опять обострилась, начал снижаться вес и его уговорили на госпитализацию. Однако уже через неделю, даже не выписавшись, он вернулся домой. Подозрения касались теперь и жены — Моргенштерну и другим людям он рассказывал, что та якобы раздала в его отсутствие все его деньги. В июне Адель была госпитализирована (до августа). Гёдель проводил с ней, по-видимому, достаточно много времени и плохо питался. Осенью он ненадолго снова попал в больницу, где, как он сообщил, его якобы пытались убить. После возвращения домой состояние не улучшалось. Несмотря на уговоры друзей, от очередной госпитализации он отказывался.

В июле 1977 года Адель вновь попала в больницу, где пробыла до декабря. 26 июля умер Моргенштерн. Это событие и отсутствие жены оказали решающее влияние на состояние Гёделя в последующие несколько месяцев — анорексия и паранойя прогрессировали всё активнее. 29 декабря, следуя настояниям жены, возвратившейся около недели назад, Гёдель согласился на госпитализацию. Однако врачи никакую существенную помощь оказать уже не могли. Учёный скончался от «недоедания и истощения», индуцированных «расстройством личности», 14 января 1978 года в Принстоне, штат Нью-Джерси^[1].

Научное наследие

Гёдель был логиком и философом науки. Наиболее известное достижение Гёделя — это сформулированные и доказанные им теоремы о неполноте, опубликованные в 1931 году. Одна из них гласит, что любая эффективно аксиоматизируемая теория, в достаточно богатом языке, достаточном для определения натуральных чисел и операций сложения и умножения является неполной либо противоречивой. Неполнота означает наличие высказываний, которые нельзя ни доказать, ни опровергнуть, исходя из аксиом этой теории. Противоречивость — возможность доказать любое высказывание: как истинное так и ложное. Эффективная аксиоматизируемость понимается как возможность алгоритмически решить, является ли данное утверждение аксиомой. Доказанные Гёделем теоремы имеют широкие последствия как для математики, так и для философии (в частности, для онтологии и философии науки).

Кроме того, Гёделю принадлежат работы в области дифференциальной геометрии и теоретической физики. В частности, он написал работу по общей теории относительности, в которой предложил вариант решения уравнений Эйнштейна, из которого следует, что строение вселенной может иметь такое устройство, в котором течение времени является закольцованным (метрика Гёделя), что теоретически допускает путешествия во времени. Большинство современных физиков считают это решение верным лишь математически и не имеющим физического смысла.

Примечания

Библиография

• Иерей Димитрий Кирьянов. Религиозно-философские аспекты мысли К. Геделя. — Труды Тобольской Православной духовной семинарии. Т. 1, 2010, 241—250.

См. также

• Премия Гёделя

Ссылки

• Статья о Гёделе в журнале «Знание — сила»
• Глава 8 п.3 книги А. К. Сухотина «Философия Математики» о работах Гёделя
• Теория противоречивости бытия