Курт Гедель — известный математик и философ родом из Австрии.
Детство
Курт Гедель родился 28 апреля 1906 года в Брно, Австро-Венгрия. Он был вторым сыном у управляющего текстильной фабрикой Рудольфа Геделя и немки Марианне Хандшух. Брат Курта Геделя, Рудольф II Гедель, которого назвали в честь отца, был известным в то время доктором, который помогал Курту когда тот вырос. Маленького Курта называли «почемучкой» за его любознательность. С 1912 по 1916 годы Курт обучался в Евангелической народной школе, а позже продолжил обучение в Немецкой государственной гимназии в 1916-1924 годах, которую закончил с отличием по языкам и математике. В возрасте 14 лет, когда его брат уехал получать медицинское образование в Вену, интерес Курта к математике усилился. Курт Гедель в детстве страдал от острого ревматизма, но есть мнение, что он убедил себя, что у него было слабое сердце, после того как он прочел медицинский справочник. Этот факт четко указывает на то, что Курт Гедель страдал от паранойи и психической неустойчивости уже в детстве.
Карьера
В 1923 году, в возрасте 18 лет, Гедель поступил в Венский университет, в котором выбрал курс теоретической физики. Помимо физики, Гедель также проявлял интерес к математике и философии. Он посещал лекции по теории чисел, которые читал профессор Филипп Фуртвенглер. Благодаря этим лекциям он решил серьезно заняться математикой. В детстве Гедель изучал стенографию по системе Габельсберга, книгу «К теории цветов» Гете и труды Иммануила Канта. Гедель активно участвовал в деятельности Венского кружка — ассоциации философов, во главе которой был Мориц Шлик. Позже, когда у Геделя появился интерес к математической логике, он изучал книгу «Введение в математическую философию», написанную Бертраном Расселом. Гедель занимался математикой и логикой совместно с Хансом Ханом и Карлом Менгером, и в 1929 году закончил написание своей докторской диссертации, руководителем которой выступил Ханс Хан. После присуждения ему докторской степени в 1930 году, он стал внештатным преподавателем в Венском университете. Он опубликовал текст своей докторской диссертации, а также некоторые другие работы в Венской академии наук. Позже Гедель получил работу в Институте перспективных исследований.
Работа и достижения
Курт Гедель написал две научные работы, еще когда ему не было и 25 лет, что дало ему мировое признание. Одной из этих работ была «Теорема о неполноте», которая принесла огромную популярность. Эта теорема, которая сейчас имеет название теоремы Геделя, имеет следующую формулировку: «если формальная система S непротиворечива, то формула А невыводима в S; если система S w-непротиворечива, то формула А невыводима в S. Таким образом, если система S w-непротиворечива, то она неполна и А служит примером неразрешимой формулы». Свои теоремы о неполноте Гедель издал в 1931 году в публикации «Uber Formal unentscheidbare Satze der Principia Mathematica».
В 1934 году Гедель приехал в Принстонский университет, где в Институте перспективных исследований прочел серию лекций с темой «Неразрешимые предложения формальных математических систем». После этого Гедель еще не раз приезжал в Институт перспективных исследований в 1935 году, вследствие чего стал довольно близок с Эйнштейном и Моргенштерном. Частые поездки сказались на его здоровье, и он решил взять перерыв, вернувшись к преподавательской деятельности в университете в 1937 году.
Когда Гитлер упразднил его должность внештатного преподавателя, Геделю пришлось устраиваться на работу в Венский университет заново. Но ему отказали, а поводом для отказа послужило у него наличие друзей-евреев. В 1939 году Гедель уехал из Вены из-за беспорядков связанных с началом Второй мировой войны. Гедель с супругой переехали в США, где в Институте перспективных исследований Геделю предложили место преподавателя.
За время преподавания в институте, у Геделя улучшилось самочувствие и он даже опубликовал свою работу с названием «Совместимость аксиомы выбора и обобщенной континуум-гипотезы с аксиомами теории множеств».
В 1951 году Геделю первому присудили «Награду Альберта Эйнштейна», которая состояла из золотой медали и денежного вознаграждения. В 1974 году в Белом доме, Геральд Форд, президент США, наградил Геделя «Национальной научной медалью США» в области математики и вычислительной техники. Награду вручили за «первоначальный вклад в современное перспективно развивающееся изучение математической логики».
Личная жизнь
В 1929 году Гедель познакомился с Аделью Нимбурски. Ей был 21 год, она была на шесть лет старше Геделя и уже была разведена. Зная про жизнь Адель до ее знакомства с Геделем, его родители были против их отношений. Но несмотря на неодобрение со стороны родителей пара поженилась осенью 1938 года, а лето 1942 года провели в отеле «Blue Hill Inn» в Мэне.
Отец Геделя, Рудольф Гедель, умер в 1929 году, в том же году, когда его сын подал на рассмотрение свою докторскую диссертацию по аксиомам. Его мать купила новую виллу в Вене и переехала туда жить с двумя сыновьями. Именно в Вене Гедель полюбил оперу. Геделя считали евреем из-за большого количества умных друзей-евреев, с которыми он проводил свое время. Однажды на улице, когда он шел со своей женой Аделью, на него напала группа молодежи посчитав его евреем.
Поздние годы и смерть
В 1933 году Гедель переехал в США из-за усилившихся гонений нацистов в Германии. Он испытал шок, когда его близкого друга Морица Шлика убил студент-нацист. В США Гедель познакомился с Альбертом Эйнштейном, с которым они стали хорошими друзьями. Во время пребывания в США Гедель заинтересовался изучением рекурсивных функций, и даже прочел по ним доклад на ежегодном собрании Американского математического общества. А во время преподавания в Институте перспективных исследований, после прочтения книг Готфрида Лейбница, он также заинтересовался философией и физикой.
Несмотря на то, что Гедель стал полноценным членом Института перспективных исследований в 1946 году, ему было отказано в получении американского гражданства судьей Филлипом Форманом. С годами Гедель настолько занялся религией, что представил свою проработанную версию «Онтологического Доказательства Бытия Божьего», написанного Лейбницом.