Эта статья входит в число добротных статей

Гёдель, Курт (I~;yl,, Trjm)

Перейти к навигации Перейти к поиску
Курт Гёдель
нем. Kurt Friedrich Gödel

Имя при рождении нем. Kurt Friedrich Gödel
Дата рождения 28 апреля 1906(1906-04-28)[1][2][…]
Место рождения Брюнн, Австро-Венгрия (ныне Брно, Чехия)
Дата смерти 14 января 1978(1978-01-14)[1][2][…] (71 год)
Место смерти Принстон, Нью-Джерси, США
Страна Флаг Австро-Венгрии Австро-Венгерская империя →
Флаг Чехословакии Чехословацкая Республика
Флаг Австрии Австрийская Республика
Флаг США США
Научная сфера математика
Место работы Институт перспективных исследований
Альма-матер Венский университет
Научный руководитель Ганс Хан
Известен как автор теорем о неполноте
Награды и премии
Автограф Изображение автографа
Логотип Викицитатника Цитаты в Викицитатнике
Логотип Викисклада Медиафайлы на Викискладе

Курт Фри́дрих Гёдель (нем. Kurt Friedrich Gödel; 28 апреля 1906, Брюнн, Австро-Венгрия — 14 января 1978, Принстон, Нью-Джерси) — австрийский логик, математик и философ математики. Наиболее известен сформулированными и доказанными им теоремами о неполноте, которые оказали огромное влияние на представление об основаниях математики. Считается одним из наиболее выдающихся мыслителей XX века[3][4].

Член Национальной академии наук США (1955)[5], иностранный член Лондонского королевского общества (1968)[6].

Биография[править | править код]

Ранние годы[править | править код]

Курт Гёдель родился 28 апреля 1906 года в австро-венгерском (моравском) городе Брюнн (ныне Брно, Чехия) в немецкой семье. Отец Курта — Рудольф Гёдель (1874—1929) — был совладельцем и управляющим крупной текстильной фабрики. В семье был ещё старший брат, названный в честь отца Рудольфом. С детства Курт отличался стеснительностью, погружённостью в себя, ипохондрией, а также чрезвычайной мнительностью — нередко он сам внушал себе всевозможные суеверия, от которых не мог избавиться до конца жизни (например, даже в жару он носил тёплую одежду и перчатки, поскольку считал, безо всяких к тому оснований, что у него слабое сердце)[7].

В 1918 году, после распада Австро-Венгрии, Гёдель получил чехословацкое гражданство, однако считал себя австрийцем[8]. В 23 года он официально принял австрийское гражданство.

Ещё в детстве Курт проявил способности к языкам; помимо родного немецкого он уже в юности свободно говорил по-английски и по-французски[9]. Окончив школу в 1923 году, Гёдель поступил в Венский университет. Там он два года изучал физику, но затем переключился на математику. С 1926 года участвовал в семинарах Венского философского кружка неопозитивистов, особый интерес проявил к математической логике и теории доказательств. Большое влияние на научную карьеру Гёделя оказало посещение им лекции Давида Гильберта в Болонье. Лекция была посвящена вопросам полноты и непротиворечивости аксиоматических систем. В 1930 году Гёдель защитил диссертацию на тему «О полноте логического исчисления» (руководителем был Ханс Хан) и начал преподавать в Венском университете.

Научные успехи. Эмиграция (1931—1948)[править | править код]

Ещё в начале XX века Давид Гильберт провозгласил цель аксиоматизировать всю математику, и для завершения этой задачи оставалось доказать непротиворечивость и логическую полноту арифметики натуральных чисел. 7 сентября 1930 года в Кёнигсберге проходил научный конгресс по основаниям математики, и на этом конгрессе 24-летний Гёдель впервые обнародовал две фундаментальные теоремы о неполноте, показавшие, что программа Гильберта не может быть реализована: при любом выборе аксиом арифметики существуют теоремы, которые невозможно ни доказать, ни опровергнуть простыми (финитными) средствами, предусмотренными Гильбертом, а финитное доказательство непротиворечивости арифметики невозможно[10].

