美国哲学家、小说家,长期任教于哈佛大学等高校,研究领域为科学哲学与数理逻辑,擅长以叙事笔法呈现抽象思想。著有哥德尔传记《不完备性:库尔特·哥德尔的证明与悖论》、思想传记《背叛斯宾诺莎》及小说《上帝存在的 36 个论证》,获麦克阿瑟奖。
不完备可用普通英语讲清,证明策略优雅而简单——真与可证的裂缝不是专家秘传,是公共事实。
形式主义想用形式系统清除直觉,却说不清有限的我们何以确知无限,故数学对象是被发现的。