1+1=2の証明が難しいって本当?(ペアノの公理)

Поділитися
Вставка
  • Опубліковано 8 лис 2024

КОМЕНТАРІ • 4,4 тис.

  • @xxxtomo0327
    @xxxtomo0327 5 років тому +19062

    来年小学校に入学するので助かります!

    • @yobinori
      @yobinori  5 років тому +7380

      天才かよ

    • @royale78can
      @royale78can 5 років тому +940

      笑ったw

    • @npc5531
      @npc5531 5 років тому +1237

      ゆたぼんにこれを教えれば電卓もいらなくなる

    • @ふりゅーげる-h8h
      @ふりゅーげる-h8h 5 років тому +364

      吹いた

    • @たろう-o7n
      @たろう-o7n 5 років тому +860

      M T 当たり前のように漢字使ってて草

  • @machi_has
    @machi_has 5 років тому +6664

    こんなに難解なことを小一からやっていた私達は天才なんだなと思いました

    • @iru00
      @iru00 5 років тому +209

      ちま それな

    • @探偵ガリレオ-v2l
      @探偵ガリレオ-v2l 5 років тому +1409

      Sugar rusk
      全員天才ならそれは全員凡人

    • @おーとぅ
      @おーとぅ 5 років тому +665

      @@探偵ガリレオ-v2l 正論すぎて草

    • @食用お味噌汁
      @食用お味噌汁 5 років тому +98

      全ての生物をひっくるめれば恐らく我々は天才。
      ある基準において。(笑)

    • @食用お味噌汁
      @食用お味噌汁 5 років тому +94

      証明するために要した言語の証明をしなければならない。
      あれ?(笑)
      算数を理解するためには国語が必要だぞ!?
      なんつって

  • @テオーリア-p5c
    @テオーリア-p5c 4 роки тому +2552

    1+1=2が納得できなくて小学校を退学したエジソンもこの授業にはニッコリ

    • @Misa.Utsumi
      @Misa.Utsumi 4 роки тому +71

      やったぁ〜!!

    • @noir124
      @noir124 4 роки тому +616

      エジソン「理解したから小学校いってくる」

    • @juuxlb9401
      @juuxlb9401 4 роки тому +92

      アルは団子をくっつけて「1+1=1です!」と…

    • @zoomydrawing9894
      @zoomydrawing9894 4 роки тому +30

      @@juuxlb9401 泥団子

    • @user-blaaaaash
      @user-blaaaaash 4 роки тому +80

      天才エジソンが誕生しない世界線

  • @rerusan_tv
    @rerusan_tv 3 роки тому +111

    1+1が分からなかったので助かりました!

  • @背高
    @背高 4 роки тому +1366

    説明だけ聞けば分かるけどこの証明をゼロから考えた人は天才だと思う

    • @なみわし
      @なみわし 4 роки тому +21

      - Equilibrium - 公理は証明不可能では

    • @xy8066
      @xy8066 4 роки тому +17

      @@初でイク 証明できるならばそれは公理とは言いません。

    • @ねむ-e9c
      @ねむ-e9c 4 роки тому +8

      どっちにしろ、証明しなくても証明しても成り立つのが公理なので定義でしょ(適当)

    • @なみわし
      @なみわし 4 роки тому +32

      @お前が天才なのは認めるけど
      証明できるものは定理
      証明できないものは公理(定義)ですよ。
      何のために公理が存在しているかというと、定理Aを証明するためにある定理Bを用いて証明したとします。定理Bも定理Cで証明します。で、その定理Cも何らかの定理を用いて証明しないといけません。こんなことしていたら、キリがないですよね。(終わりがない)
      なので、公理(定義)が存在します。どんな定理も公理から証明できると思ったらいいです。公理はルールだとおもったらいいです。将棋やサッカーにもルールが存在しますよね。そのルール内でいろんな技が生まれてきます。それが定理だと思ったらいいです。
      あと、1+1=2は証明可能です。それは予備ノリさんが動画で出してます。

    • @ぱらはん
      @ぱらはん 4 роки тому +35

      名前のせいでみんながお前が天才なのは認めるけどって褒めてるみたいで草

  • @あきらめないひと
    @あきらめないひと 5 років тому +184

    この動画のおかげでsuccessiveが「連続する」って意味だってわかりました!

  • @1たす1は2になるらしい
    @1たす1は2になるらしい 4 роки тому +1361

    アカウント名に誓って完璧に納得した

    • @jinijiniso3272
      @jinijiniso3272 4 роки тому +118

      1たす1は2になるらしい おれはすき

    • @yayuyomon
      @yayuyomon 4 роки тому +29

      すき

    • @希望の光-t3g
      @希望の光-t3g 4 роки тому +19

      ちゅこ

    • @狐面探偵事務所
      @狐面探偵事務所 4 роки тому +24

      好きだよ(告白)

    • @miteruzo
      @miteruzo 4 роки тому +17

      ルールタイム あなたの方が引っ込むべき事に気づきましょう✨
      でも,あなたに限らず全員に引っ込んでもらいたいものです💞

  • @おさぼり-s4y
    @おさぼり-s4y 4 роки тому +152

    解説どうせわからないから
    コメ欄見て楽しんでる人は 
    俺だけじゃないはず

  • @ちゃんぽん-n8g
    @ちゃんぽん-n8g 4 роки тому +2189

    小学生:「うぐぅ...」
    小生:「うぐぐぅ...」

  • @かか-s4l2g
    @かか-s4l2g 5 років тому +3246

    来年入学する幼児は不安よな
    たくみ、動きます。

    • @SKY-85ZX
      @SKY-85ZX 5 років тому +38

      …🗿ツマンネー止めろよ

    • @事事案案-d5i
      @事事案案-d5i 5 років тому +185

      @@SKY-85ZX ....🗿ツマンネ-止めろよ

    • @スタバ-w6h
      @スタバ-w6h 5 років тому +74

      すかいぶるー 俺は好きやで

    • @いいい-u2n
      @いいい-u2n 5 років тому +58

      すかいぶるー …🗿ツマンネー止めろよ

    • @焼きたこ-u1q
      @焼きたこ-u1q 5 років тому +39

      @@SKY-85ZX 俺は好きやで

  • @細野日向
    @細野日向 4 роки тому +1796

    内容よりも、数学には国語が必要なことがわかった

    • @タルトっていいよね
      @タルトっていいよね 4 роки тому +125

      林修先生が元々数学科の人だったのに国語の先生になったっていうのはこういうことだったんだな。って思いました

    • @しょーしん-o6f
      @しょーしん-o6f 4 роки тому +54

      ???数学は計算じゃない、、、言葉だ!

    • @ポタハリ
      @ポタハリ 4 роки тому +26

      私の高校の数学教師もそのようなこと言ってました

    • @笑男-q9j
      @笑男-q9j 4 роки тому +23

      真理よそれ。 数学科の方が国語を大事にしてる。定義とかね

    • @人間モドキ-x2h
      @人間モドキ-x2h 3 роки тому +9

      @@hs-om3sc 国語とかいうレベルじゃなくて草

  • @ぴゅぴぱっぱ-x8s
    @ぴゅぴぱっぱ-x8s 3 роки тому +510

    4:00
    ??「写像?写像ってなんですか?」
    ヨビノリ「だめだこりゃ」

  • @ひさせい
    @ひさせい 5 років тому +1019

    あ、いい睡眠BGM見つけた

  • @チンアナゴくん-w4f
    @チンアナゴくん-w4f 5 років тому +2254

    数学の先生あるある、線がクソ綺麗に書ける

    • @とだくん-v8k
      @とだくん-v8k 5 років тому +97

      比例のグラフのx軸とy軸書きまくってるからじゃねぇー

    • @I_am_a_Vampire
      @I_am_a_Vampire 5 років тому +39

      @@SotoTanaka-t4o うちの場合はめっちゃ綺麗

    • @のびたドラえもん-w3n
      @のびたドラえもん-w3n 5 років тому +43

      とだくんGames 比例のグラフとかなっつ
      お前中学生じゃね

    • @アスファルトの花
      @アスファルトの花 5 років тому +32

      @ろみ ある程度の大きさの丸を綺麗にかける人はIQが高いらしい

    • @Head-of-lodrome
      @Head-of-lodrome 5 років тому +15

      楕円もうまい

  • @user-od3iu2ko8b
    @user-od3iu2ko8b 4 роки тому +1324

    0:34 口説き文句として使われることが無かったり無かったり

    • @すっしゅー-q2k
      @すっしゅー-q2k 4 роки тому +274

      SEI V 結局無くて草

    • @unknown-oc1db
      @unknown-oc1db 4 роки тому +22

      草ww

    • @タキー-z2c
      @タキー-z2c 4 роки тому +19

      草に草生やすの草www

    • @ナン-y8i
      @ナン-y8i 4 роки тому +15

      草に草生やすの草って言ってて草つけるの草ww

    • @あんこ-z7k
      @あんこ-z7k 4 роки тому +7

      草に草生やすの草って言ってて草つけるの草と言いつつ草添えるの草ww

  • @マクロ二世
    @マクロ二世 4 роки тому +81

    字体が数学教師過ぎるwwww

  • @kitiku_robot
    @kitiku_robot 5 років тому +815

    このひとのフォントが
    作られそうな字してる

  • @加藤埼玉
    @加藤埼玉 5 років тому +785

    ※中学生が興味本意で来たら何もわからず終了いたします。

  • @全知全能の猫
    @全知全能の猫 5 років тому +1865

    なぜドの次はレなのか?(ピアノの公理)

    • @royale78can
      @royale78can 5 років тому +407

      なぜミの次はソなのか(日向坂の公理)

    • @アンパンマングミ-z5c
      @アンパンマングミ-z5c 5 років тому +661

      マジレスするとドの次ばド♯やぞ

    • @全知全能の猫
      @全知全能の猫 5 років тому +129

      しもゆう あ、、、確かに。

    • @uxuj
      @uxuj 5 років тому +83

      @@全知全能の猫 音楽理論

    • @SaitoMusicOffice
      @SaitoMusicOffice 5 років тому +60

      元祖ドレミの歌を作ったグイードダレッツォさんがそう定義したからです笑

  • @日本のローマ市民-e8p
    @日本のローマ市民-e8p 3 роки тому +134

    横に並んでいるリンゴ達を合わせると2だよって教えてもらったけど、二つの粘土を合わせて混ぜるとそれはおっきくなった1つの粘土だよねって疑問に思ってた時期があった。
    定義っていうのは非常に大切

    • @バスジャックマン
      @バスジャックマン Рік тому +1

      おっきくなってる時点で元の粘土とは違うものなのにね。

    • @TheNobumitsu
      @TheNobumitsu Рік тому

      定義を厳密に考えるのは日常生活ではやめておいた方がいい、という例にも見えるが。
      定義っていうのはそんなに大切ではない。定義で解決することなどほとんどない。

    • @きーりー-c1m
      @きーりー-c1m Рік тому

      それは考えてる次元が変わるから、、、(物理脳)

    • @kyoh86
      @kyoh86 Рік тому

      1って難しい概念だよね。

    • @たか-q7h2d
      @たか-q7h2d 9 місяців тому +1

      受験生、悪いこと言わないから勉強やめな、大学院ロンダすれば超簡単に東大卒になれるけど、世間はそのことを知らないから就活でも学部からと区別されないよ

  • @royfiar7126
    @royfiar7126 5 років тому +1090

    先生の字って雑だけどうまい
    そして真似すると普通に汚い
    わかる人おる?

    • @アイススピリット-m8n
      @アイススピリット-m8n 5 років тому +10

      めっさ分かる

    • @間三
      @間三 5 років тому +14

      この人の字はふつうに見にくいだけど

    • @みやくん-q6g
      @みやくん-q6g 5 років тому +84

      @@間三 それはほんとに汚い教師と会ったことないからやで

    • @ねこがすき-e9w
      @ねこがすき-e9w 5 років тому +1

      間三 それな

    • @oni_men
      @oni_men 5 років тому +2

      でかいから見やすいんだろ(マジなレスすいまのセン)

  • @二ート-o5j
    @二ート-o5j 5 років тому +1663

    エジソン「粘土合わせたら1個やん」

    • @食用お味噌汁
      @食用お味噌汁 5 років тому +453

      物質量が倍になるんだなこれが

    • @食用お味噌汁
      @食用お味噌汁 5 років тому +422

      エジソンは個という単位の定義に曖昧さを見出だしたのかもしれない

    • @食用お味噌汁
      @食用お味噌汁 5 років тому +121

      例えば人間が卵子と精子から受精し成長するまでのプロセスにおいて一個から一人へ変化、そしてそこに組み込まれる物質は母体や呼吸、経口摂取、新陳代謝、排泄等によって常に増減し入れ替わる。

    • @食用お味噌汁
      @食用お味噌汁 5 років тому +109

      つまり精子卵子共に一個、
      足しても受精卵一個なのだ。

    • @二ート-o5j
      @二ート-o5j 5 років тому +118

      食用お味噌汁 物質量は2倍なのに、リンゴと同様に2個にはならない。何にでも当てはまる1+1=2であるという定義を疑ったんでしょうね。確か小学生の頃のエピソードでしたので。

  • @mimizu1008
    @mimizu1008 5 років тому +793

    小学校で問題出されてこれ黒板に書き始めたら先生目ん玉飛んでそう

    • @user-dm7ux6kr3k
      @user-dm7ux6kr3k 5 років тому +96

      先生「今日で先生辞めるわ」

    • @齋藤優紀-q8k
      @齋藤優紀-q8k 5 років тому +41

      翌日から小1生徒は自習して飛び級する義務教育となりましたとさ。

    • @4eity
      @4eity 5 років тому +18

      先生「なんか…ごめん」

    • @mimizu1008
      @mimizu1008 5 років тому

      200👍ないす

    • @user-uf5mu9so2i
      @user-uf5mu9so2i 4 роки тому +20

      先生「この子は…これからの地球を背負う子だ…」

  • @nihonnoshasoukara
    @nihonnoshasoukara 3 роки тому +23

    ペアノの公理ってずっと気になってたのでこうして学ぶことができて嬉しいです。ありがとうございます。

  • @かばね-p4t
    @かばね-p4t 5 років тому +1280

    ペアノって人に1+1は3とか言ったら助走つけて殴ってきそう

    • @孫悟空-v1p
      @孫悟空-v1p 5 років тому +74

      ヴぁかもおおおおおん

    • @オート参考動画
      @オート参考動画 5 років тому +38

      無職の錬金術師 ??「かなり恐怖を感じたい」

    • @ブラキディオス-r1v
      @ブラキディオス-r1v 4 роки тому +93

      小1「ヘヘッ!これでいい?」
      ぺアノ「このクサレ脳ミソがっっーー!!」

    • @gurenma3167
      @gurenma3167 4 роки тому +24

      ブラキディオス 16×55が28になるボラボラ

    • @Hisui_Semi
      @Hisui_Semi 4 роки тому +8

      無職の錬金術師 間にフロントガラス挟んどいたら怖くないぞ!

  • @oo-je5hv
    @oo-je5hv 5 років тому +416

    コメント欄が知的な大喜利状態で草

  • @よしぴぃ-l7r
    @よしぴぃ-l7r 4 роки тому +79

    1+1について18分も解説することがすごいと思う()

  • @さく-r7o
    @さく-r7o 4 роки тому +41

    0:35 なかったりなかったり笑笑
    こういうとこ好き笑

  • @とにかくヨシ-p9u
    @とにかくヨシ-p9u 5 років тому +165

    早送りのときの「カカカカッカッカッ」って音が好き

  • @koko-by1bb
    @koko-by1bb 4 роки тому +169

    実は数学で最も大事なことは 定義 だったりする。
    数学得意な人はちゃんと定義を理解してる。

  • @obi-wenqualto2494
    @obi-wenqualto2494 5 років тому +401

    また中2心がくすぐられてしまったwww
    たくみ先生も中2心丸出しwww

    • @yobinori
      @yobinori  5 років тому +74

      おいこら

    • @James-xp2tu
      @James-xp2tu 5 років тому +9

      編集したのに中二にしないのか笑

    • @ああああ-n2s6k
      @ああああ-n2s6k 5 років тому +12

      厨二じゃないのか

    • @James-xp2tu
      @James-xp2tu 5 років тому +3

      @@ああああ-n2s6k 厨二でも中二でもええんやで

    • @zero-tt1zq
      @zero-tt1zq 5 років тому +1

      Obi-Wen Qualto 言うほど厨二か?

  • @mimizu1008
    @mimizu1008 4 роки тому +448

    生徒A 「1+1が分かりません!」
    先生 「では、教えてあげます!自然数の定義は~
    生徒A (みんな、これが分かるのか。 すごいな)

    • @くれは-t2u
      @くれは-t2u 4 роки тому +23

      自然数すら理解できなそう

    • @nnn._.
      @nnn._. 4 роки тому +9

      くれは 小学生はわからんかもな

    • @okome8407
      @okome8407 4 роки тому +15

      小一の時点で教師に質問するくらい意欲のある数学者の鑑

  • @Ayataka_nomitai4
    @Ayataka_nomitai4 5 років тому +546

    1:27「算」の下くっそ伸びてて草生えた

  • @ハトムギ化粧水-r4u
    @ハトムギ化粧水-r4u 5 років тому +811

    まぁ結局何が言いたいかって言うと
    1+1=2やけど1+1=2なわけで
    1+1=2になるけど1+1=2なんだよねって事よね
    例外で1+1=2になることもあるけど
    1+1=2ですよって言う証明よね要するに

  • @User-Y01106
    @User-Y01106 5 років тому +445

    もう1+1を無邪気な目で見れない

    • @ぞのぉ-i8y
      @ぞのぉ-i8y 5 років тому +101

      Akizuki
      1️⃣⑴1+1の答えを書きましょう。
      「こんなの簡単じゃん!いや待てよ...まさかこの次の問題は...」
      ⑵ ⑴の答えが成り立つことを証明せよ。
      「ギャーーーーーーー!!!!!」

    • @佐藤将紀-y7i
      @佐藤将紀-y7i 5 років тому +13

      今まで無邪気な目で見てたんだねw

    • @らっこ-h7y
      @らっこ-h7y 5 років тому +37

      ぷる ぷる 1+1 ヽ(*⌒,_ゝ⌒*)ノ キャッキャ

    • @renmeri
      @renmeri 5 років тому +9

      EXT4ENDER なにそれ可愛い

    • @sky-rx1of
      @sky-rx1of 5 років тому +7

      ステルスゾロ
      (1),(2)両解で100点

  • @kataoka-tamako
    @kataoka-tamako 4 роки тому +555

    そして僕は、算数をやめた…

    • @実験用-y8v
      @実験用-y8v 4 роки тому +64

      だから僕は算数をやめた

    • @さファミリー
      @さファミリー 4 роки тому +36

      やっておきたい英語長文700 やめんのは音楽だけにして

    • @madyoutuber2322
      @madyoutuber2322 4 роки тому +7

      アンタどこにでもいるなw

    • @nnn._.
      @nnn._. 4 роки тому +1

      制服学ランチャンネル【ステチルmad系UA-camr】 それ

    • @ぼのぼの-q1r
      @ぼのぼの-q1r 4 роки тому +4

      ジョジョー! 俺は算数を辞めるぞー!!

  • @湯-z4q
    @湯-z4q 4 роки тому +57

    1+1=2を定義しているのではなく、1と+と2を定義してるのだと思う。

  • @グーグルで急に席が削除された201

    これでやっと、現時点放送中のプリキュアのEDテーマの疑問に対して回答が用意できるようになりました。

    • @kurotama_tokusatu
      @kurotama_tokusatu 4 роки тому +4

      ついでにパパとママは説明ができない

  • @バスケと星
    @バスケと星 5 років тому +62

    定期考査2日前に範囲外の『1+1=2』の証明見て感動してる。
    高一の自分は定義された1+1=2を使った問題を解くことに集中したいと思います。
    気になってたけど知らなかったことが、
    難しいけどすごくおもしろかったです!

  • @11cm52
    @11cm52 4 роки тому +21

    先生が1+1は何ですか?って問題出したらこれを書きたいと思います!

  • @ずんだ-z9z
    @ずんだ-z9z 4 роки тому +190

    0:27 無いんかいwww

  • @うめうめ-n4r
    @うめうめ-n4r 5 років тому +384

    字のクセがすごい

    • @Bordeaux_Buka
      @Bordeaux_Buka 5 років тому +76


      |
      こうなってる

    • @foo_fighters24
      @foo_fighters24 5 років тому +12

      @@Bordeaux_Buka 意味不明で草

    • @Bordeaux_Buka
      @Bordeaux_Buka 5 років тому +50

      1:29見てくれれば分かるかと

    • @テレシア-m2f
      @テレシア-m2f 5 років тому +22

      @@Bordeaux_Buka 伝えたいことは分かる。

    • @foo_fighters24
      @foo_fighters24 5 років тому +16

      @@Bordeaux_Buka いみ理解できたごめんなちゃい

  • @shirurulu_2943
    @shirurulu_2943 5 років тому +590

    ”やっとさんすうわかった” 男性(21)

    • @たきこみごはん-r7n
      @たきこみごはん-r7n 5 років тому +45

      いいや、確かに1+1=2は算数だ。
      だが、「1+1」=「2」は数学だ。(知らんけど)

    • @やま-e9m
      @やま-e9m 5 років тому +35

      もはや哲学だよね

    • @いいい-u2n
      @いいい-u2n 5 років тому +14

      数学は哲学だったのか
      だから難しいんだな←

    • @ヤングなチャンネル
      @ヤングなチャンネル 5 років тому +3

      数学者兼哲学者である人は多いからね

    • @hutoi_hito
      @hutoi_hito 5 років тому +15

      哲学の最初は微積から入るってマジ?

  • @jemsmizushima845
    @jemsmizushima845 Рік тому +8

    とても難解そうな問題でも、この様に分かりやすく通解できる事が素晴らしく感じます。

  • @Luke_addiction
    @Luke_addiction 5 років тому +406

    数学ってある段階から哲学になるよね

    • @ハミ-l7g
      @ハミ-l7g 4 роки тому +9

      数学は心理を見抜く力って数学に先生が言ってた

    • @れいぼんへの愛がすごい
      @れいぼんへの愛がすごい 4 роки тому

      @?? どっちを馬鹿にしてんの?

    • @user-su5lu5jd4o
      @user-su5lu5jd4o 4 роки тому +22

      数学は哲学とは完全に分離している。
      数学が哲学にはならないし哲学も数学にならない。
      あくまでそのように「感じる」だけ。

    • @なんだこれは-x9c
      @なんだこれは-x9c 4 роки тому +5

      人間の思考だから、自然現象を見る上でどうしても相関性は出てくるよ。
      物理の慣性力、相対理論の出現によって、哲学界では相対的な見方が広がったし

    • @なんだこれは-x9c
      @なんだこれは-x9c 4 роки тому

      ??
      総意で、"人間が作り出した、なるべく人間の主観に依存させないようにした学問"でいいんでねえかい

  • @yuki0074
    @yuki0074 4 роки тому +838

    あ、顔の円周率測られてた人だ

    • @あんこ-s8l2c
      @あんこ-s8l2c 4 роки тому +29

      Yuki 007 自分で計算してた人でもありますねw

    • @user-3fju4x5sm1
      @user-3fju4x5sm1 4 роки тому +64

      あ、3.17だ

    • @mithudesu
      @mithudesu 4 роки тому +2

      Yoshi その呼び方はおもろいw

    • @tobao08
      @tobao08 4 роки тому +11

      @CONVERSEしか履かない. 丸いです(断言)

  • @go-ya7702
    @go-ya7702 5 років тому +562

    すべての自然数aに対して
    a+ボケ=a
    を満たすとき、このボケを「ファボゼロのボケ」という。
    特に
    a+ボケ=0
    を満たすボケを「ヨビノリのボケ」という。

    • @どうも僕です-u2d
      @どうも僕です-u2d 5 років тому +15

      Go- Ya
      いや草

    • @itohen1613
      @itohen1613 5 років тому +3

      Tôi học tiếng Việt. Tôi là người Nhật Bản. Tôi sổng ở Nhật Bản. Sân si cùng Amy.

    • @ぶんぶんがんがん
      @ぶんぶんがんがん 5 років тому +8

      最初、何かと思った。 新しい定義か? 
      しかし、腹痛かった。www

    • @_harusame6005
      @_harusame6005 5 років тому +18

      Go- Ya またアホな天才が1人現れた

    • @themrpsychodragon
      @themrpsychodragon 5 років тому +13

      整数の逆元と化したヨビノリのボケ

  • @bakushi_k
    @bakushi_k 4 роки тому +58

    これを小学一年生で習うという恐ろしさ

  • @ああ-w2s9y
    @ああ-w2s9y 5 років тому +111

    0:35なかったりなかったりするんですね。笑

  • @kbore21
    @kbore21 5 років тому +150

    1+1=2の証明というよりは、1+1=2が成り立つように自然数1や自然数2と記号+の定義をするには、どのように定義してやればいいのかという感じかな

    • @_-4396
      @_-4396 5 років тому +1

      これやね

    • @teissyu
      @teissyu 5 років тому

      k bore これやな!1+1=2の証明だったら1+1=2これで終わりだもんね

    • @spiralroyal2556
      @spiralroyal2556 5 років тому +14

      この証明には2進法以上であることも条件に入れなくてはいけないのでは?
      2進法では1+1=10だし。
      succ(a)がユニークな数字であるうちしか成り立たないと思う。
      さらに2進法なら1+1=10となるが0と10が違う数字であることも定義または証明しないといけないと思う。
      どちらも0が構成要素の記号として含まれている。
      このどちらも0を構成要素とする2つの数字が違うことが証明できなければ
      0よりも前の数字があることにならないか。

    • @たけいゆ
      @たけいゆ 5 років тому

      spiral royal たしかに

    • @spiralroyal2556
      @spiralroyal2556 5 років тому

      @@たけいゆ これ、数字の周回を改めて繰り上げる定義になると思うけど、昨今叫ばれだした昭和100年問題なんかともリンクしてくると思う。
      あれは昭和をベースに2桁までしか定義してないからそこから昭和100年と昭和0年との区別がつかないから起こるリスクの警鐘である。ミレニアム問題も同じようなものだけど同じように数字を繰り上げるなら別物であることを別途定義に入れないとnamespaceのある限りのユニークな記号の範囲内での繰り上げのないn進法でしか再現性は見いだせない。

  • @t1o0m688
    @t1o0m688 5 років тому +567

    明日、学校で友達に「1+1=2を証明して」って言って
    「え、わからないの?しょうがないな、証明してやるよ」って言うけど
    途中の定義を忘れて証明できなくて「お前もできないじゃん」って言われる学生が多発しそう…。

    • @氷鹿印のミルクコーヒー
      @氷鹿印のミルクコーヒー 5 років тому +9

      あるある

    • @t1o0m688
      @t1o0m688 5 років тому +37

      @まるりょうと やっぱりいたか。
      ちゃんと涙とうんこ拭いとけよ!

    • @アオン-c8v
      @アオン-c8v 5 років тому +16

      俺はいきって証明したが友達にそのあとπが無理数の証明されてうんこ拭きにいったわ

    • @amachamacchama
      @amachamacchama 5 років тому +5

      To K いや脱糞マニアに優しいなぁ

    • @たかしたかし-d4z
      @たかしたかし-d4z 5 років тому +3

      間違えて初めて見につく

  • @individual919
    @individual919 4 роки тому +200

    「あ」の次はなんで「い」なの?
    「1」の次はなんで「2」なの?
    「A」の次はなんで「B」なの?
    26歳父親、8歳の娘の疑問に答えられませんでした。
    助けてください。

  • @kataoka-tamako
    @kataoka-tamako 5 років тому +207

    小学校って、すげえな。

    • @とだくん-v8k
      @とだくん-v8k 5 років тому +5

      これまで小学校馬鹿にしてた
      もう卒業しちゃった...

  • @牛乳-o7l
    @牛乳-o7l 5 років тому +29

    最初「なんだこのネタ動画w」
    視聴中「え…ガチじゃん…ガチのやつじゃん…」

  • @2taiLZRsoM
    @2taiLZRsoM 4 роки тому +23

    おもしろい…
    ペアノさんは自然数をプログラミングしたってことか

    • @三丁目の田中-p5d
      @三丁目の田中-p5d 4 роки тому +1

      確かに定義でがんじがらめにして求めている動きしかさせないのは、プログラミングと同じですね

  • @放銃雀士
    @放銃雀士 4 роки тому +296

    俺「1+1=2の証明…ねぇ…」
    動画視聴開始から7分後
    俺「す、数学的帰納法……?」
    数分後…
    俺 ( ᐛ)<バナナ

    • @takuu9214
      @takuu9214 3 роки тому +3

      🍈 ☜-( ∵ ) それリンゴだよ

    • @鳩-p4b
      @鳩-p4b 3 роки тому +1

      🍇りんごでは、、、?

    • @51s42n._.r
      @51s42n._.r Рік тому

      🍍これがイチゴです

  • @やんしん教育研究所
    @やんしん教育研究所 5 років тому +41

    公理を楽しく教えられるの、すごい。

  • @ミルコ-o6h
    @ミルコ-o6h 5 років тому +14

    大学数学は哲学と言われるのがよくわかる授業

  • @orx-0053
    @orx-0053 4 роки тому +94

    UA-camの広告になってて草

  • @田中田中-u6j
    @田中田中-u6j 4 роки тому +209

    こんなのサル・エル論法で一発です

  • @tmhood
    @tmhood 4 роки тому +130

    実は証明が簡単です。難しいのは「1」、「2」、「+」の定義です。

    • @林敏雄-f8y
      @林敏雄-f8y 4 роки тому +26

      1と2の単位が杯かリットルか個数か重さかを明確にしないと
      アインシュタイン「ミルク1杯に1杯足しても1杯ジャン!

    • @ハンバーガー花子
      @ハンバーガー花子 4 роки тому

      そういうのって概念じゃないの?

    • @ヴィエイラ
      @ヴィエイラ 4 роки тому +5

      ・ゲッコーモリア 概念として捉えたら簡単だけど、証明として扱うのは難しいってことなんだろね。一般的に、証明すること(今回でいう1と+と2)を、証明に使っちゃいけないから。

    • @まりも-f5d
      @まりも-f5d 4 роки тому

      ああ エジソンっすね

    • @あいうえ-n3r
      @あいうえ-n3r 4 роки тому

      林敏雄 ベクトルと同じで、単位が同じであれば、どれでもいいんじゃない?

  • @竹千雄
    @竹千雄 4 роки тому +20

    「りっしんべん」長っ!と思ったら基本縦棒全部長かった

  • @プロテイン代は経費で落とせ

    3:23
    「自然数に対して知らないフリをします」
    なんかハッとした。
    そうだよな、わからないから証明するんだもんな。
    なんか上手く説明できないけど、こういう、世界を根本から構成しようとする数学の世界観ほんま好き。
    世界は数字でできている。

    • @024racchery2
      @024racchery2 4 роки тому

      恋〜

    • @awizcd6472
      @awizcd6472 4 роки тому +5

      数学は人間の作った言葉のひとつ。人間の作った言葉で世界はできていない。

  • @JohnDoe-nd5ih
    @JohnDoe-nd5ih 4 роки тому +195

    高校のとき昼休みにこの証明を
    やってる奴がいて
    「ワイ入る高校間違えたかな?」
    と考えたおもひで

  • @たいち-q4y
    @たいち-q4y 4 роки тому +15

    この人の字めっちゃ好きだわ

  • @maih.4926
    @maih.4926 4 роки тому +11

    小学校の時の先生が知り合いに1+1の証明を大学の卒論にしたっていう数学科の人がいるって話してたの何故か10年くらい経ったのにずっと覚えてる

  • @28dot6
    @28dot6 5 років тому +44

    ペアノの公理って中高生でも理解できる議論で進めてるけど何故か異常に高難度視されてる部分あると思う

    • @みかん-p2e8l
      @みかん-p2e8l 5 років тому +1

      そもそも論、0が自然数に含まれるっていう時点で中高生向けじゃないし、ペアノの公理は専門分野で使うことが多い。

    • @28dot6
      @28dot6 5 років тому +1

      @@みかん-p2e8l 理解するだけの話で実際にどう使うかの部分はまあ…

    • @たかしたかし-d4z
      @たかしたかし-d4z 5 років тому

      @@みかん-p2e8l
      文嫁

    • @みかん-p2e8l
      @みかん-p2e8l 5 років тому

      たかしたかし 理嫁

  • @おちゃずけパスタ
    @おちゃずけパスタ 3 роки тому +10

    もう最小元の小の一画目がインテグラルなのよ

  • @kenny_saito
    @kenny_saito 4 роки тому +23

    ああ、sucを使えば、1の定義、2の定義⋯とか必要なく、数を表すのに何の文字使っても、二進法でも16進法でも何でも網羅できるわけか。

  • @Rr-qi3tj
    @Rr-qi3tj 5 років тому +126

    2:00の算の字伸ばしすぎやろww

    • @あまね-y3h
      @あまね-y3h 4 роки тому +5

      かっこよくて良い感じ

    • @user-us3kk8dk1q
      @user-us3kk8dk1q 4 роки тому

      もやしやん

    • @hanyan.929
      @hanyan.929 4 роки тому +2

      4、50代くらいになると頭部から生えてくるやつやん

    • @あまね-y3h
      @あまね-y3h 4 роки тому

      ピカチュウ 波平w

  • @たごまる
    @たごまる 4 роки тому +24

    1+1が2じゃないとかいう友達がいたので助かりました!

  • @asnitun
    @asnitun 4 роки тому +55

    「1浪だから1年足すと2浪か...」
    「でーじょーぶ!浪と年が同じ次元かは君次第さ!」

  • @user-user-diffuser
    @user-user-diffuser 5 років тому +8

    コメント1000以上も来てるのに未だにハート付けたり返信したりしてるのすごい

  • @yellowmx135
    @yellowmx135 4 роки тому +242

    素人からすると、1+1=2は定義なのでは?って思っちゃう

    • @oukaneki9768
      @oukaneki9768 4 роки тому +39

      多分1+1=2になるように自然数を厳格に定義していったと俺は思うけど

    • @アッチー-k1m
      @アッチー-k1m 4 роки тому +40

      つまり、1+1=2という定義を定義であるようにするために1+1=2というものをしっかりしたものにしなければならなくて、泥団子2個を合わせて一個ではないか。と言った某有名ジソンが反論できないようにしっかりとしなければならないと言うことである。つまり、素人だからわからん。

    • @kyoto_konoyarou
      @kyoto_konoyarou 4 роки тому +13

      定義を定義した言葉の定義もしなければ‥‥‥

    • @ぱわふる-e6z
      @ぱわふる-e6z 4 роки тому +8

      1+1=2と定義したところで何も意味がない。1+2は?2+1は?と聞かれても答えることができない。なぜなら定義されてないから。

    • @ボルケーノ木下
      @ボルケーノ木下 4 роки тому

      自然数の加法を定義してくださったと思います!
      みなさんがしっくりきてないのはsuc(a)の定義の説明が少ないところかなと思います。

  • @kororione
    @kororione 3 роки тому +8

    1+1=2をここまで言葉を駆使して説明されることに、ものすごく気持ちいい!と感じた私は、文系頭なんだなあと。(笑)
    知らない世界を知ってる言葉で垣間見させていただいて、大興奮でした。ありがとうございました。板書の美しさも最高でした。

  • @まさふじ-y7t
    @まさふじ-y7t 2 роки тому +3

    数学的帰納法に対応する公理5が浮いている気がしましたが、次の図形での説明が分かりやすかったので、そこから類推できました。要は、0から始まる系列とは独立した偽自然数の系列が同時に存在しないことを保証するということですね。

  • @badcat_7789
    @badcat_7789 4 роки тому +17

    数学ガールという本で読んだことを思い出します。その時も感動したなぁ。この隙のない感じがたまらない

  • @赤さん-d5u
    @赤さん-d5u 4 роки тому +9

    この人、教え方めっちゃ上手だね

  • @TK-nf9hk
    @TK-nf9hk 5 років тому +167

    ・1+1=2の証明
    ↑これフジテレビのマークみたいw

    • @元太-h7f
      @元太-h7f 5 років тому +6

      4869 -221B どういうこと?誰か教えて

    • @_sasami
      @_sasami 5 років тому +21

      げげ くるくるちょんちょんちょんがフジテレビのマークみたいに見える

    • @なまえ-f7x
      @なまえ-f7x 5 років тому +25

      げげ
      板書の「1+1=2の証明」の左の記号がフジテレビのロゴマークに似ているということ

    • @元太-h7f
      @元太-h7f 5 років тому +14

      @@なまえ-f7x 最初の変なマークですね!私はそれを理解した

    • @royale78can
      @royale78can 5 років тому +15

      0:00

  • @ichigoitigo-production
    @ichigoitigo-production 3 роки тому +15

    加齢すると数学が好きになるを実感

  • @meg3892
    @meg3892 5 років тому +6

    感覚的に自明なものを証明されると「そうなるようにこじつけたのでは?」みたいな感覚になりますね
    間違っていることは無いでしょうが天動説の時代の離心円、周転円説みたいな感じでムズムズします

    • @acevif
      @acevif 5 років тому +1

      Meg 38 既存の定理と整合性をとるので、どうしてもこじつけ感が出てきます。
      ちなみに、既存の定理を証明するためにはどのような公理を「こじつける」必要があるかを考える数学の分野「逆数学」というのがあるそうです。

    • @meg3892
      @meg3892 5 років тому +1

      acevif なるほど…そういう事態のために定義に関する学問も登場してくるのですね、非常に興味深いです

  • @nijisuzu
    @nijisuzu 4 роки тому +191

    ふむふむ、1+1の証明は…
    〜動画視聴〜
    少なくとも19分程掛かる…と。

    • @hobbyalone3390
      @hobbyalone3390 4 роки тому +23

      丸九たまねぎ 60分制限のテストの問1で出てきたら飛ばす…と
      失礼しました。

  • @kima0203
    @kima0203 4 роки тому +5

    この人が書く漢字はとても美しい

  • @sin-qn4pd
    @sin-qn4pd 6 годин тому

    勉強になりました。定義を共有しないと話が嚙み合わないことが理解できました。

  • @さんさん-x7r
    @さんさん-x7r 4 роки тому +3

    エジソンは小学生の時1 +1=2が理解できなかったらしいけど、これを導いて納得したのかも

  • @kazushimoriyama1785
    @kazushimoriyama1785 5 років тому +13

    テスト前にこんなもん見たせいでなんもわからんくなったww

  • @そあ-v7c
    @そあ-v7c 5 років тому +8

    とても感心したので高評価1+1回押しました!

    • @第一回
      @第一回 5 років тому +4

      高評価ボタンは二進法らしい

    • @YasumasaNakagawa
      @YasumasaNakagawa 5 років тому +1

      それキャンセルされとるw

  • @user-HPB.v
    @user-HPB.v 3 роки тому +1

    中2です。凄い「あーなるほどな」って思いました。
    やっぱ数学って面白いですね‼

  • @karasunomiya
    @karasunomiya 5 років тому +38

    最後の[卒業]は尾崎豊がピアノを引いてるからピアノの公理ということで
    尾崎豊の[卒業]が音楽シーンの新たな始まり=公理になった曲ということですかわかりました
    ボケが今回は激エモですね!
    エモすぎて思わずテトラちゃーん!と叫んじゃいました
    ということで今回のボケは
    ファボ100!テトラちゃーん!!

    • @yobinori
      @yobinori  5 років тому +11

      ファボ2万の解説すんな

    • @わけ-b8t
      @わけ-b8t 5 років тому +2

      なんかよく分からんけど尾崎ファンのワイ、歓喜

  • @Koke_King_
    @Koke_King_ 5 років тому +18

    1を定義するのがくそ難しい

  • @YouTubeAIYAIYAI
    @YouTubeAIYAIYAI 5 років тому +6

    当たり前のこととして、普段は考えもしないことを、真面目に学べて脳を洗浄出来ました⭕️🙏

  • @さくらいいつき-t6w
    @さくらいいつき-t6w 4 роки тому +27

    楷書じゃない綺麗な字むっちゃ好き

  • @ばばねこ-h1l
    @ばばねこ-h1l 5 років тому +23

    言葉の説明がとてもわかりやすいヨビノリさんだったら位相どういう授業するのか気になるなぁ

  • @寅之助薬師丸
    @寅之助薬師丸 5 років тому +68

    高校の先生が合っていることの証明の方が難しいって言ってたけど本当だった。

    • @a12jpwgj2ja28
      @a12jpwgj2ja28 5 років тому +11

      間違っていることには原因があるからそこを指摘すればいいけど、あってる場合はそこからさらに踏み込んだ知識を指摘しないといけないからなw

    • @nao-nm5it
      @nao-nm5it 5 років тому

      顔 気持ち悪い

    • @-grenhigu7468
      @-grenhigu7468 5 років тому +2

      @@nao-nm5it 詳しくは「ブンジン」で検索してみよう!

    • @海月の落花生
      @海月の落花生 5 років тому

      nao は?ブンジンバカにすんなよ

  • @yuyakecoffee1970
    @yuyakecoffee1970 5 років тому +105

    演習1 この議論を整数に拡張しなさい
    演習2 この議論を有理数に拡張しなさい
    演習3 この議論を実数に拡張しなさい

    • @rkPixie
      @rkPixie 5 років тому +16

      問3の例外地獄ときいて

    • @unea1116
      @unea1116 5 років тому +11

      3だけ間開けられてて草
      非可算やんけ

    • @user-xe3yk9xu9z
      @user-xe3yk9xu9z 5 років тому +2

      おに

    • @ハル-f4e
      @ハル-f4e 5 років тому +10

      演習4 この議論を複素数に拡張しなさい

    • @GODORA_
      @GODORA_ 5 років тому +2

      @@ハル-f4e やめれ…

  • @3kan-7e5
    @3kan-7e5 4 роки тому +1

    なるほど、難しいって言われたのってルールとして説明すると帰って難しくなるからなんですね。

  • @ぷゅあほわいと
    @ぷゅあほわいと 5 років тому +10

    関数型言語の再帰代数的データ型を見ているようで面白かった!

  • @ramen-sukisuki
    @ramen-sukisuki 5 років тому +7

    数学ってこういうは面白いけど学校の授業になるとめんどくさくなるよね

  • @かっくん-m1c
    @かっくん-m1c 4 роки тому +63

    先生!
    緑の黒板に青い文字書かれると後ろの席から見えません…

  • @azarashinijiryu
    @azarashinijiryu 2 роки тому +1

    ペアノの公理による証明では、最後の計算は、実質的には、(0の次)+(0の次)={(0の次)+0}の次=(0の次)の次=(1の次)=2、で最初の辺が1+1だから、となるのですね。
    ここまで詳しくは、はじめて知りました。ありがとうございます!