Відмінності між версіями «Курт Гедель»

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
[неперевірена версія][неперевірена версія]
м (робот додав: et:Kurt Gödel)
м (робот додав: yo:Kurt Gödel)
Рядок 115: Рядок 115:
 
[[vi:Kurt Gödel]]
 
[[vi:Kurt Gödel]]
 
[[war:Kurt Gödel]]
 
[[war:Kurt Gödel]]
  +
[[yo:Kurt Gödel]]
 
[[zh:库尔特·哥德尔]]
 
[[zh:库尔特·哥德尔]]
 
[[zh-classical:哥德爾]]
 
[[zh-classical:哥德爾]]

Версія за 21:30, 28 листопада 2009

Курт Гедель
нім. Kurt Friedrich Gödel
Курт Гедель
Народився 28 квітня 1906
Брно, Моравія, Австро-Угорщина
Помер 14 січня 1978
Прінстон, Нью-Джерсі, США
·недоїдання
Поховання
Громадянство
(підданство)
Flag of the United States.svg США
Flag of Austria.svg Австрія
Flag of Austria-Hungary (1869-1918).svg Австро-Угорщина
Flag of the Czech Republic.svg Перша Чехословацька Республіка
Діяльність математик, філософ, викладач університету, інформатик
Галузь теорія множин і Математична логіка
Відомий завдяки Теорема Геделя про неповноту
Alma mater Віденський університет
Науковий керівник Hans Hahn[d][1]
Вчителі Philipp Furtwängler[d]
Знання мов німецька і англійська[2]
Заклад Принстонський університет, Віденський університет, Університет Нотр-Дам і Інститут перспективних досліджень
Членство Лондонське королівське товариство, Американська академія мистецтв і наук і Французька академія наук[3]
Конфесія християнство
У шлюбі з Adele Gödel[d]
Автограф Kurt Gödel signature.svg
Нагороди Премія Альберта Ейнштейна (1951)

Курт Ге́дель (нім. Kurt Gödel) (*28 квітня 1906, Брюнн, Австро-Угорщина [зараз Брно, Чехія] — †14 січня 1978, Прінстон, США) — австрійський логік і математик, приват-доцент Віденського університету (19331938).

1940 року емігрував до США.

З 1953 року проф. Прінстонського інституту перспективних досліджень, член Національної АН США та Американського філософського товариства.

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

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

Праці

Основні праці в області математичної логіки й теорії множин. Автор відомих теорем Геделя про неповноту та повноту.


Посилання


  1. Математична генеалогія — 1997.
  2. ідентифікатор BNF: платформа відкритих даних — 2011.
  3. NNDB — 2002.