美国数学家。生于奥地利。推论出现代数学中可能最为重要的证明，称为哥德尔证明，即在基于有限个公理的数学体系中，必定存在既不能证明其成立又不能证明其不成立的命题。因此，1931年发表的哥德尔证明终止了数学家们对完备且自相一致体系的探求。