库尔特·哥德尔
(1906年—1978年)
他是美籍奥地利数学家、逻辑学家和哲学家,是20世纪最伟大的逻辑学家之一,其最杰出的贡献是提出了哥德尔不完全性定理。他在1931年发表的论文《〈数学原理〉及有关系统中的形式不可判定命题》是20世纪在逻辑学和数学基础方面最重要的文献之一。