887
1Joel David Hamkins is a mathematician and philosopher specializing in set theory, the foundations of mathematics, and the nature of infinity, and he’s the #1 highest-rated user on MathOverflow. He is also the author of several books, including Proof and the Art of Mathematics and Lectures on the Philosophy of Mathematics. And he has a great blog called Infinitely More.
Thank you for listening ❤ Check out our sponsors: lexfridman.com
See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc.
Transcript:
lexfridman.com
CONTACT LEX:
Feedback – give feedback to Lex: lexfridman.com
AMA – submit questions, videos or call-in: lexfridman.com
Hiring – join our team: lexfridman.com
Other – other ways to get in touch: lexfridman.com
EPISODE LINKS:
Joel’s X: x.com
Joel’s Website: jdh.hamkins.org
Joel’s Substack: www.infinitelymore.xyz
Joel’s MathOverflow: mathoverflow.net
Joel’s Papers: jdh.hamkins.org
Joel’s Books:
Lectures on the Philosophy of Mathematics: amzn.to
Proof and the Art of Mathematics: amzn.to
SPONSORS:
To support this podcast, check out our sponsors & get discounts:
Perplexity: AI-powered answer engine.
Go to www.perplexity.ai
Fin: AI agent for customer service.
Go to fin.ai
Miro: Online collaborative whiteboard platform.
Go to miro.com
CodeRabbit: AI-powered code reviews.
Go to coderabbit.ai
Chevron: Reliable energy for data centers.
Go to chevron.com
Shopify: Sell stuff online.
Go to shopify.com
LMNT: Zero-sugar electrolyte drink mix.
Go to drinkLMNT.com
MasterClass: Online classes from world-class experts.
Go to masterclass.com
OUTLINE:
(00:00) – Introduction
(01:58) – Sponsors, Comments, and Reflections
(15:40) – Infinity & paradoxes
(1:02:50) – Russell’s paradox
(1:15:57) – Gödel’s incompleteness theorems
(1:33:28) – Truth vs proof
(1:44:52) – The Halting Problem
(2:00:45) – Does infinity exist?
(2:18:19) – MathOverflow
(2:22:12) – The Continuum Hypothesis
(2:31:58) – Hardest problems in mathematics
(2:41:25) – Mathematical multiverse
(3:00:18) – Surreal numbers
(3:10:55) – Conway’s Game of Life
(3:13:11) – Computability theory
(3:23:04) – P vs NP
(3:26:21) – Greatest mathematicians in history
(3:40:05) – Infinite chess
(3:58:24) – Most beautiful idea in mathematics
数学形式主义与结构主义共享着深刻的家族相似性（都源自对传统形而上学的不满），但它们在哲学上存在关键分野，而这种分野恰恰体现在它们与奥卡姆思想的关系上——一个是他激进的后裔，一个是他温和的修正者。
简单来说：
· 形式主义是奥卡姆唯名论在数学上的极端化和彻底化。
· 结构主义则是对奥卡姆唯名论（特别是其“原子化”倾向）的一次关键修正与超越。
下面我们用具体的例子和对比来说明。
🧩 形式主义 vs. 结构主义：核心差异
我们可以通过理解“数学对象是什么”来把握它们的根本区别：
1. 形式主义（以希尔伯特规划为代表）：数学是“无意义的符号游戏”
· 核心：数学对象（如“2”、“圆”）没有独立意义，只是纸上的符号或声音。数学家的工作是按照明确规则（公理和推理规则）组合与变形这些符号。意义被彻底驱逐。
· 例子：在形式主义者眼中，几何学中的“点”和集合论中的“∈”（属于）符号，与象棋中的“马”或围棋中的“气”没有本质区别，都是游戏棋子。几何定理只是依规则从公理符号串推导出的新符号串，不保证其描述现实空间。
· 目标：通过证明形式系统的一致性（不会推出矛盾），来为数学奠定一个绝对可靠的、无需诉诸直觉或外部实在的基础。
2. 结构主义（以夏皮罗、雷瑟等为代表）：数学是“研究抽象结构的科学”
· 核心：数学对象（如“2”）本身没有内在的、孤立的本质。它的全部身份在于它在某个结构中所占据的 “位置” ，以及它与其他位置的关系。
· 例子：数字“2”是什么？在自然数结构（后继关系：0, 1, 2, 3...）中，它是1的后继、3的前驱。在模4整数结构（{0,1,2,3}）中，它满足2+2=0。同一个符号“2”在不同结构中扮演不同的角色。数学家的任务是研究这些结构（如群、环、域、集合论宇宙）本身的性质。
· 目标：为数学提供一个不依赖于具体对象形而上学，但又承认数学内容客观性的哲学。结构本身就是研究的对象。
🔪 与奥卡姆思想的谱系关系
现在来看它们如何源自并演变自奥卡姆的思想：
理论 与奥卡姆唯名论的关联 关键演变与分歧
形式主义 激进继承： 1. 否定“数学实体”：奥卡姆否定“共相”是独立实在，形式主义否定“数”、“集合”有任何超越符号的实在。这是彻底的唯名论。 2. 工具主义精神：奥卡姆的“剃刀”追求最简解释，形式主义将数学化简为最经济的符号操作规则，注重效用而非“真理”。 极端化：奥卡姆承认个别事物的实在性。但形式主义连这一点也放弃了——符号本身没有指称，无所谓“个别”。它把奥卡姆的 “存在即是个别” ，推向了 “存在即是符号（无指称）” 。这是一种 “超级唯名论” 。
结构主义 批判性修正： 1. 共享反本质主义：赞同奥卡姆对“内在本质”的怀疑。一个数学对象没有“是其所是”的孤立本质。 2. 但反对“原子化”：奥卡姆的世界是个别事物的集合，关系是外在的、次要的。结构主义认为， “关系”具有优先的、客观的地位。一个对象完全由它在结构中的关系角色定义。 超越：结构主义认为奥卡姆剃刀剃过了头。将世界仅仅还原为孤立的个别，无法解释数学中普遍而客观的关系模式。因此，结构主义在某种意义上 “恢复”了共相——但不再是作为实体（如阿奎那的“形式”），而是作为抽象的、关系的模式或结构。它试图在唯名论与柏拉图主义之间走一条新路。
📊 总结：思想的演化树
我们可以这样理解它们的谱系关系：
1. 阿奎那的传统：数学真理基于“本质”（形式），本质分有神圣理念。
2. 奥卡姆的革命：用“剃刀”剃掉“本质”、“共相”这些多余实体。数学真理成为关于个别事物的正确推理，或心灵符号的正确操作。
3. 分岔之一：形式主义：沿着奥卡姆的道路走到逻辑终点。既然共相是多余的，那么一切超出符号本身的指称都是多余的。数学成为无内容的纯粹语法。
4. 分岔之二：结构主义：认为奥卡姆的革命不彻底，其“原子化”世界无法解释数学。于是提出：重要的不是孤立的个别，而是关系网络（结构） 。数学对象是结构中的“占位符”。这实际上复活了一种“关系的客观性”，可被视为一种 “关系唯实论” ，是对奥卡姆个体唯名论的修正。
结论：形式主义是奥卡姆的直系后裔，它把唯名论逻辑贯彻到底，彻底消解了数学对象的传统本体论。结构主义则是奥卡姆的 “表亲” ，它继承了批判本质主义的精神，但反对其极端个体主义，试图在一个更抽象、更关系的层面上，为数学的客观性重新奠基。两者都诞生于后奥卡姆的哲学氛围，但给出了关于“数学是什么”的两种竞争性答案。