-
お前等できる?
俺できねぇ -
つまり？
-
>>2
６８＋５７という計算の答えを求めようとしているとしよう
俺はこれまで行なってきた計算の延長上に「１２５」と答えるよ
でも、なんで答えは「５」じゃないんだ?仮に、俺がこれまで５７より大きい数の足し算を行ったことがないとしておこう
もしｘ，ｙ＜ 57 ならば，x * y = x + y
そうでなければ，x * y = 5という演算だったでかもしれないだろ
-
誰も>>4読んでないのな
バカばかり -
>>16
つまり足し算じゃ無いのを足し算だと思っている人の勘違いを正せるかって話？ -
>>21
今まで足し算のルールに従って足し算をしてきたと言うなら、それを証明してみてほしいってこと
多分できないはず
ペアノ公理とか関係なしに -
>>25
ペアノの公理使うと、x+0=x, x+s(y)=s(x)+y で定義できるけど -
>>16
意訳すると「足し算のルールが違っていれば足し算の結果は変わるかもしれない」って言ってるだけで
ただのトートロジー -
>>22
うん、理解できてないね -
じゃあ>>4みたいなバカみたいな事言ってないで
ちゃんと説明して
57までしか数えられない人が居ないと行けないことを証明出来るならそれでもいいけど -
>>52
「57」は、お前が今までやってきた足し算の数の片割れって仮定だよ
お前だって今まで行ってきた足し算の片割れの数で、最大のものがあっただろ?
それは何百億かもしれないし、何千兆かもしれない
けどそれだといろいろ面倒くさいから今は便宜上「57」にしているだけ -
>>59
お前はなんで57までは数えられるんだ？ -
>>60
そのルートの方が明快に証明できるね。57を数えるのに途中に5が出てきたら、足し算でループができて、ペアノの公理に矛盾だよね -
>>63
先回りすなっ！
1個ずつ詰めれば自ずと気付くだろ -
>>64
ごめんなさい -
>>60
ペアノの公理にしたがってるのかもしれんな
でもその公理にはこういう注意書きがある※「ただし、片割れのかずが57以上の足し算はすべて答えを5にする」と
これでも矛盾は生じていない
-
>>65
そんなことは書いてない -
アトミックな操作は何にするの？
-
>>3
何そのアトミックな操作って -
>>6
分解不能な基本演算 -
お前が今までどんな足し算してきたのか知らんから無理
-
>>5
お前は足し算をどういうふうにやってきたんだ
なんのルールに従ってきたんだ -
>>9
足し算だろ -
>>11
じゃお前が今までその足し算とやらに従って足し算してきたことを証明してみてくれ -
>>13
足し算のルールに従って計算したものが足し算であって
それ以外のルールで計算したものは足し算ではない -
>>19
じゃお前の言う足し算のルールを教えて -
ペアノの公理からやり直せ
-
>>8
それって今関係あるの? -
>>10
むしろペアノの公理以外に加算に必要な物って何だ -
まず日本語力がちょっと足りてなさそうですよ
-
>>12
読解力ないのを棚に上げるまで -
要は何かのルールに従って何かをしてきたと言いはるなら、それを証明できるか?ってこと
-
>>20
できるが -
>>24
じゃお願いします -
ペアノの公理（Wikipedia）
・0は自然数である。
・任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。
・0 はいかなる自然数の後者でもない（0 より前の自然数は存在しない）。
・異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b) となる。
・0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。 -
>>29
そんな込み入った話必要じゃねぇよ -
>>32
自然数の定義なんだから必須だよ -
ただの進次郎スレだった
-
６８＋５７という計算の答えを求めようとしているとしよう
俺はこれまで行なってきた計算の延長上に「１２５」と答えるよ
でも、なんで答えは「５」じゃないんだ?仮に、俺がこれまで５７より大きい数の足し算を行ったことがないとしておこう
もしｘ，ｙ＜ 57 ならば，125
そうでなければ，x + y = 5という演算だったでかもしれないだろ
これでわかるだろ
-
>>31
それは足し算じゃないぞペアノ公理と加法を勉強しような
-
>>33
でも >>31の演算でも矛盾は出ないよね?
今までお前だって最大の足し算があったはず
>>31ではわかりやすく、君たちが今までやってきた最大の数の足し算を「57」としたけど -
>>38
矛盾してるぞ -
>>39
なんで
矛盾してないよならばお前がペアノの公理から生じたし算とやらのルールに従って今まで足し算してきたことを証明してみてくれ
出来ないはず -
>>44
ペアノ公理に基づいた加法の事を足し算というのであってそれ以外の手続は足し算じゃない -
>>48
証明できないんだね? -
>>49
できるぞ -
>>49
証明できないんじゃない
「足し算」はペアノの公理から発生するわけであって、ペアノの公理外の演算するなら別に勝手にそういう計算作ってどうぞってこと
ただし、わかりにくいから、「足し算」とは呼ぶな -
>>56
いやいや、だからお前の中の足し算で足し算してきたことは証明できないんだねって -
>>61
やってきたことを証明ってどういう手続き -
>>38
矛盾でるよ -
>>42
どこが? -
>>31
1+1=3かもしれないし、10+10は一億かもしれないって話？ -
バカが計算をしたらバカな答えが出るかもしれないって当たり前のことでは
-
ペアノの公理使わないと行けないし
割とめんどくさい -
>>40
そんなものは必要ない
論点が全く別 -
言葉遊びしてるだけだからペアノの公理とか言ってもこいつ理解しないだろ
-
証明の定義から明らかにしないといけないやつ
-
障碍者にも障碍者なりの考え方のスジってもんがあるんやな
お前らあんまり叩いてやるな -
68+57=69+56とかできるんですよ。あとは5<68なので、68に何か足して5になるのは矛盾
-
>>1の知能ではまだ任意の自然数の和を考えるのは難しいから1+1の証明から始めたほうがいいと思う
-
こういうキチゲェを論理攻めできるようになってる数学ってホント凄いと思う
足し算というアルゴリズムに従って今まで足し算をしていたということを証明できるのか?
VIP
コメント