第一季 · 实在之问「什么是真实？」之 Ⅰ·04 · #004
数学是发现，还是发明？
1 答 · 未结案
这是在问：数学对象与真理是独立于人类心灵而存在，还是人类构造出来的产物。它不是在问数学是否有用或是否严格，而是在问「2 是质数」这类命题为何为真，以及其为真是否需要有人知道。与「什么是真实」的边界在于：本问针对抽象对象这一特殊类别的实在性。
当自动证明器给出人类无法逐行理解、只能靠机器校验的证明，「数学知识」第一次可以脱离任何人的理解而存在。若数学是发现，这些证明是对同一实在的新触及；若是发明，那么由非人类心灵发明的数学，是否还是人类那门数学，便成了真问题。这也决定了我们对机器给出的数学结论应以何种态度接受。
AI 把它重新问了一遍：
当 AI 证出人类读不懂的定理，数学还是人类的语言吗？
思想史的回应
数学实在论 · 经典立场速览
柏拉图
数学对象属于理念世界，几何学家研究的圆是永恒不变的圆本身，图形只是助记。
哥德尔
我们对数学对象有一种类似感知的直觉，集合与数字和物理对象一样客观存在，不完全性定理表明真理超出任何形式系统。
布劳威尔
数学是心灵的构造活动，一个数学对象只有在被构造出来后才存在，排中律不能无限制使用。
希尔伯特
数学是按规则操作符号的形式游戏，重要的不是对象是否存在，而是系统是否一致。
维格纳
数学在自然科学中「不合理的有效性」是一个我们既不理解也不配得的奇迹。
历年回答
1 位头脑 · 1 期精读 · 按谈话年代排列，每份回答可回到精读原文