数学是发明的还是发现的？
如果地球上从来没有出现过人类，1+1=2 还成立吗？圆周率 π 是一直在那里等着被人发现，还是人类为了描述圆形「发明」出来的一个数字？你每天写的数学作业——到底是在「发明答案」还是在「发现答案」？
- 难度
- ★★☆
- 时长
- 约 15 分钟
- 建议年龄
- 10 岁起
- 深度对话
- 9 轮
- 氛围
- 启发 · 烧脑
背景：这个议题在争论什么
每个小孩学数学的时候大概都问过：「学这个有什么用？」但很少有人问一个更深的问题：数学本身是从哪来的？是像一座山一样一直在那、等着人类去发现，还是像一把椅子一样、是人类发明出来解决自己问题的工具？这听起来像个闲扯的问题，但它关系到一件大事——如果数学是「发现」的，那它就像自然规律一样客观、不可动摇；如果数学是「发明」的，那它就跟语言一样，是人造的工具，可能还有别的「数学系统」。古希腊的柏拉图相信数学存在一个完美的「理念世界」里；现代一些数学家则说：数学就是一场人类自己定了规则、然后看规则能推出什么来的游戏。两派吵了两千多年，到今天也没结论——而这正是让孩子对数学从「讨厌的作业」变成「好奇的谜」的最好入口。
思辨地图：3 个视角
背景免费开放，以下内容需要解锁——完整论证、盲点分析与父母引导话术都在小程序里。
柏拉图主义（数学是发现的）
数学真理一直存在，不依赖人类。就像美洲大陆在哥伦布到达之前就已经在那里了——π、质数、勾股定理也是一样，人类只是「发现」了它们。
解锁后可读数学建构论（数学是发明的）
数学是人类创造的一套符号体系和游戏规则。就像国际象棋——先定规则（兵怎么走、马怎么跳），然后在这个规则框架下研究什么局面可能、什么局面不可能。
解锁后可读混合论（有的部分发现、有的部分发明）
数学的公理和基本概念可能是人「发明」的（选什么当起点），但从这些公理推导出来的定理和规律是被「发现」的（给定规则之后，结论不由你控制）。
解锁后可读对话是这样开始的
这个议题用到的思辨工具
工具名称免费可见，具体用法需要解锁。
- 柏拉图主义（数学实在论） 数学对象（数字、圆、三角形）是真实存在的，不依赖人类大脑。数学家的工作是「发现」它们，就像探险家发现新大陆。 解锁后可读
- 数学建构论（直觉主义） 数学是人类创造的符号游戏。先定规则（公理），然后看这些规则能推导出什么。没有人就没有数学——就像没有人就没有象棋。 解锁后可读
- 发现的 vs 发明的 找到一个本来就存在的东西叫「发现」（发现一座山）；造出一个以前没有的东西叫「发明」（发明手机）。用这个区分来检验每一个数学对象。 解锁后可读
- 抽象阶梯 数学从具体（三个苹果+两个苹果=五个苹果）一层层抽象上去（3+2=5 → a+b=c → 代数），每一步都在「丢掉现实」而变得更通用。 解锁后可读
- 数学的不可思议有效性 为什么一个纯人类大脑想出来的东西（比如虚数、矩阵），后来居然能精确描述真实世界（量子力学、计算机图形）？是巧合，还是数学本来就是世界的底层语言？ 解锁后可读
内容来源
- 著作 柏拉图《美诺篇》（柏拉图）
- 著作 Mathematics: The Loss of Certainty（Morris Kline, 1980）
- 著作 The Mathematical Experience（Philip J. Davis & Reuben Hersh, 1981）
- 著作 Is God a Mathematician?（Mario Livio, 2009）
- 资料 欧几里得《几何原本》（欧几里得）
带走问题
如果你能穿越回两千多年前的希腊，见到柏拉图本人，跟他说「今天我学了你的理念世界理论」——然后他反问你：「那你说，你们这个时代，有没有什么东西，你们以为是『发现的』，但其实只是你们『发明的』？」你会怎么回答？
解锁后可读聊完之后，让这个问题在生活里多留几天——好的思辨不结束在餐桌上。