オーストリア出身の数学者・論理学者（1906〜1978年）。1931年に発表した不完全性定理で、十分に強力な形式体系には証明も反証もできない真の命題が存在することを示し、ヒルベルト計画を根底から覆した。プリンストン高等研究所でアインシュタインとも交友し、集合論の独立性証明でも業績を残している。
図解スライド 1 本を収録
