Курта гделя

Курт Гедель - відомий математик і філософ родом з Австрії.

Зміст

 
    Дитинство Кар'єра Робота і досягнення Особисте життя Пізні роки і смерть
 

Дитинство

 

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

 

Джерело: All-biography. ru