Поиск
На сайте: 763804 статей, 327745 фото.

Гёдель, Курт

(Перенаправлено с Курт Гёдель)
Курт Гёдель

Дата рождения: 28 апреля 1906 г.
Дата смерти: 14 января 1978 г.

Курт Фридрих Гёдель (нем. Kurt Friedrich Gödel, 19061978) — австрийский логик, математик и философ математики, наиболее известный сформалированной и доказанной им теоремой о неполноте.

Содержание

Биография

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

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

К концу жизни у Геделя развилось психическое расстройство — параноидальный страх отравления. Он принимал пищу только из рук жены Адель, а после ее смерти в 1977 г. отказался от пищи. Учёный скончался от недоедания 14 января 1978 г. в Принстоне, штат Нью-Джерси.

Научное наследие

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

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

Ссылки



Первоначальная версия этой статьи была взята из русской Википедии на условиях лицензии GNU FDL.