むちゃくちゃ頭が良い人が1＋1＝2を証明するのに379ページもかかるらしい [659425117]

1 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:33:27.86 ID:w2Vuac8I0.net ?2BP(1000)

http://img.5ch.net/ico/2mona22.gif
http://fox.2ch.net/test/read.cgi/poverty/1437212186/
227 ：番組の途中ですがアフィサイトへの転載は禁止です：2015/07/18(土) 21:05:47.91 ID:NEmDOBI40
1+1＝2はラッセルって人が379ページを費やして証明したらしい
http://quod.lib.umich.edu/u/umhistmath/AAT3201.0001.001/401?rgn=full+text;view=pdf

1+1ですら常人には説明不能なんだから無知を受け入れろって事なんやろな。

2 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:34:10.87 ID:X8fbLS0sM.net

ワロタ
りんご2個買ってくるだけだろ

3 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:34:58.28 ID:YBKFuB7j0.net

一緒に買いに行ってほしいんだろ？

4 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:36:26.20 ID:jTdAX1Uk0.net

http://cou18.mydad.info/newsplus/2018041124.html

5 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:38:04.98 ID:HAJJ5iLz0.net

１の書き方から書かれてそう

6 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:39:43.97 ID:GvdFT49pM.net

1ページを大きくすればいい

7 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:39:54.28 ID:ZJw0TNjCM.net

むしろページの多さを競ってるのでは

8 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:40:37.40 ID:mFYbf/bc0.net

まずこの世は０と１しかありません

２とは、１と１があるということです

9 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:42:01.03 ID:ZgbHCWyT0.net

本当はもっとある

10 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:42:45.85 ID:94iKohxAd.net

>>8
説明にすらなってなくてわろた

11 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:44:24.35 ID:/vHWSLlir.net

数学基礎論だろ

12 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:45:17.41 ID:1IUImSW+0.net

ほとんど公理とか定理みたいなもんだろ

13 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:48:44.24 ID:J3O4YyCWM.net

なお9割9分は公理の説明に費やされている模様

14 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:49:09.02 ID:0kpGDbyyp.net

1タス1が二である必要はアルノカ

15 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:52:41.20 ID:x4NP5yuTd.net

ペアノの公理って言っとけばいいやつだろ？

16 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:53:04.53 ID:cVE0x3/I0.net

証明に使った公理を全部証明しないと意味なくね

17 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:54:55.81 ID:oMVoFPXYr.net

そんぐらい凄い奴って宇宙船とか作れたりすんの？

18 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 18:58:21.83 ID:DUYSIcgA0.net

数の悪魔に出てきたけど何も分からんかった

19 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 19:08:00.39 ID:PHAnjAoNp.net

りんご2個で終わるじゃん
実はただのバカなんじゃないの？

20 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 19:21:15.12 ID:nrEqtVqZ0.net

1ページが0.5ミリ四方とかなんだろ

21 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 19:21:36.88 ID:4ICnGZof0.net

寝る前に布団の中で証明する方法を思いついたけど、目が覚めたら忘れたわ

22 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 19:28:10.05 ID:ISqrgBRyp.net

バカに説明するのは難しいって事だ

23 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 19:31:02.81 ID:OaxYax+Z0.net

この論文はこの論文自体が偽であることを証明したものである
みたいなややこしさだったか？

24 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 19:38:09.20 ID:MYEhQgqvH.net

コップ1杯　+　コップ1杯　=　2とは限らない

25 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 19:48:46.08 ID:mAdqclhw0.net

378ページ分くらいはスポンサーの広告掲載とか企業紹介とか偉い人の自伝かな

26 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 19:54:45.29 ID:de71f9RM0.net

ゴルゴなら殴った

27 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 19:56:26.60 ID:sCC1zkFD0.net

話しを聞いて一緒に買いに行くんだろ

28 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 19:56:37.15 ID:tQD8qPwg0.net

たった一つの数式にも
これだけの情報が詰まってるってことだよな

29 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 19:58:58.47 ID:aazrACOk0.net

昔1＋1が2にならないってコピペ見た覚えがあるんだけどな
誰か貼ってよ

30 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 20:01:35.46 ID:b2B2caZW0.net

