Курт Гедель

Курт Гедель


Курт Гедель в 1925 р.
Народився	28 квітня 1906(1906-04-28) Брно, Моравія, Австро-Угорщина
Помер	14 січня 1978(1978-01-14) (71 рік) Прінстон, Нью-Джерсі, США
Alma mater	Віденський університет
Відомий завдяки:	Теорема Геделя про неповноту
Нагороди	Премія Альберта Ейнштейна (1951)

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

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

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

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

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

Праці [ред.]

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

Це незавершена стаття про особу.
Ви можете допомогти проекту, виправивши або дописавши її.