Гёдель, Курт

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Курт Гёдель
Kurt Gödel
1925 kurt gödel.png
Курт Гёдель
Дата рождения:

28 апреля 1906({{padleft:1906|4|0}}-{{padleft:4|2|0}}-{{padleft:28|2|0}})[1]

Место рождения:

Брюнн, Австро-Венгрия (ныне Брно, Чехия)

Дата смерти:

14 января 1978({{padleft:1978|4|0}}-{{padleft:1|2|0}}-{{padleft:14|2|0}})[1] (71 год)

Место смерти:

Принстон, Нью-Джерси, США

Страна:

Flag of the United States.svg США
Flag of Austria.svg Австрия

Научная сфера:

Математика

Место работы:

Институт перспективных исследований

Альма-матер:

Венский университет

Научный руководитель:

Ганс Хан

Известен как:

автор теорем Гёделя о неполноте

Награды и премии


Albert Einstein Award (1951)
Национальная научная медаль США (1974)

Подпись:

Kurt Gödel signature.svg

Курт Гёдель на Викискладе

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

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

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

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

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

Гражданство[править | править вики-текст]

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

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

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

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

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

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

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

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

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

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

  1. 1 2 Record #11869569X // Gemeinsame NormdateiLeipzig: Deutschen Nationalbibliothek, 2012—2014.
  2. John W. Dawson, Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. — AK Peters, Ltd., 1996.
  3. John W. Dawson, Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. AK Peters, Ltd., 1996. ISBN 978-1-56881-025-6

Библиография[править | править вики-текст]

См. также[править | править вики-текст]

Ссылки[править | править вики-текст]