「1+1=2の証明は難しい」←そんな難しくないやろ!

1 : 24/11/02(土) 19:39:26 ID:tpn1
ペアノの公理と加法を定義すれば証明はこれだけやぞ?

レス1番の画像1

せめて「5+5=10」の証明は難しいにしろ?
5+5=10の証明はこんな感じになるから?

レス1番の画像2
2 : 24/11/02(土) 19:39:58 ID:ORJq
指二本で証明できらぁ
4 : 24/11/02(土) 19:40:10 ID:tpn1
>>2
うーんこの
5 : 24/11/02(土) 19:40:36 ID:HF0H
これ大学でも聞いたけど
>>2だと思ったし後にその知識を使うこともなかったんやが
これ意味あるんか
3 : 24/11/02(土) 19:40:10 ID:yNaO
ペアノの公理ってなんや?具体的に頼む
6 : 24/11/02(土) 19:41:22 ID:tpn1
>>3
自然数の定義や
具体的には以下の感じだったはず
・0という自然数がある。
・全ての自然数には後者となる自然数が存在する
・0はいかなる自然数の後者でもない
10 : 24/11/02(土) 19:41:52 ID:yNaO
>>6
サンガツ
56 : 24/11/02(土) 19:54:18 ID:tpn1
>>6
失礼。追加が以下があるわ
・異なる自然数は異なる後者を持つ
・0がある性質を満たし、またaもその性質を満すとき、suc(a)もその性質を満たすならば全ての自然数はその性質を満たす(これは数学的帰納法と同じこと言ってるかと(多分))
7 : 24/11/02(土) 19:41:24 ID:Afpv
ワイアホだからよくわかんないけどさぁ
まず1=suc(0)とやらを証明しないとアカンやろ??よくわからんもん急に出されて進められてもおいてけぼりだよ
12 : 24/11/02(土) 19:42:10 ID:tpn1
>>7
suc(0)は0の後者の自然数を表す
0の後者の自然数は1
なのでsuc(0)=1
8 : 24/11/02(土) 19:41:28 ID:pCGO
まあ大学の課程に入ると数学は哲学になるからな
9 : 24/11/02(土) 19:41:31 ID:3mXt
1本のペンにもう1本ペンを加えたら合計で2本やろ???
11 : 24/11/02(土) 19:42:07 ID:Cvuv
日本国首相「2+2は努力をすれば4にも8にも80にもできるぞ」
13 : 24/11/02(土) 19:42:19 ID:HF0H
>>11
10倍だぞ10倍
14 : 24/11/02(土) 19:42:31 ID:suDr
えっそれって証明じゃなくね?
勝手にお前がルール決めてんじゃん
20 : 24/11/02(土) 19:43:56 ID:tpn1
>>14
これ以上細かくはしようと思ってもできんな…
前提となるルールの上でしか物事の証明はできない
15 : 24/11/02(土) 19:42:33 ID:qVQP
つまりどういうだってばよ!?
16 : 24/11/02(土) 19:43:06 ID:kLYK
>>15
1+1の値は0の次の次の数ってことを示した
17 : 24/11/02(土) 19:43:21 ID:tpn1
>>16
そう!
19 : 24/11/02(土) 19:43:55 ID:SPZl
一般人からしたら意味ないしな
21 : 24/11/02(土) 19:44:29 ID:RnvL
1+1=2を証明できたらそのまま5+5=10も証明できんのか
22 : 24/11/02(土) 19:44:45 ID:pCGO
そもそも「ペアノの公理」が正しいとどこで証明したん?
27 : 24/11/02(土) 19:46:14 ID:tpn1
>>22
公理と定理は意味が違う
公理っていうのは「至極当然の当たり前なこと」
定理っていうのは「公理から証明された事実」や
(すまんあってるかわからん)
31 : 24/11/02(土) 19:47:57 ID:pCGO
>>27
その公理がわざわざ「ペアノの」とついてんやから、それはその誰かが証明した公理って事やん
他人が証明したものを前提にして証明したって言うんなら、単純に1+1=2も普通に算数の公理で自明って事でもええやん
32 : 24/11/02(土) 19:48:21 ID:FEMD
>>31
公理に証明もなにもないぞ
34 : 24/11/02(土) 19:48:30 ID:ULKM
>>31
公理は証明するもんではないぞ
36 : 24/11/02(土) 19:48:38 ID:tpn1
>>31
公理は証明もクソもない
公理ってのは数学をやる上で前提となることをより厳密に定義したものや
41 : 24/11/02(土) 19:50:51 ID:pCGO
>>36
いやだからその公理を前提にしていいなら、単純に1+1=2も算数レベルの公理やん
「自然数は1,2,3・・・と並んでるもの」という前提を言い換えてるだけの話やんけ
44 : 24/11/02(土) 19:51:26 ID:qVQP
>>41
数学ってそういうもんなんやろ(適当)
45 : 24/11/02(土) 19:51:40 ID:ULKM
>>41
1,2,3ってそれぞれどういう意味なん??
46 : 24/11/02(土) 19:52:06 ID:tpn1
>>41
1+1=2は公理じゃない
1+1=2を公理、1+2=3を公理…みたいにやるわけにはいかんやろ?
やからまず「自然数ってのは…」みたいに一般化したものを定義し、それを公理としてそこから「1+1=2」みたいのを証明できるようにしてるんや
59 : 24/11/02(土) 19:54:28 ID:pCGO
>>46
だからさ、それで証明したことになるんなら「1+1=2の証明は難しい」なんて話になるわけないやろ
イッチの言ってることは「自然数は1,2,3・・・と並んでる物」を言い換えてるだけの循環論法やと言ってんやで
62 : 24/11/02(土) 19:55:03 ID:ULKM
>>59
だからその1,2,3ってどういう意味や?
順番に並んでるって、どんな法則性で並んでるんや?
64 : 24/11/02(土) 19:56:29 ID:pCGO
>>62
それをワイに聞くなや
それが難しいから「1+1=2の証明は難しい」んやろ
イッチの主張が、その「1,2,3ってどういう意味」とか「順番に並んでるって、どんな法則性で並んでる」に一切踏み込まず前提にしちゃってると言ってんやで
66 : 24/11/02(土) 19:56:56 ID:FEMD
>>64
ペアノの公理でそれを説明してるやん
67 : 24/11/02(土) 19:56:57 ID:ULKM
>>64
答えられんのか?
70 : 24/11/02(土) 19:57:20 ID:ULKM
>>64
それを定義しているのがペアノの公理なんやが?
72 : 24/11/02(土) 19:58:01 ID:ULKM
>>64
勉強が足らんのちゃうか?
モノ知らんのは別に恥ずかしいことではないけど、モノ知らんのを誇るのはダサいで
69 : 24/11/02(土) 19:57:14 ID:tpn1
>>62
法則は無いと言うのが正しいんかな?
すこし表現が難しいんやが、数学の根本にあるのがその「1,2,3…」や。
法則が「1,2,3…」を作っているのではなく「1,2,3…」が法則を作ってるんや
83 : 24/11/02(土) 19:59:25 ID:tpn1
>>69
例えば「自然数は1の間隔を空けて等間隔に並んでいるよ」ではなく「自然数ってのがあって、その数とその後者の差をとると1になるものとするよ。」や
51 : 24/11/02(土) 19:53:34 ID:kLYK
>>41
正しい指摘や
お前が自然数に対する新しい公理を定めて数学を始めてもええ
適切に定義できてるならお前の公理がペアノの公理と同値になる
40 : 24/11/02(土) 19:50:44 ID:kLYK
>>31
数学を始める土台みたいなものが公理
将棋のルールや野球のルールみたいなもの
そこをひっくり返すようなことをしてもいいけどそこから出発した理論は別の公理系での理論になる
35 : 24/11/02(土) 19:48:31 ID:8A4S
>>27
わかりやすくすると
公理:「そういうものなんや受け入れろ」
定理:「なぜかというと〜」
23 : 24/11/02(土) 19:44:53 ID:3nwO
何の意味があんのこれ
24 : 24/11/02(土) 19:45:02 ID:tpn1
>>23
ないっ!
26 : 24/11/02(土) 19:45:25 ID:3nwO
>>24
無いんかーい
25 : 24/11/02(土) 19:45:04 ID:Ziq5
1たす1は2じゃないんか?
29 : 24/11/02(土) 19:46:34 ID:suDr
じゃあワイも1+1=2の証明するで
まずは1+1=2と定義や
ファッ!?1+1=2やんけ!ワイが証明したンゴ!
30 : 24/11/02(土) 19:46:38 ID:qVQP
1+1
一般常識より2
1+1=2
38 : 24/11/02(土) 19:49:17 ID:ULKM
ペアノの公理ってのは「まず、数字とは…(ネットリ)」のことやぞ
42 : 24/11/02(土) 19:51:15 ID:ULKM
「どうして1+1=2になるか?」ってのは

