戈德尔

---

【生卒】：1906—1978

美国数理逻辑学家。

相继解决了希尔伯特提出的4个数学基础问题，证明了连续统(广义连续统)假设和选择公理对集合论的其他公理的相容性，把数理逻辑的研究推进到一个新阶段。强调哲学观点与基本科学发现之间的相互作用，认为数学对象是客观的、实在的，也存在著客观的数学真理，它如同“物理的物体一样是存在的”。著有《关于相对论与唯心主义哲学之间的关系的评论》(1949)、《什么是康托尔的连续统问题?》(1964)、《罗素的数理逻辑》(1964)等。