从数百页逻辑到一行皮亚诺公理：1+1=2 究竟难证在哪
burny_tech · x · 2026-10-12
- 怀特海与罗素在《数学原理》(1910) 中用了数百页逻辑铺垫，才在命题 ∗54.43 中接近证明 1+1=2：把 1 定义为「所有单元素类的类」，2 定义为「所有双元素类的类」，并证明若 α、β ∈ 1 且 α∩β=∅，则 α∪β ∈ 2。
- 直观解释：两个不同的东西凑成一对；同一个东西出现两次仍只是一个（配图用集合图示说明了这两种情形）。
- 而皮亚诺公理一行即可完成：1+1 = 1+S(0) = S(1+0) = S(1) = 2。
- 结论：慢的不是算术本身，而是要精确说清「数到底是什么」。
「Fun」频道最新
- 学者的尴尬:国际知名,机场无人识 — prof_kamilov · 2026-10-12
- HackerRank CEO 打广告道歉：是我们让你们卷 LeetCode 的 — zainhas · 2026-10-12
- 只能让 AI Agent 提问的 AMA：一场 24 小时的 agent 交互实验 — metehan777 · 2026-10-12
- 哲学家称纠结 LLM 是否有意识就是入戏太深,遭网友反讽 — akbirthko · 2026-10-12
- 神梗:1903 年 RL 环境创业公司发布 PlaneEval,人类卡在莱特飞机 — akbirthko · 2026-10-12
- 「原来这就是你需要的全部」：Linus 站立办公桌梗图 — KevinNaughtonJr · 2026-10-12