Курт Гёдель

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

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

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

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

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

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