01
柏拉图主义
Platonism数学对象真实存在于独立于人心的「理念世界」：三角形、集合、函数不是发明，而是发现。数学家的工作如同探险家在未知大陆上测绘。
代表人物：柏拉图 · 哥德尔
「我相信数学对象独立于我们的构造与直觉而存在。」
数学哲学专题
Philosophy of Mathematics数学家天天在「做数学」，却很少停下来问：数学对象是什么？证明为何可靠？数学是被发现还是被发明？对这些问题的不同回答，构成了数学哲学的四大流派与五场延续至今的争论。
4 个流派5 场争论
§ 01
四大流派
02
逻辑主义
Logicism数学可以全部还原为逻辑：从逻辑公理出发，推导出算术、分析乃至全部数学。《数学原理》试图用数百页证明 1+1=2，展示了这一纲领的雄心与代价。
代表人物：弗雷格 · 罗素 · 怀特海
「数学是这样一门学科，我们永远不知道自己在谈论什么，也不知道所说的是否为真。」
03
形式主义
Formalism数学是关于符号的游戏：公理系统只要求自洽，不必追问符号「指称」什么。希尔伯特计划试图用有限方法证明数学系统的一致性，被哥德尔不完备定理击碎。
代表人物：希尔伯特
「我们必须知道，我们必将知道。」
04
直觉主义
Intuitionism数学是心智的构造活动：只有能被构造出来的对象才存在。直觉主义拒绝排中律——不能说「或者存在，或者不存在」就完成了证明，必须实际给出构造。
代表人物：布劳威尔
「数学是比逻辑更基础的东西。」
§ 02
核心争论
数学是发现还是发明？
若数学是被发现的，为何「无用」的分支（如数论）后来总在物理中找到应用？若数学是被发明的，为何独立研究同一问题的数学家总得到相同的结论？这一争论没有裁决，只有立场。
无穷是真实的吗？
康托尔的集合论把无穷大分成不同的「大小」，引来了克罗内克「上帝只造了整数」的反对与希尔伯特「无人能把我们逐出康托尔的天堂」的捍卫。潜无穷与实无穷之争贯穿始终。
哥德尔不完备定理意味着什么？
任何包含算术的一致形式系统都存在无法判定真假的命题——「全知」的希尔伯特计划破产了。但这不意味着数学崩塌：不完备性反而展示了数学远超任何固定形式系统的丰富性。
数学的应用为何「不合理地有效」？
维格纳的著名之问：为何纯粹为智力乐趣发展的数学，总能精确描述物理世界？从圆锥曲线预言行星轨道到黎曼几何成为广义相对论的语言——这个谜至今没有公认的答案。
证明的严格性边界在哪里？
佩雷尔曼的庞加莱猜想证明跨越 8 年才被完全验证；四色定理的计算机辅助证明曾引发「这还是数学吗」的争论；ABC 猜想论文争议至今。严格性本身也在演化。