Это выступление не было заявлено заранее и произвело ошеломляющий эффект, Гёдель сразу стал всемирной знаменитостью, а программа Гильберта по формализации основ математики потребовала срочного пересмотра. Статья с обеими теоремами («О принципиально неразрешимых положениях в системе Principia Mathematica и родственных ей системах») была опубликована в научном ежемесячнике Monatshefte für Mathematik und Physik в 1931 году. Хотя доказательство второй теоремы Гёдель дал только в виде идеи, его результат был настолько ясен и неоспорим, что не вызвал сомнений ни у кого. Гильберт сразу признал ценность открытий Гёделя; первые полные доказательства обеих теорем были опубликованы в книге Гильберта и Бернайса «Основания математики» (1938). В предисловии ко второму тому авторы признали, что для достижения поставленной цели финитных методов недостаточно, и добавили в число логических средств трансфинитную индукцию; в 1936 году Герхард Генцен сумел доказать с помощью этой аксиомы непротиворечивость арифметики, однако логическая полнота так и осталась недостижимой[10][11].

В 1933 году, уже в должности приват-доцента Венского университета, Гёдель получил приглашение в Принстонский университет (США), где прочитал курс лекций «О неразрешимых теоремах формальных математических систем». В Принстоне он познакомился и подружился с Эйнштейном. В дальнейшем (1934—1939) Гёдель посещал Принстон почти каждый год, чем немало содействовал развитию американской школы математической логики (Клини, Чёрч и другие)[12].

В марте 1938 года Австрия была присоединена к нацистской Германии. В ходе начавшейся реформы университетской системы Гёдель остался без работы, хотя «неарийской крови» у него не было. В довершение неприятностей 32-летний математик был признан годным к армейской службе и получил мобилизационную повестку. С этого момента Гёдель, ранее равнодушный к политике, начал задумываться об эмиграции. В этом же 1938 году Гёдель женился на танцовщице Адели Поркерт, которая была на шесть лет старше его. Брак оказался удачным, но детей у них не было[13].

В 1940 году Гёдель, опасаясь призыва в армию, уехал с женой и братом Рудольфом в США, причём из-за опасности пути через Атлантику во время начавшейся войны поехал туда через дружественные к Германии на тот момент СССР (по Транссибу) и Японию. В США он без проблем получил должность в недавно основанном принстонском Институте перспективных исследований, в 1953 году был утверждён там профессором. Мать осталась в Брно, Гёдель регулярно ей писал. С 1940 года Гёдель больше не публиковал исследований по логике, за исключений комментариев философского характера[14].

В 1948 году Гёдель получил американское гражданство. На собеседовании он попытался доказать, что Конституция США формально-логически неполна и не гарантирует защиты от установления диктатуры, но был вежливо остановлен[15].

До самой смерти Эйнштейна (1955) они много времени проводили вместе, оживлённо обсуждая физику, политику и философию. Следствием этих бесед стали несколько статей Гёделя по теории относительности. В Австрию Гёдель не вернулся даже после войны, хотя Венский университет его настойчиво приглашал[16].

Болезнь и смерть[править | править код]

Ещё с 1930-х годов у Гёделя обнаруживались скрытые признаки психического нездоровья, которые проявлялись в тревожности и излишней подозрительности, но в периоды обострений принимали более явные, навязчивые формы. Так, на фоне психологического переутомления, связанного с событиями 1931 года, нервный срыв вывел Гёделя из строя на несколько месяцев[17]. 22 июня 1936 года был убит Мориц Шлик, основатель и бессменный руководитель Венского кружка. Гёдель, всегда восхищавшийся своим наставником Шликом, испытал новый нервный срыв и не мог работать до конца года[13]. В том же 1936 году у него развился параноидальный страх отравления. Опорой Гёделя в нелёгкое время была его жена Адель, кормившая его с ложки и буквально выходившая мужа. Из сохранившихся записей библиотечных запросов этого периода известно, что он изучал литературу по душевным расстройствам, фармакологии и токсикологии (особенно характерно неоднократное обращение к техническому справочнику по отравлениям угарным газом), что лишь осложняло впоследствии его лечение[18].

