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