Re: [问卦] 台湾有多少人可以逻辑清晰的证明1+1=2?

楼主: ma4wanderer (醉月湖之狼)   2015-03-25 03:19:36
※ 引述《carter112233 (不擦屁股)》之铭言:
: Well
: As we know
: 1+1=2的证明常常被用来呛人
: 好像理组都会一样
: 那不讨论歪果人和充斥在肥宅之间的外星人
: 台湾有多少人可以逻辑清楚的证明1+1=2?
如果说你说的是自然数,实质上你问的就不是为何1+1=2
而是问自然数到底是什么?以及自然数的加法是什么?
如果想了解什么是自然数
那就先接受皮诺亚的自然数公设
公设1:1是自然数
公设2:每个自然数n后面,都存在下一个自然数n'
公设3:对于任何自然数n,n'都不等于1
公设4:对于任何自然数m,n ,若m'=n'则m=n
公设5:可归纳性
于是我们不失优雅的说,1就是公设1的1, 2:=1' , 3:=(1')'=2'
其中公设2确保了存在性
要了解自然数加法,就要先了解自然数加法公理
公设21:对所有自然数n, n+1=n'
公设22:对所有自然数m,n , m+n'=(m+n)'
于是乎,
运用公设21,得到1+1=1'=2
其中公设3和4确保了2的唯一性
运用公设5跟公设22,你可以继续推演下去更多结果
个人理解啦 课本没教 希望没写错
作者: souvlaki (太空站)   2015-03-25 03:26:00
:3
作者: alamabarry (.............)   2015-03-25 03:28:00
我只觉得1+1=2可以证明是很不可思议的事情~
作者: rick65134   2015-03-25 03:30:00
就只是一堆定义堆叠出来的东西而已
作者: asianDUB (教員子女)   2015-03-25 03:30:00
计算机按1+1就是=2啊 要证明什么?
作者: alamabarry (.............)   2015-03-25 03:31:00
一堆定义难道都没有使用到1+1=2这个东西吗 好难想像
楼主: ma4wanderer (醉月湖之狼)   2015-03-25 03:34:00
这个问题只是对本质做追溯跟探讨而已
作者: arrenwu (键盘的战鬼)   2015-03-25 03:35:00
如果你同意 Peano Axioms,1+1=2 就是定义,不能证明所谓的2就只是自然数里面接在1后面那个数字
作者: alamabarry (.............)   2015-03-25 03:36:00
之前在math看过一个很复杂的证明1+1=2
作者: arrenwu (键盘的战鬼)   2015-03-25 03:37:00
必须用不同的公设,1+1=2才是可以证明的东西
作者: alamabarry (.............)   2015-03-25 03:37:00
不过完全看不懂~~写了好几页~~
作者: a2768387 (how che)   2015-03-25 03:38:00
作者: alamabarry (.............)   2015-03-25 03:38:00
感谢解惑~
作者: chen1470 (AndrewChen)   2015-03-25 03:51:00
太有深度了,我理科的…
作者: buttercrab   2015-03-25 04:01:00
我想问 有没有数学证明1+1不等于2 然后挺有道理的?
作者: wahaha99 (此方不可长)   2015-03-25 04:12:00
用2进位 1+1=10
作者: alamabarry (.............)   2015-03-25 04:14:00
以前去书局乱翻一本高微题库..作者在序言写了西元两千年世界末日要到某个地方集合一起升天...稍微可以理解念数学会念到疯掉的原因了~~
作者: maxxV3 (食言而月巴)   2015-03-25 05:10:00
www.tngs.tn.edu.tw/teaching/math/research/1%2B1=2.pdf
作者: patrol (男子汉直球!!!)   2015-03-25 06:32:00
一桶汽油+一支番仔火

Links booklink

Contact Us: admin [ a t ] ucptt.com