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