Позже, в Принстоне (1941), несмотря на улучшение общего состояния, Гёдель по-прежнему испытывал дискомфорт от присутствия устройств, способных, по его мнению, испускать отравляющие газы. По этой причине он даже распорядился вынести из квартиры холодильник и отопительный радиатор. Его одержимость свежим воздухом и подозрения по поводу холодильника сохранялись до конца жизни, а периоды частичной ремиссии чередовались с ухудшениями. Особенно тяжёлым ударом для Гёделя стала смерть его друга Альберта Эйнштейна в 1955 году. В 1960‑х годах Гёдель прекратил чтение лекций.

В 1970-х годах состояние Гёделя стало резко ухудшаться. У него наблюдались галлюцинации, параноидальное поведение по отношению к врачам и коллегам. Ухудшилось и состояние здоровья Адели, теперь она не могла ухаживать за ним так, как раньше, а он, в свою очередь, — за ней. Огромную поддержку оказывал друг Гёделя, экономист и математик Оскар Моргенштерн[18].

Могила Курта и Адели Гёдель в Принстоне

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

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

Научная деятельность[править | править код]

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

В 1938 году Гёдель получил важный результат, связанный с континуум-гипотезой Кантора: он доказал, что отрицание континуум-гипотезы недоказуемо в стандартной аксиоматике теории множеств (система Цермело — Френкеля) с аксиомой выбора. В 1963 году Пол Коэн дополнил этот результат, показав, что и сама континуум-гипотеза недоказуема[21]. Гёдель также активно участвовал в развитии аксиоматики теории множеств[22].

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

В 1994 году был опубликован сборник ранее не издававшихся рукописей Гёделя; работы эти посвящены в основном философским вопросам, а также историко-научным, теологическим и мистическим проблемам[24].

Память и отличия[править | править код]

В Вене есть «Аллея Гёделя» (Gödelgasse). При Венском университете существует Исследовательский центр по математической логике имени Гёделя. В честь учёного назван ряд научных теорем и понятий, в том числе:

Основные труды[править | править код]

Гёдель опубликовал относительно немного научных трудов, но почти каждая его статья становилась научным событием.

Примечания[править | править код]

  1. 1 2 Архив по истории математики Мактьютор — 1994.
  2. 1 2 Kurt Gödel // Brockhaus Enzyklopädie (нем.) / Hrsg.: Bibliographisches Institut & F. A. Brockhaus, Wissen Media Verlag
  3. 1 2 Пиньейро, 2015, с. 17.
  4. 1 2 Клайн, 1984, с. 238.
  5. Kurt Godel Архивная копия от 15 мая 2019 на Wayback Machine (англ.)
  6. Godel; Kurt (1906—1978) Архивная копия от 24 марта 2022 на Wayback Machine (англ.)
  7. Пиньейро, 2015, с. 18—19.
  8. John W. Dawson, Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. — AK Peters, Ltd., 1996.
  9. Пиньейро, 2015, с. 183.
  10. 1 2 Пиньейро, 2015, с. 13, 48—49, 66, 89—90.
  11. Стиллвелл, 2004, с. 415.
  12. Пиньейро, 2015, с. 90—91.
  13. 1 2 Пиньейро, 2015, с. 93—94.
  14. Пиньейро, 2015, с. 122, 126.
  15. Oskar Morgenstern (September 13, 1971). History of the Naturalization of Kurt Gödel (PDF). Archived from the original on December 26, 2014. Retrieved June 14, 2016.
  16. Пиньейро, 2015, с. 95—96, 122, 147.
  17. Пиньейро, 2015, с. 89.
  18. 1 2 3 4 Пиньейро, 2015, с. 145—147.
  19. John W. Dawson, Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. AK Peters, Ltd., 1996. ISBN 978-1-56881-025-6
  20. Gödel K. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I //Monatshefte für mathematik und physik. — 1931. — Т. 38. — №. 1. — С. 173—198. Дата обращения: 3 октября 2017. Архивировано 10 сентября 2017 года.
  21. Пиньейро, 2015, с. 127—128.
  22. Клайн, 1984, с. 296.
  23. Gödel K. An example of a new type of cosmological solutions of Einstein’s field equations of gravitation //Reviews of Modern Physics. — 1949. — Т. 21. — №. 3. — С. 447. Дата обращения: 23 июня 2020. Архивировано 18 июня 2020 года.
  24. Kurt Gödel: Unpublished Philosophical Essays. 1995. ISBN 978-3764353100

Литература[править | править код]

Ссылки[править | править код]