Курт Гёдель
Даты жизни: 1906 — 1978
Сфера интересов: Математическая логика, Философия математики, Теория множеств, Общая теория относительности
Главный вклад: Теоремы о неполноте, которые разрушили мечту Гильберта о полной формализации математики, доказательство относительной непротиворечивости аксиомы выбора и континуум-гипотезы, решения уравнений Эйнштейна с замкнутыми времениподобными кривыми.
2. Биографическая справка
Образование: Венский университет. В 1930 году, в возрасте 24 лет, Гёдель представил на конференции в Кёнигсберге свои теоремы о неполноте, которые мгновенно сделали его самым известным логиком в мире.
Академическая карьера: Из-за нацистского режима Гёдель бежал из Австрии в США (добираясь через Россию и Японию). Он стал профессором Института перспективных исследований (IAS) в Принстоне, где стал ближайшим другом Альберта Эйнштейна. Они каждый день вместе ходили пешком в институт и обратно. Эйнштейн однажды сказал, что "приходит в институт только ради того, чтобы иметь привилегию пройтись по пути домой вместе с Гёделем".
Интересный факт: Гёдель страдал тяжелой паранойей и ипохондрией. Он панически боялся быть отравленным и ел только ту еду, которую готовила (и предварительно пробовала) его жена Адель. Когда в 1977 году Адель тяжело заболела и на полгода попала в больницу, Гёдель перестал есть вообще. Гениальный логик буквально уморил себя голодом до смерти; при поступлении в больницу он весил всего 29 килограммов. Другой факт: при получении гражданства США Гёдель попытался доказать судье, что Конституция США содержит логическую дыру, позволяющую установить диктатуру, и только вмешательство Эйнштейна спасло ситуацию.
3. Основные достижения и труды
Ключевые работы:
- «О формально неразрешимых предложениях Principia Mathematica и родственных систем» (1931).
- «Совместимость континуум-гипотезы с аксиомами теории множеств» (1940).
Главные теоремы/формулы:
- Первая теорема о неполноте: В любой достаточно мощной и непротиворечивой формальной системе (содержащей арифметику) существуют истинные утверждения, которые невозможно ни доказать, ни опровергнуть средствами самой этой системы.
- Вторая теорема о неполноте: Непротиворечивая формальная система не может доказать свою собственную непротиворечивость.
- Вселенная Гёделя: Точное решение уравнений Общей теории относительности, представляющее собой вращающуюся Вселенную. В такой модели математически допускаются путешествия в прошлое (замкнутые времениподобные кривые).
4. Наследие и влияние
«Чем больше я думаю о языке, тем больше я удивляюсь тому, что люди вообще понимают друг друга.»
Влияние на современность: Теоремы Гёделя — это одно из величайших интеллектуальных потрясений в истории науки. Они установили жесткие, непреодолимые границы познания для искусственного интеллекта и формальных вычислений. До Гёделя считалось, что математика всемогуща и любую истину можно вывести из аксиом. Гёдель доказал, что Истина всегда шире и глубже Доказуемости. Его работы являются краеугольным камнем современной теории алгоритмов и информатики.
Награды: Первая Национальная научная медаль США по математике (1974), Первая премия Альберта Эйнштейна (1951).