Курт Гедель — відомий математик і філософ родом з Австрії.
Дитинство
Курт Гедель народився 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 році, йому було відмовлено в отриманні американського громадянства суддею Пилипом Форманом. З роками Гедель настільки зайнявся релігією, що представив свою опрацьовану версію «Онтологічного Доказу Буття Божого», написаного Лейбницом.
Коротко
Математик, Філософ
28 Квітня 1906
Телець
14 Січня 1978
Австро-Угорщина, Брно
Курт Фрідріх Гедель
Kurt Friedrich Гедель