Курт Гёдель , чешско-американский математик, философ и академик (ум. 1978 г.)
Курт Фридрих Гёдель ( GUR-dəl , немецкий: [kʊʁt ˈɡøːdl̩] (слушай); 28 апреля 1906 г. - 14 января 1978 г.) был логиком, математиком и философом. Считавшийся наряду с Аристотелем и Готлобом Фреге одним из самых значительных логиков в истории, Гёдель оказал огромное влияние на научное и философское мышление в 20-м веке, в то время, когда другие, такие как Бертран Рассел, Альфред Норт Уайтхед и Дэвид Гильберт, были используя логику и теорию множеств для исследования основ математики, опираясь на более ранние работы таких авторов, как Ричард Дедекинд, Георг Кантор и Фреге.

Гёдель опубликовал свою первую теорему о неполноте в 1931 году, когда ему было 25 лет, через год после получения докторской степени в Венском университете. Первая теорема о неполноте утверждает, что для любой ω-согласованной рекурсивной аксиоматической системы, достаточно мощной для описания арифметики натуральных чисел (например, арифметики Пеано), существуют истинные утверждения о натуральных числах, которые нельзя ни доказать, ни опровергнуть из аксиом. Чтобы доказать это, Гёдель разработал технику, теперь известную как нумерация Гёделя, которая кодирует формальные выражения как натуральные числа. Вторая теорема о неполноте, вытекающая из первой, утверждает, что система не может доказать собственную непротиворечивость. Гёдель также показал, что ни аксиома выбора, ни гипотеза континуума не могут быть опровергнуты из принятой теории множеств Цермело–Френкеля, предполагая, что ее аксиомы соответствуют. Первый результат открыл математикам возможность использовать аксиому выбора в своих доказательствах. Он также внес важный вклад в теорию доказательств, прояснив связи между классической логикой, интуиционистской логикой и модальной логикой.