Курт Гёдель

Курт Гёдель (нем. Kurt Gödel) (28 апреля 1906, Брюнн, Австро-Венгрия (ныне Брно, Чехия) — 14 января 1978, Принстон, США) — австрийский логик, математик и философ математики.

Курт Гёдель
Kurt Gödel
Курт Гёдель
Дата рождения:	28 апреля 1906
Место рождения:	Брюнн, Австро-Венгрия
Дата смерти:	14 января 1978
Место смерти:	Принстон, США
Этническая принадлежность:	немцы
Гражданство:	США
Отец:	Рудольф Гёдель
Мать:	Марианна Гёдель
В запросе есть пустое условие.
Научная сфера:	математика
Место работы:	Институт передовых исследований
Альма-матер:	Венский университет
Известен как:	теоремы о неполноте

Обычно Гёделя считают авcтрийцем, но за свою жизнь он неоднократно менял гражданство. Рождённый подданным Австро-Венгрии, он в 12 лет принял гражданство Чехословакии после того, как Австро-Венгерская империя прекратила своё существование. В 23 года Гёдель стал гражданином Австрии, а в 32 года, после захвата Австрии Гитлером автоматически стал подданным германского Рейха. По окончании Второй Мировой войны он переселился в США и принял американское гражданство.

Гёдель был логиком и философом науки. Наиболее известное достижение Гёделя — это сформулированные и доказанные им теоремы о неполноте.

Теорема доказывает, что любой язык, достаточно сильный для определения натуральных чисел (например логика второго порядка, или русский язык) будет неполным — то есть будет содержать высказывания, которые нельзя ни доказать, ни опровергнуть исходя из аксиом языка.

Эта теорема имеет широкие последствия как для математики, так и для философии, в частности для онтологии и философии науки.