作者china2025 ()
看板Math
标题[其他] 为甚麽 1+1=2 要证明
时间Tue Dec 17 07:02:30 2019
我不晓得有没有po错版
因为也许它是个哲学问题
但是我看它像是数学
所以来数学版问一下~
就是
1+1=2 为甚麽需要证明呢
谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 118.168.69.5 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1576537352.A.45E.html
1F：→ yoyoting5566: 这样四则运算都可以不用提心吊胆？ 12/17 08:24
2F：推 pbjojo : 因为1+1不见得是2阿 12/17 09:48
3F：→ wohtp : 这是2的定义，不需要证明 12/17 11:26
4F：→ APM99 : 定义不用证明 12/17 16:34
5F：→ kuromu : 所以是把+1当某种运算(例如称作f[ ]) 12/17 16:55
6F：→ kuromu : 而2被定义成f[1]? 12/17 16:55
7F：推 s035280236 : 应该是跟机率三大公设一样 说他对就是对 不需证明 12/17 17:22
8F：推 wayne0824 : 皮雅诺公设 12/17 18:22
9F：→ aikotoba : 我记得是公理诶 12/17 19:21
10F：推 znmkhxrw : 欸 如果是从皮亚诺公设出发那就是要证明吧 12/17 20:55
11F：→ znmkhxrw : 定义了1, 2, + 然後证明1+1=2 12/17 20:56
12F：→ wohtp : 不是吧，皮亚诺定义的是1和+，然後把1+1叫做2 12/17 21:24
13F：推 Vulpix : 2不是{{},{{}}}吗？ 12/17 22:02
14F：推 suhorng : 不是把 1+1 叫做二, 是把 1 的 successor 叫做 2 12/19 12:49
15F：→ suhorng : 然後可以算出 1 + 1 = (1 的 successor) 12/19 12:50
16F：→ suhorng : 更清晰的说: 2 是 S1 的简写, 3 是 S(S1) 的简写 .. 12/19 12:51
17F：→ suhorng : 然後 1 + y = Sy 以及 (Sx) + y = S(x + y) 12/19 12:52
18F：推 DreamYeh : 其实本版第一篇就是1+1=2的证明 12/20 16:05