Гёдель Курт(28.04.1906 — 14.01.1978)
Австрийский логик, математик и философ математики. Окончил Венский университет, участвовал в семинарах Венского философского кружка неопозитивистов, особый интерес проявил к математической логике и теории доказательств. Наиболее известен как автор теорем о неполноте (1931), гласящим, что при любом выборе аксиом арифметики существуют теоремы, которые невозможно ни доказать, ни опровергнуть. Из этого следует, что программа Д. Гильберта по обоснованию математики не может быть реализована. Также доказал, что отрицание континуум-гипотезы Г. Кантора недоказуемо в стандартной аксиоматике теории множеств.