Aを説明するためにBと言ったとする
そうすると今度はBを説明するためにCという説明をないといけなくなり
Cを説明するために今度はDが必要になってきて
それが無限に繰り返されるから379ページにもなる

31 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 20:02:30.59 ID:ui2lP2x00.net

>>30
なんで無限なのに379ページで終わるんだよ

32 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 20:02:39.68 ID:Mm9cVMYD0.net

自明であるってことを記号論理学で理由こみで記述するとそれくらいかかるってこと
哲学で考えたらわかるじゃん
｢なんで生きてるの？｣に対して｢まだ死んでないから｣ということ以上に言語を尽くすから必要以上の文字数が必要になるわけ

お前らが｢1番抜けるシチュエーション｣とその理由を説明するのには379ページじゃ足りないだろ

33 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 20:05:05.00 ID:l9DFZppm0.net

これ379ページもかけて証明する程価値あるもんなんかな

34 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 20:05:14.63 ID:a6rXyesnM.net

>>31
宇宙の実数はすべて379以下の正の数の積じゃん
379を基準にしろや

35 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 20:14:19.48 ID:AMRtYpCa0.net

その設問が10進数と証明するところから始まる

36 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 20:25:21.36 ID:fdybbjod0.net

o+o=O

37 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 20:28:39.29 ID:2iOxTuNO0.net

http://i.imgur.com/m6k4CZq.jpg

38 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 20:33:46.42 ID:I5Rd4m4Ed.net

>>33
価値とかじゃなくてただの結果だ
1万円のうんこを食べる価値があるか ではなくうんこを食べて1万円払った が正しい

39 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 20:33:53.20 ID:F9yjQ9voM.net

数と演算の体系の定義でしかなくね？
証明しようがあるのか

40 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 20:34:27.24 ID:yZeBEgfo0.net

証明できるのこれ？

41 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 20:38:21.74 ID:jZ3I5SoA0.net

1+1=2に関して私は真に驚くべき証明を見つけたが、それを書くにはこのテキストボックスは狭すぎる

42 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/07(火) 23:30:11.03 ID:+BCgQSER0.net

>>2
凄い壮大なストーリーなんだろうな

43 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 02:03:34.71 ID:Fm5fgbJG0.net

まずは１というものを説明しなければ

44 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 09:06:06.04 ID:oaSg/Gun00808.net

>>35
たぶんそう

45 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 09:16:50.12 ID:q5phG0dt00808.net

人間がバカだと言う事を証明してしまっている訳か

46 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 09:17:49.49 ID:n0aD6SZ/00808.net

>>2
ロードオブザリングくらいの物語がありそう
ロード・オブ・ザ・リンゴ

47 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 09:54:02.40 ID:xnzp9o4D00808.net

いんいちがいち　いんにがに　いんさんがさん・・・

48 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 14:58:52.60 ID:q8XeGper00808.net

>>2
バカにしてるの？2個

49 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 15:01:47.00 ID:KL9yw1l40OKIMOCHI.net

確か数学の教師が語ってたな

まず真数の0.999999999は決して１にならないって話から入って

0.999999999＋0.999999999＝0.9999999998

なので決して１にはならない。

50 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 15:25:27.04 ID:KG1Qz5yOM0808.net

定理じゃなくて定義だろ
証明いるか？

51 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 15:30:57.56 ID:aT5nDSUta0808.net

頭悪いな

52 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 15:32:36.83 ID:YNfBVsH0M0808.net

数学基礎論は大して役に立たない

53 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 15:44:45.27 ID:QjhTEU+Aa0808.net

>>52
コンピュータサイエンスや情報科学にとっては
数学基礎論は一番役に立つ応用数学みたいなもんだ

54 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 15:49:46.26 ID:ec6i//fO00808.net

>>49
実数の性質が分からない数学教師とかいるのか

55 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 15:51:05.16 ID:3jA6KD7h00808.net

＜自然数の性質＞

◆ 1は自然数である

◆ どの自然数に関しても その次の自然数 がただ1つ存在する。
　 以下、自然数 a の次の自然数を “ a+1 ”と表す。

◆ a,bが自然数のとき a≠b ならば a+1 ≠ b+1 である

