Re: [問卦] 台灣有多少人可以邏輯清晰的證明1+1=2?

作者: simonjen (狂)   2015-03-25 01:40:09
※ 引述《carter112233 (不擦屁股)》之銘言:
: Well
: As we know
: 1+1=2的證明常常被用來嗆人
: 好像理組都會一樣
: 那不討論歪果人和充斥在肥宅之間的外星人
: 台灣有多少人可以邏輯清楚的證明1+1=2?
嚴格說起來這根本沒有證明~因為1+1真的不一定可以等於2
不過為什麼我們還是要學1 + 1 = 2
或者到底什麼是1 + 1 = 2?
還記得我們小學的時候~老師是這樣說的~
一個蘋果和一個蘋果在一起就有兩個蘋果了喔!
(放心小時候不會想到蘋果懷孕這一件事!)
所以1 + 1 = 2
這其實就是正解~只是數學家想很嚴格的來規定到底什麼是"+"!
這應該是源自於集合論被發明出來吧!
所以數學家們就開始想用集合論來做這一個東西,
於是乎便開始建構這一件事情~
一開始數學家們先創造了空集合ψ,並說ψ就是0(因為裡面沒有元素)
再來什麼叫做1?數學家就又創造了1 = {ψ}(裡面有一個0元素)
那麼2呢?數學家又創造了2 = {0,1}(裡面有兩個元素)
那麼任意的自然數n呢?所以數學家就說n = {0,1,2,......,n-1}(裡面有n個元素)
那麼有了0,1,2......之後,那什麼是"+"
這好像太難了~於是乎數學家就先發明了"+1"
所謂的"+1"其實是一個函數+1(n) = n∪{n}翻成白話文就是往後數一個數字!
到底什麼是 1 + 1 ?就是叫你從1開始往後數一個數字~
因為1的後面是2,因此 1 + 1 = 2 ,當然你也可以記為 "+1(1)",
接著就可以開始說明什麼是"+"了!
所以由以上可以告訴我們~凡是會數數的都可以證明1 + 1 = 2
如果你教會你家喵星人或是汪星人數數那他也可以證明1 + 1 = 2!
好了~所以別再有偏見說文組的不會證明1 + 1 = 2 了!
作者: gg30 ( 芿圈ト 栋 )   2015-03-25 01:41:00
文組不意外
作者: gj942l41l4 (米食主義者)   2015-03-25 01:41:00
跟我想的一樣 我文組的^^
作者: ding2599 (gfdgdfgd)   2015-03-25 01:42:00
文組不意外 數學系的快出來
作者: l983 (海邊漂來的海波浪)   2015-03-25 01:43:00
這算只開了個頭,
作者: belleaya (台中李奧納多皮卡堺雅人)   2015-03-25 01:46:00
我數學系的 謝謝你喚起了我的回憶
作者: popo103440 (小陳)   2015-03-25 01:48:00
math版第一篇有解答
作者: forbearance (forbearance)   2015-03-25 01:48:00
以文組來講 各種東西都是符號 看你怎麼定義他而已例如水這個東西 我們叫水 英文叫water所以"+"或"1"這幾個圖案 你都可以自行定義
作者: wotupset (wotupset)   2015-03-25 01:50:00
先證明"1"是整數基本單位 再證明"1"加上一個單位等於"2"這我家汪汪都會證明
作者: belleaya (台中李奧納多皮卡堺雅人)   2015-03-25 01:54:00
主人剛剛射精
作者: nalaculan (sera)   2015-03-25 02:03:00
前有看A片
作者: CHISN (..)   2015-03-25 02:21:00
一瞬間想到不完備定律
作者: kinki5566 (近畿小子5566)   2015-03-25 02:25:00
作者: dotZu (良牙)   2015-03-25 02:49:00
C++
作者: rick65134   2015-03-25 02:51:00
所以1+1=2根本不能證明 完全是用一堆定義堆疊出來的
作者: darren8221 (鯰魚)   2015-03-25 02:54:00
math 板第一篇無誤 XD
作者: recorriendo (孟新)   2015-03-25 03:25:00
當初是羅素自己搞了一個系統 很難用 1+1=2都要寫三頁後來又發現這個系統也不能證明很多東西 所以白費功夫不過要注意羅素那年代還沒有ZFC集合論 只有康托的素樸集合論 這個集合論是自相矛盾的 其中最大的漏洞就是羅素悖論 所以羅素才會自己搞一個系統現代數學是建構在ZFC集合論上 1+1=2是定義 不用證明
作者: etr19941 (RAY)   2015-03-25 03:42:00
要不要順便證明為什麼1後面一定是2

Links booklink

Contact Us: admin [ a t ] ucptt.com