0002番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ 6bd0-XdqU)2021/11/22(月) 22:35:55.69ID:jEQQ+WHF0
ここではペアノによる自然数の定義と、それを用いた1+1=2の証明について紹介します。証明が苦手な人でも大丈夫です。記号と約束の世界を一緒に楽しみましょう。
「1+1=2」という式には1と2という数字、+という記号が含まれています。まずは数字に注目してみましょう。1や2のように、0より大きい整数のことを自然数と呼びます。ペアノはこの自然数がどのようなものかを、「ペアノの公理」という5つの約束で定めました。
<ペアノの公理>
次の性質をもつ集合Nを考える。
(1)集合Nは1という要素をもつ。
(2)集合Nの各要素に対し、その後に続く数が1つだけある。
(3)互いに異なる要素の後に続く数は、互いに異なる。
(4)1を後に続く数とする要素は存在しない。
(5)集合Nの要素1がある性質Aを満たすとき、集合Nの要素nが性質Aをもち、かつnの後に続く数も性質Aをもつならば、集合Nの全ての要素は性質Aをもつ。
この時、Nを自然数の集合といい、Nの要素を自然数という。
次に、+という記号に注目してみます。これも定義しておきましょう。集合Nのある要素nについて、n+1=nの後に続く数、という関係が成り立つとします。
今、aという仮の自然数を考えます。これに別の自然数a'の後に続く数を足すとします。このとき、a+(a'+1)=(a+a')の後に続く数、という関係が成り立つとします。また、自然数aに対してa+0=aが成り立つとします。
0003番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ 6bd0-XdqU)2021/11/22(月) 22:36:13.58ID:jEQQ+WHF0
ペアノの公理で証明してみよう
さて、材料の準備が整いました。今約束した数字と記号の定義から、1+1=2は真である、という命題を証明してみましょう。
ペアノの公理(1)より、1は自然数であることが認められました。次に(2)より、1の後に続く数に対応するものがただ1つあることがわかります。これを2と表す、としましょう。
今、a=1とすると、a+(0+1)は1+1ですね。これは1の後に続く数です。1の後に続く数は先ほど2と表そうと決めました。よって、左辺が1+1、右辺が2。つまり、1+1=2となります。
このように、自然数のイメージや具体的なものを使わなくても、記号によって1+1=2という結果を得ることができます。
https://image.news.livedoor.com/newsimage/stf/e/d/ed846_1635_163812671cff5415f37f66c4077d02c7.jpg
(出典:『これってどうなの?日常と科学の間にあるモヤモヤを解消する本』より)
ペアノは、数学を、直感を使わずに論理だけで作っていくことを研究の目的としていました。また、少し異なるアプローチですが、フランス出身の数学者、ルネ・デカルトは、直感が必要だった幾何学を座標を用いることで、計算に落とし込みました。記号は慣れるまでは手触りの悪いものですが、実は直感やセンスがあるかどうかに関係なく、どんな人でも数の不思議に触れることができるようにしてくれる、心強い味方なのかもしれません。 数字が抽象概念でしかないのに馬鹿じゃないのか
しったかしてイキってるだけ
0007番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW 6285-6g9e)2021/11/22(月) 22:38:19.25ID:DuYXISid0
そう定義したから
0009番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW e78f-dAhd)2021/11/22(月) 22:39:41.63ID:ZLmIj1/r0
succ(1)=2だから
なぜ自分が無限とも言える宇宙の歴史の中でこの時代のこの場所になぜ存在してるか明確に答えられるやついるの?
てか存在の根源ってなに?
0012番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ 57af-9IQd)2021/11/22(月) 22:40:01.97ID:s7BHXNh90
結局、1+1=2になるように条件付け(定義付け)しましたってだけの話だよな、これ
なぜ1+1=2になるのか、というより、1+1=2になるような論理的な条件付け(定義付け)は何か、だよな
0013番組の途中ですがアフィサイトへの転載は禁止です (JPW 0H82-IKdw)2021/11/22(月) 22:40:49.19ID:rG/DNp14H
数学の公理だから
つまりそういう定義だから
泥団子を一個ずつ足したら大きな一個の泥団子になったよ 0015番組の途中ですがアフィサイトへの転載は禁止です (アウアウウー Sa3b-bG60)2021/11/22(月) 22:41:54.49ID:1XpHy9tSa
0016番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ 6289-+VBe)2021/11/22(月) 22:41:59.02ID:+7PwjSrO0
0017番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ ef89-+VBe)2021/11/22(月) 22:44:07.98ID:Ds6iHz2t0
1と2は共に自然数であり
2は1の倍と定義されているから
1をふたつ加算すれば2になる
0018番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW 6267-opHh)2021/11/22(月) 22:44:58.19ID:nDOWvrEB0
最小の自然数1に1を足したものをとりあえず2としますよっていう所詮は定義の問題だから正直どうでもいいよな
既に証明された前提を蒸し返して問いかけるような馬鹿は考えるのに向かない
オレたちは1+1で10だ。10倍だぞ10倍(2進数)
0022番組の途中ですがアフィサイトへの転載は禁止です (ササクッテロラ Spdf-i42B)2021/11/22(月) 23:04:53.88ID:2SW4Nl68p
マウンティングの典型症例
これで全ての自然数の組に対して一斉に+を定義できてるのか?
>>20
公式がこの作品はこういう設定ですって言うじゃん
それが公理
オタクがそこから妄想したのが定理 ペアノの公理を理解するためには結局、集合論を最初からやらないといけないし、そのためには論理学やらないとだめ
だからちゃんと理解するには大学数学の入門をやらないといけなくなる
0029番組の途中ですがアフィサイトへの転載は禁止です (スッップ Sd02-aGaq)2021/11/22(月) 23:48:05.96ID:wAqLvG3Pd
1+1は2にも3にもなるおじさん「1+1は2 にも3にもなる」
0030番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW 8b85-7n/8)2021/11/22(月) 23:50:59.42ID:1dYZX1rX0
1+2=パラダイス
1+1は2であるって数学的証明できるようになるのって意外と大学生レベルからなんやってね
0032番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW 5faf-Aqdf)2021/11/23(火) 00:21:43.53ID:urD0xYzP0
俺のチンポとおまえのチンポ
チンポは何本だ?
0033番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ cece-0EZc)2021/11/23(火) 00:23:55.85ID:VWZS701l0
ナベアツ思い出したけど、あいつ生きてる価値無いよ
>>1
(ヽ´ん`)パラダイス!
(ヽ´ん`)パラダイス!!
(ヽ´ん`)パラダイス!!! 0035番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ 57af-9IQd)2021/11/23(火) 00:27:03.24ID:TyHvLhTG0
東條首相の算術だと 2+3=80(又は1+4=80、2+2=80)
=記号に「等質等量」の意味があるんだよ
🍎+🍊= 2個にはならない
=て結ぶ為には等質であり等量の概念に次元(観念的な意味での)を合わせなきゃいけない
つまり
🍎+🍊= はあくまで🍎1個と🍊1個でしかないが
フルーツ2個
という概念だと=で結ぶことが出来る
ちなみに=記号の由来は
「平行であり長さも同じ2直線ほど等質等量のものはないから」
という理由から
0037番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ a7c9-0EZc)2021/11/23(火) 00:58:19.97ID:mk+BQb9/0
なぜ笑うんだい?
0038番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ a705-+VBe)2021/11/23(火) 01:00:15.34ID:ID9fK4YO0
何言ってるか分からんが電気信号を分かるまで流し続けていけばいいんじゃね
0039番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ 5faf-iUmB)2021/11/23(火) 01:00:55.62ID:OtA/Mnue0
ペアノ算術や述語論理がなぜ正しいのかとも問えるから
結局どこかで線引きするしかないよねこれ
概念上の約束事とすればそれで終わるんかもしれんが
西洋だと概念、観念実在の思想があるから
概念を概念で証明しなきゃならんって要請があるのかな
0042番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW a3a2-57Er)2021/11/23(火) 09:10:01.57ID:xu130TBs0
マイナスの概念もイギリスではなかなか受け入れられなかった
実体がマイナス1個というのはありえないから