Курт Фри́дрих Гёдель (нем. Kurt Friedrich Gödel; 28 апреля 1906, Брюнн, Австро-Венгрия — 14 января 1978, Принстон, Нью-Джерси) — австрийский логик, математик и философ математики. Наиболее известен сформулированными и доказанными им теоремами о неполноте, которые оказали огромное влияние на представление об основаниях математики. Считается одним из наиболее выдающихся мыслителей XX века[3][4].
Член Национальной академии наук США (1955)[5], иностранный член Лондонского королевского общества (1968)[6].
Курт Гёдель родился 28 апреля 1906 года в австро-венгерском (моравском) городе Брюнн (ныне Брно, Чехия) в немецкой семье. Отец Курта — Рудольф Гёдель (1874—1929) — был совладельцем и управляющим крупной текстильной фабрики. В семье был ещё старший брат, названный в честь отца Рудольфом. С детства Курт отличался стеснительностью, погружённостью в себя, ипохондрией, а также чрезвычайной мнительностью — нередко он сам внушал себе всевозможные суеверия, от которых не мог избавиться до конца жизни (например, даже в жару он носил тёплую одежду и перчатки, поскольку считал, безо всяких к тому оснований, что у него слабое сердце)[7].
В 1918 году, после распада Австро-Венгрии, Гёдель получил чехословацкое гражданство, однако считал себя австрийцем[8]. В 23 года он официально принял австрийское гражданство.
Ещё в детстве Курт проявил способности к языкам; помимо родного немецкого он уже в юности свободно говорил по-английски и по-французски[9]. Окончив школу в 1923 году, Гёдель поступил в Венский университет. Там он два года изучал физику, но затем переключился на математику. С 1926 года участвовал в семинарах Венского философского кружка неопозитивистов, особый интерес проявил к математической логике и теории доказательств. Большое влияние на научную карьеру Гёделя оказало посещение им лекции Давида Гильберта в Болонье. Лекция была посвящена вопросам полноты и непротиворечивости аксиоматических систем. В 1930 году Гёдель защитил диссертацию на тему «О полноте логического исчисления» (руководителем был Ханс Хан) и начал преподавать в Венском университете.
Ещё в начале XX века Давид Гильберт провозгласил цель аксиоматизировать всю математику, и для завершения этой задачи оставалось доказать непротиворечивость и логическую полноту арифметики натуральных чисел. 7 сентября 1930 года в Кёнигсберге проходил научный конгресс по основаниям математики, и на этом конгрессе 24-летний Гёдель впервые обнародовал две фундаментальные теоремы о неполноте, показавшие, что программа Гильберта не может быть реализована: при любом выборе аксиом арифметики существуют теоремы, которые невозможно ни доказать, ни опровергнуть простыми (финитными) средствами, предусмотренными Гильбертом, а финитное доказательство непротиворечивости арифметики невозможно[10].