Курт Гёдель — известный математик и философ родом из Австрии.
Работа и достижения
Курт Гёдель написал две научные работы, ещё когда ему не было и 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 году, ему было отказано в получении американского гражданства судьёй Филлипом Форманом. С годами Гёдель настолько занялся религией, что представил свою проработанную версию «Онтологического Доказательства Бытия Божьего», написанного Лейбницом.
Предыдущая
