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