小学生「1+1＝2…？」大学生「1+1は何で2なんだ…？」

1 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 20:57:03.479 ID:gVN5ZHU60.net

数学科行ったやつの末路

2 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 20:57:42.311 ID:SjXxJFyqd.net

生き辛そう

3 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 20:58:06.454 ID:5Fpr43Ru0.net

円周率の有理性を証明しようとしたけど死んだ

4 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 20:58:08.949 ID:cXHsdkSW0.net

プロレスラー「1+1=200

5 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 20:59:02.625 ID:rwc+5yE1M.net

お前らよく誤解してるけど
1+1=2の証明というよりは、「足し算」という関数を結果が一意に定まるように定めることが出来るって事を証明すんだぞ
分かった？

6 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 20:59:11.751 ID:f5vjJqsL0.net

中卒俺「1+1=2！」

7 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:00:06.176 ID:fvRGUNL7K.net

>>5
いや、数学の世界でも当たり前すぎる事は深く考えていないから。

8 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:00:34.987 ID:rwc+5yE1M.net

>>7
数学基礎論で深く考えられているよ

9 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:00:53.287 ID:wLckSytrr.net

キモいの沸いてて草

10 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:01:23.266 ID:rwc+5yE1M.net

>>9
は？しね

11 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:01:41.559 ID:kBz5BlJl0.net

そんなことほとんどの人は考えてないぞ

12 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:01:52.838 ID:SbSCfZvt0.net

基礎論行くやつは数学科の中でも不思議ちゃん扱いだろ
なんか今風のオシャレな数学とは全然違う感じがする

13 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:02:21.235 ID:6x3ExXSz0.net

2以外の答えは世の中に必要ない

14 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:02:36.868 ID:yvLuTi+Q0.net

グレブナー基底の理論にハマってるぼくはオシャレ？

15 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:03:13.916 ID:ZiJddWDRM.net

ZFC公理系で順序数を空集合から構成して足し算を和集合に順序入れたものと順序型が等しい最小の順序数と定めればほぼ自明

16 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:03:24.274 ID:cJYB8E+i0.net

1+1を2にしないと2って数字出てこなくね？
何言ってるか自分でも分からん

17 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:03:31.013 ID:gVN5ZHU60.net

>>12
最初は
a,b,c∈Rについてa+b=c,数字の計算は全部忘れた
みたいなスレ立てようと思ったけど面倒だった

18 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:04:29.786 ID:HJ4m6otN0.net

1+1=田

19 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:04:59.516 ID:o199Zl010.net

1+1=0　排他的論理和
1+1=1　論理和
1+1=2
1+1=10　2進数

20 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:07:31.802 ID:i+GkmhHR0.net

基礎論やったって2という記号は出てこない
単に +1 というのが次の自然数を出力する関数と同じで
2 は 1 の次の自然数だと勝手に決めただけ
それで「なにもないところから 1 + 1 = 2 を導いた」と主張するのは詐欺師である

21 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:08:07.833 ID:rwc+5yE1M.net

>>16
ペアノさんが作った自然数の定義は
(1)自然数0が存在する
(2)全ての自然数は「後者」となる自然数をもつ
(3)0を後者とする自然数はない
(4)異なる自然数は異なる後者をもつ
(5)めんどい
だから、2はあくまで1の「後者」
足し算ではない

22 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:10:47.593 ID:SbSCfZvt0.net

2は2でもいろんな2があったら困る

23 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:11:05.526 ID:ZiJddWDRM.net

>>20
基礎論にも色々分野がある
証明論とかやる人は算術の方が大事だからペアノとかロビンソン算術の立場に立てばあえて2を定義による拡大で導入する必要はないかもしれないが、
ZFCの中で作業する分野にとっては2という順序数は結局あった方がいい

24 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:13:56.461 ID:sVZ9+ggsr.net

ZFCを超えていけ

25 ：以下、？ちゃんねるからVIPがお送りします：2019/05/18(土) 21:17:07.544 ID:JJzDd3wK0.net

>>18
1+1+++==田な