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