Наши проекты:

Про знаменитості

Курт Гедель: біографія


Курт Гедель біографія, фото, розповіді - австрійський логік, математик і філософ математики, найбільш відомий сформульованої і доведеною їм теоремою про неповноту
28 квітня 1906 - 14 січня 1978

австрійський логік, математик і філософ математики, найбільш відомий сформульованої і доведеною їм теоремою про неповноту

Біографія

Курт Гедель народився 28 квітня 1906 року в австро-угорському (моравському) місті Брюнн (нині Брно, Чехія), в німецькій родині. Батько Курта, Рудольф Гедель, був менеджером текстильної фабрики.

У 18 років Гедель вступив до Віденського університету. Там він два роки вивчав фізику, але потім переключився на математику.

Зазвичай Геделя вважають австрійцем, але за своє життя він неодноразово змінював громадянство. Народжений підданим Австро-Угорщини, він у 12 років прийняв громадянство Чехословаччини після того, як Австро-Угорська імперія припинила своє існування. У 23 роки Гедель став громадянином Австрії, а в 32 роки, після захоплення Австрії Гітлером автоматично став підданим німецького Рейху, порядки якого були для нього абсолютно неприйнятні. У 1940 він їде до США, причому з-за небезпеки шляху через Атлантику під час війни він їде через СРСР і Японію. У США він отримує роботу в знаменитому Інституті перспективних досліджень (Institute for Advanced Study) в Прінстоні.

До кінця життя у Геделя розвинулося психічний розлад - параноїдальний страх отруєння. Він приймав їжу тільки з рук дружини Аделі. У 1977 р. в результаті інсульту вона потрапила до лікарні, де провела шість місяців. Протягом цього часу Гедель, у відсутності дружини зовсім відмовившись від їжі, довів себе до виснаження. Учений помер від недоїдання 14 січня 1978 в Прінстоні, штат Нью-Джерсі.

Наукова спадщина

Гедель був логіком і філософом науки. Найвідоміше досягнення Геделя - це сформульовані і доведені їм теореми про неповноту, опубліковані в 1931 р. Одна з них свідчить, що будь-яка ефективно аксіоматізіруемая теорія, в досить багатому мовою, достатньому для визначення натуральних чисел і операцій додавання і множення є неповною або суперечливою. Неповнота означає наявність висловлювань, які не можна ні довести, ні спростувати, виходячи з аксіом цієї теорії. Суперечливість - можливість довести будь-яке висловлювання: як справжнє так і хибне. Ефективна аксіоматізіруемость розуміється як можливість алгоритмічно вирішити, чи є дане твердження аксіомою. Доведені Геделем теореми мають широкі наслідки як для математики, так і для філософії (зокрема, для онтології і філософії науки).

Крім того, Геделю належать роботи у сфері диференціальної геометрії і теоретичної фізики. Зокрема, він написав роботу з загальної теорії відносності, в якій запропонував варіант вирішення рівнянь Ейнштейна, з якого випливає, що будова всесвіту може мати такий пристрій, в якому протягом часу є закільцьованим (метрика Геделя), що теоретично допускає подорожі у часі. Більшість сучасних фізиків вважають це рішення правильним лише математично і у яких фізичного змісту.

Бібліографія

  • Ієрей Димитрій Кирьянов. Релігійно-філософські аспекти думки К. Геделя. - Праці Тобольської Православної духовної семінарії. Т. 1, 2010, 241-250.

Комментарии

Сайт: Википедия