◆（省略）


＜ 2,3,4,5…について ＞

○ 2=1+1　によって2を定義する。
（「1の次の自然数を2と名付ける」 という意味。）

○同様に
3=2+1　
4=3+1　
5=4+1　
…と定義。
（2の次の自然数を3と名付ける、3の次の自然数を4と名付ける……という意味）


＜ 自然数の和 ＞

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
自然数の和は次のように再帰的に定義する。

　a,bが自然数のとき,　　a + (b+1) =　(a+b) +1
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

たとえば

2+3
= 2+(2+1)　　　　　　←3の定義
= (2+2)+1　　　　　　←和の定義
= (2+(1+1))+1　　　　 ←2の定義
= ((2+1)+1)+1　　　　←和の定義
= (3+1)+1　　　　　　←3の定義
= 4+1　　　　　　　　←4の定義
= 5　　　　　　　　　　←5の定義

56 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 15:52:37.42 ID:obM9KNRB00808.net

数学も証明で国語力問われるからちゃんと勉強しろってことだよ

57 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 15:54:03.59 ID:tZhK7u4/00808.net

世の中には分からない事もある
将来的には分かってもね
だから文系と理系がいる
どっちかの思考しかできないと何もできない
何事もやってみて損得が発生するしいつもそういう状況になるとは限らない
単純な計算なら結果は同じなだけ

58 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 20:16:27.86 ID:u5EpdOVJa0808.net

>>49
やべえ全く意味が分からんw

59 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/08(水) 20:26:10.04 ID:3pNppDW4d0808.net

東条英機を説得するのにはそれくらいかかるということか

60 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 04:00:06.13 ID:1cj5NPuU0.net

>>49
かけ算じゃなくて？

61 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 04:02:51.19 ID:STWJnQraa.net

>>15
それ

62 ：瘋癲の錬金術師 ：2018/08/09(木) 04:06:23.14 ID:5QHv/JdOK.net

>>34
まじかー？

63 ：瘋癲の錬金術師 ：2018/08/09(木) 04:06:44.38 ID:5QHv/JdOK.net

こまけえこたあいいんだよ

64 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 04:07:31.67 ID:Lt6/DxVX0.net

正解は一緒に１+１＝２をしてほしいんだろ？

65 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 04:11:25.97 ID:EfcjrjoX0.net

そらそうよ。
おっぱいだって右のおっぱいと左のおっぱい
合わせて２つなのか２つで１つなのか証明するために
見たり、なでたり、触ったり、口づけしたりいろいろ必要になるだろ
数学とはそういうものよ

66 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 04:23:21.65 ID:clKbUAXj0.net

1の見た目をいじった内容がズラズラ

67 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 04:36:10.19 ID:uW1h7NNMa.net

作用反作用の法則も証明できないんだっけ？

68 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 04:36:11.05 ID:dIc0BMMx0.net

辞書引いて言葉の説明で使われる言葉の説明の言葉の説明の言葉の説明・・・って感じやろ

69 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 04:43:59.08 ID:OQrAlFoH0.net

>>24
あーそういう話か

70 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 05:05:04.29 ID:0C5mfX2e0.net

>>2
ハリーポッターと二つの林檎

71 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 05:07:29.38 ID:0C5mfX2e0.net

>>41
それ結局勘違いだったな

72 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 05:11:03.73 ID:Tsz+dM760.net

無限大にすると1になる数を足すと2になるかとかそういう気持ち悪いことやってんだろ

73 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 08:57:44.52 ID:QjcpCKLHd.net

>>49
そもそも真数ってのがわからん

74 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 15:25:34.73 ID:0v87OBn00.net

リンゴが１つとリンゴが１つで合計何個でしょうか
っていうのが理解できなかった。
同じリンゴじゃねーだろって疑問がずっとあって躓いてた記憶がある

75 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 15:35:31.14 ID:HTXBsOtpM.net

>>55
そう決めてるのになんで証明する必要があるのかと思ったら
そういう事か

76 ：番組の途中ですがアフィサイトへの＼(^o^)／です ：2018/08/09(木) 15:46:13.12 ID:ZMFZlcPu0.net

https://i.imgur.com/B4m8TAj.jpg