- Гёдель
-
Гёдель, Курт
Курт Гёдель нем. Kurt Friedrich Gödel 200px
Курт ГёдельДата рождения: Место рождения: Брюнн, Австро-Венгрия (ныне Брно, Чехия)
Дата смерти: Место смерти: Научная сфера: Место работы: Institute for Advanced Study
Альма-матер: Научный руководитель: Известен как: Награды и премии
Albert Einstein Award (1951)Курт Фри́дрих Гёдель (нем. Kurt Friedrich Gödel; 1906—1978) — австрийский логик, математик и философ математики, наиболее известный сформулированной и доказанной им теоремой о неполноте.
Содержание
Биография
Курт Гёдель родился 28 апреля 1906 года в австро-венгерском (моравском) городе Брюнн (ныне Брно, Чехия), в немецкой семье. Отец Курта, Рудольф Гёдель, был менеджером текстильной фабрики.
В 18 лет Гёдель поступил в Венский университет. Там он два года изучал физику, но затем переключился на математику.
Обычно Гёделя считают австрийцем, но за свою жизнь он неоднократно менял гражданство. Рождённый подданным Австро-Венгрии, он в 12 лет принял гражданство Чехословакии после того, как Австро-Венгерская империя прекратила своё существование. В 23 года Гёдель стал гражданином Австрии, а в 32 года, после захвата Австрии Гитлером автоматически стал подданным германского Рейха, порядки которого были для него совершенно неприемлемы. В 1940 он уезжает в США, причём из-за опасности пути через Атлантику во время войны он едет через СССР и Японию. В США он получает работу в знаменитом Институте перспективных исследований (Institute for Advanced Study) в Принстоне.
К концу жизни у Геделя развилось психическое расстройство — параноидальный страх отравления. Он принимал пищу только из рук жены Адели, а после её смерти в 1977 г. отказался от пищи. Учёный скончался от недоедания 14 января 1978 г. в Принстоне, штат Нью-Джерси.
Научное наследие
Гёдель был логиком и философом науки. Наиболее известное достижение Гёделя — это сформулированные и доказанные им теоремы о неполноте, опубликованные в 1931 г.. Одна из них гласит, что любая эффективно аксиоматизируемая теория, в достаточно богатом языке, достаточном для определения натуральных чисел и операций сложения и умножения является неполной либо противоречивой. Неполнота означает наличие высказываний, которые нельзя ни доказать, ни опровергнуть, исходя из аксиом этой теории. Противоречивость — возможность доказать любое высказывание: как истинное так и ложное. Эффективная аксиоматизируемость понимается как возможность алгоритмически решить, является ли данное утверждение аксиомой. Доказанные Гёделем теоремы имеют широкие последствия как для математики, так и для философии (в частности, для онтологии и философии науки).
Кроме того, Гёделю принадлежат работы в области дифференциальной геометрии и теоретической физики. В частности, он написал работу по общей теории относительности, в которой предложил вариант решения уравнений Эйнштейна, из которого следует, что строение вселенной может иметь такое устройство, в котором течение времени является закольцованным (метрика Гёделя), что теоретически допускает путешествия во времени. Большинство современных физиков считают это решение верным лишь математически и не имеющим физического смысла.
Библиография
- Иерей Димитрий Кирьянов. Религиозно-философские аспекты мысли К. Геделя. - Труды Тобольской Православной духовной семинарии. Т. 1, 2010, 241-250.
См. также
Ссылки
Wikimedia Foundation. 2010.