Курт Гёдель
| Курт Ошибка Lua в Модуль:Wikidata на строке 1528: attempt to index field 'wikibase' (a nil value).
|
- Полное имя:
- Курт Гёдель
- Дата рождения:
- Ошибка скрипта: Модуля «Infocards» не существует.
- Место рождения:
- Брюнн, Австро-Венгрия
- Дата смерти:
- Ошибка скрипта: Модуля «Infocards» не существует.
- Страна:
США
- Научная сфера:
- математика
- Место работы:
- Институт передовых исследований
- Известен как:
- теоремы о неполноте
- Автограф:
- Ошибка Lua в Модуль:Wikidata на строке 1528: attempt to index field 'wikibase' (a nil value).
[[Ошибка Lua в Модуль:Wikidata/Interproject на строке 38: attempt to index field 'wikibase' (a nil value).|Цитаты в Викицитатнике]]
[[Ошибка Lua в Модуль:Wikidata/Interproject на строке 38: attempt to index field 'wikibase' (a nil value).|Шаблон:Удалить теги в Викитеке]]Ошибка Lua в Модуль:Autosorting на строке 85: attempt to index field 'wikibase' (a nil value).
Курт Гёдель (нем. Kurt Gödel) (28 апреля 1906, Брюнн, Австро-Венгрия (ныне Брно, Чехия) — 14 января 1978, Принстон, США) — австрийский логик, математик и философ математики.
Обычно Гёделя считают авcтрийцем, но за свою жизнь он неоднократно менял гражданство. Рождённый подданным Австро-Венгрии, он в 12 лет принял гражданство Чехословакии после того, как Австро-Венгерская империя прекратила своё существование. В 23 года Гёдель стал гражданином Австрии, а в 32 года, после захвата Австрии Гитлером автоматически стал подданным германского Рейха. По окончании Второй Мировой войны он переселился в США и принял американское гражданство.
Гёдель был логиком и философом науки. Наиболее известное достижение Гёделя — это сформулированные и доказанные им теоремы о неполноте.
Теорема доказывает, что любой язык, достаточно сильный для определения натуральных чисел (например логика второго порядка, или русский язык) будет неполным — то есть будет содержать высказывания, которые нельзя ни доказать, ни опровергнуть исходя из аксиом языка.
Эта теорема имеет широкие последствия как для математики, так и для философии, в частности для онтологии и философии науки.