美国数学家、哲学家,圣母大学哲学与数学教授,先后任教于纽约市立大学与牛津大学。研究集合论,提出「集合论多重宇宙」观,主张不存在唯一的集合论宇宙,而有众多彼此关联的模型;开创集合论地质学,并推动无限国际象棋等无穷博弈的研究。著有《Proof and the Art of Mathematics》。他也是 MathOverflow 上长期声望居首的活跃解答者。
连续统假设的「中间」根本无处落脚:能定义的实数集只在两端,问题在提法本身。