「そもそも1とは何か?」「2とは何か?」「+とは何か?」「=とは何か?」
って話だから

47 : 24/11/02(土) 19:52:13 ID:6Jx5
まぁ公理が正しいかどうかまではわからんから結局数学ってあやふやな学問なんや
49 : 24/11/02(土) 19:53:03 ID:oRSl
>>47
公理がなにか分かってる?
52 : 24/11/02(土) 19:53:48 ID:6Jx5
>>49
数学で使える証明不要な物事
でもそれも厳密には正しいかどうかは誰にもわからん
60 : 24/11/02(土) 19:54:36 ID:oRSl
>>52
証明不要なら「でもそれも厳密には正しいかどうかは誰にもわからん」ってなんだよゲェジ
61 : 24/11/02(土) 19:54:58 ID:6Jx5
>>60
一応証明不要ってだけやで
それぐらいは理解しような
50 : 24/11/02(土) 19:53:32 ID:FEMD
>>47
所詮勝手にルール決めてお人形遊びしてるだけだからな
おんj民といっしょ
54 : 24/11/02(土) 19:54:04 ID:6Jx5
>>50
数学って結構適当な学問よ
57 : 24/11/02(土) 19:54:21 ID:FEMD
>>54
そう言ってるやん
わざわざ繰り返さんでええよ
48 : 24/11/02(土) 19:52:45 ID:TFX9
On(j)=3
Nan(j)=7

