[問卦] 所以為什麼1+1=2

看板Gossiping作者 (惡魔旅館)時間4年前 (2020/02/04 11:23), 編輯推噓9(11推 2噓 32→)
留言45則, 15人參與, 4年前最新討論串1/2 (看更多)
剛剛阿肥跟朋友聊天 聊到數學系學的數學感覺好像很難很難 連小學教的1+1=2都要嚴格證明一遍 還有什麼建造實數什麼的 不是很簡單的一根手指頭加一根手指頭是兩根手指頭 這樣嗎 是能有多難 所以為什麼1+1=2 有沒有八卦 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 223.139.76.159 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1580786582.A.071.html
→
02/04 11:23, 4年前 , 1F
你哲學系？
02/04 11:23, 1F
推
02/04 11:23, 4年前 , 2F
五樓知道
02/04 11:23, 2F
推
02/04 11:23, 4年前 , 3F
明明就是田，國小沒教過逆
02/04 11:23, 3F
推
02/04 11:25, 4年前 , 4F
1男加一女等於三 知道為什麼嗎？
02/04 11:25, 4F
推
02/04 11:25, 4年前 , 5F
1跟2都是符號，你要定義成132456也可以
02/04 11:25, 5F
推
02/04 11:26, 4年前 , 6F
)+(=八
02/04 11:26, 6F
→
02/04 11:28, 4年前 , 7F
然後證明方法有超級多，要看你建立在什
02/04 11:28, 7F
→
02/04 11:28, 4年前 , 8F
麼定義上面
02/04 11:28, 8F
推
02/04 11:28, 4年前 , 9F
八卦是 1+1=2 是定義
02/04 11:28, 9F
→
02/04 11:28, 4年前 , 10F
先定義1跟+跟=
02/04 11:28, 10F
→
02/04 11:29, 4年前 , 11F
除非你是特別的流派，不然Peano Axiom下
02/04 11:29, 11F
→
02/04 11:29, 4年前 , 12F
至於為什麼很難，是因為最基礎的東西，
02/04 11:29, 12F
→
02/04 11:29, 4年前 , 13F
他的前面就只有定義沒有其他已證明的事
02/04 11:29, 13F
→
02/04 11:29, 4年前 , 14F
1+1=2 就是定義
02/04 11:29, 14F
→
02/04 11:29, 4年前 , 15F
所以可以用來證明的工具更少
02/04 11:29, 15F
→
02/04 11:29, 4年前 , 16F
證明1+1>2不成立,1+1<2也不成立,國中程度
02/04 11:29, 16F
→
02/04 11:29, 4年前 , 17F
你也可以定義 1+1 = 3 , 1+3 =2
02/04 11:29, 17F
→
02/04 11:30, 4年前 , 18F
然後1+1就不等於2了
02/04 11:30, 18F
→
02/04 11:30, 4年前 , 19F
已被證明過的東西才可以當定義
02/04 11:30, 19F
推
02/04 11:30, 4年前 , 20F
我老闆說1+1沒大於2的事他不做，所以他
02/04 11:30, 20F
→
02/04 11:31, 4年前 , 21F
是不是一事無成？
02/04 11:31, 21F
→
02/04 11:31, 4年前 , 22F
已經被證明過的東西才可以當定義? 啥小?
02/04 11:31, 22F
噓
02/04 11:31, 4年前 , 23F
文組不要鬧了
02/04 11:31, 23F
推
02/04 11:32, 4年前 , 24F
已被證明的東西是要定義三小
02/04 11:32, 24F
→
02/04 11:33, 4年前 , 25F
那我問你,如果1+1=2是定義為何還需要證明
02/04 11:33, 25F
→
02/04 11:33, 4年前 , 26F
他應該只是誤會定義是什麼，這樣還要定
02/04 11:33, 26F
→
02/04 11:33, 4年前 , 27F
義什麼叫定義
02/04 11:33, 27F
→
02/04 11:33, 4年前 , 28F
有點麻煩，不要太凶哈哈
02/04 11:33, 28F
→
02/04 11:34, 4年前 , 29F
02/04 11:34, 29F
→
02/04 11:34, 4年前 , 30F
lae大，他是說在特定的空間定義下
02/04 11:34, 30F
推
02/04 11:34, 4年前 , 31F
我上面講了啊 你如果接受Peano Axiom，
02/04 11:34, 31F
→
02/04 11:35, 4年前 , 32F
1+1=2 就是定義
02/04 11:35, 32F
→
02/04 11:36, 4年前 , 33F
然後最簡單方式就用加法單位元素跟定義
02/04 11:36, 33F
→
02/04 11:36, 4年前 , 34F
好的12345順序，這樣最快，不過前提是這
02/04 11:36, 34F
→
02/04 11:36, 4年前 , 35F
些要已經定義好，不然還要從加法單位元
02/04 11:36, 35F
→
02/04 11:36, 4年前 , 36F
素的唯一性之類的開始很麻煩
02/04 11:36, 36F
→
02/04 11:37, 4年前 , 37F
至少我不會說1+1=2是定義
02/04 11:37, 37F
噓
02/04 11:37, 4年前 , 38F
你是文組
02/04 11:37, 38F
推
02/04 11:38, 4年前 , 39F
喔
02/04 11:38, 39F
→
02/04 11:38, 4年前 , 40F
好啦大家不要生氣，其實原po會問這個
02/04 11:38, 40F
→
02/04 11:39, 4年前 , 41F
要就是他釣魚
02/04 11:39, 41F
→
02/04 11:39, 4年前 , 42F
不然就是他生活中不需要用到
02/04 11:39, 42F
→
02/04 11:39, 4年前 , 43F
所以大家不要吵架
02/04 11:39, 43F
→
02/04 11:46, 4年前 , 44F
我都用計算機來證明
02/04 11:46, 44F
推
02/04 11:57, 4年前 , 45F
"已被證明過的東西才可以當定義" 笑了
02/04 11:57, 45F
‣ 更多 DevilHotel 的文章
文章代碼(AID): #1UEEEM1n (Gossiping)
‣ 更多 DevilHotel 的文章
文章代碼(AID): #1UEEEM1n (Gossiping)