やしなぁ

53 : 24/11/02(土) 19:53:52 ID:8A4S
ものごとを説明するのには限界があるからな
「これだけはひとまずわかってくれ」ってものがないと
58 : 24/11/02(土) 19:54:24 ID:ULKM
>>53
最低限これだけはルールとして決めておけばええ、やな
55 : 24/11/02(土) 19:54:10 ID:suDr
いや数学は発見されるべきものや
人間がルールを作るものではない
63 : 24/11/02(土) 19:56:13 ID:JSXZ
2+2=80なんだが?
73 : 24/11/02(土) 19:58:09 ID:qVQP
>>63
おは東條英機
65 : 24/11/02(土) 19:56:51 ID:6Jx5
特異点がわからないのも人間が作ってきた数学の綻びがあるんじゃないかって話もでてきてるぐらいだからなぁ
68 : 24/11/02(土) 19:57:07 ID:suDr
ワイつい最近これについての本を読んだからなんでもワイに聞いてええで
75 : 24/11/02(土) 19:58:15 ID:kLYK
>>68
その本を読んで印象に残ってることは?
78 : 24/11/02(土) 19:58:38 ID:suDr
>>75
正直言ってよう分からんかったってのが本音や
71 : 24/11/02(土) 19:57:49 ID:TsyT
文系やが意味わからんわ
そもそも数学って1+1が成立することを前提としてる学問なのにその前提を証明しろってもはや数学やないやん
76 : 24/11/02(土) 19:58:31 ID:ULKM
>>71
1+1=2は前提でもなんでもないぞ
77 : 24/11/02(土) 19:58:32 ID:FEMD
>>71
そもそも数学は1+1が成立することを前提としている学問ではないぞ
81 : 24/11/02(土) 19:58:53 ID:ULKM
>>77
成立してない宇宙もあるよな
74 : 24/11/02(土) 19:58:14 ID:YMDd
数学言語で省略して説明してるって感じなんかな
79 : 24/11/02(土) 19:58:40 ID:aOut
1+1は200で10倍やろ?
80 : 24/11/02(土) 19:58:51 ID:DkO6
言い換えてるだけやん
82 : 24/11/02(土) 19:59:15 ID:IHTG
>>1
2行目から3行目ってなにやってるん?
84 : 24/11/02(土) 19:59:47 ID:10C2
0の証明の方が難しいよな
85 : 24/11/02(土) 19:59:57 ID:oRSl
煽りカスvs理系大学生
86 : 24/11/02(土) 20:00:05 ID:DkO6
1と+と1という3つの記号と2という記号がイコールってなにごと!?

コメント

タイトルとURLをコピーしました