不思議.net

怖い話・オカルトまとめブログ

アクセスランキング(5日間)
    本日のおすすめニュース
    本日のおすすめニュース一覧
    30

    数学の雑学・小ネタで打線組んだ



    531a997e


    1: 名無しさん@おーぷん 20/10/23(金)19:15:24 ID:ToV
    ワイの独断と偏見で「面白い」「重要だ」「感動した」と思ったネタを選んだで

    1(右) 四色定理
    2(三) ハムサンドイッチの定理
    3(二) 1+2+3+4+....=-1/12
    4(一) モンティ・ホール問題
    5(遊) 大数の法則
    6(中) 巡回セールスマン問題
    7(左) 二人零和有限確定完全情報ゲーム
    8(指) ラムゼーの定理の系
    9(捕) フェルマーの最終定理
    先発 バナッハ・タルスキーのパラドックス
    中継 ヒルベルトの無限ホテル
    抑え ラッセルのパラドックス
    監督 ゲーデルの不完全性定理

    引用元: https://hayabusa.open2ch.net/test/read.cgi/livejupiter/1603448124/





    4: 名無しさん@おーぷん 20/10/23(金)19:16:44 ID:8YJ
    いいね👍 応援するで

    5: 名無しさん@おーぷん 20/10/23(金)19:17:08 ID:ToV
    数学を専門としていない人にもわりと理解しやすいようなネタを一応選んだつもりや

    7: 名無しさん@おーぷん 20/10/23(金)19:18:11 ID:ToV
    ほんじゃ、順に解説していくで

    1(右) 四色定理

    「平面上のどんな地図も4色以下の色で塗り分けることができる」という定理や
    ここで言う「塗り分ける」っちゅうんは「隣り合う領域同士が必ず違う色で塗られる」って意味やな
    昔から地図製作者の間では経験則として知られてたらしい(どんな国境線の地図でも必ず4色以下で塗り分けられた)が、
    数学的に証明することができなくて長い間「未解決問題」扱いされてたんや
    1976年にようやく証明されたんやけどその証明方法は「コンピューターで全パターンを調べる」という力技すぎる方法だったから、
    「美しくない」「汚い」証明だとして嫌う人もおるな
    でも、コンピューター使わない美しい証明方法はいまだ見つかってないのが現状や
    定理の内容も分かりやすいし、証明方法が力技すぎて面白いのでワイのお気に入りのエピソードや

    ちなみにこの定理の主張をより弱くした「五色定理」(どんな地図も5色以下で塗り分け可能)は人間の手で証明可能や
    気になる人は五色定理の証明も調べてみてくれや。グラフ理論の言葉さえ知ってたらそんなに追うのが難しい証明ではないで。

    12: 名無しさん@おーぷん 20/10/23(金)19:21:35 ID:76u
    ラマヌジャンとか好きそうw

    16: 名無しさん@おーぷん 20/10/23(金)19:23:03 ID:ToV
    2(三) ハムサンドイッチの定理

    名前がまず面白い定理やな。定理の主張の内容も面白いで
    「ハム1枚とパン2枚からなるサンドイッチをたった1回のナイフカットでハムやパンそれぞれの体積を半分にできる」という定理や
    これはハムやパンがどんな歪な形をしていても必ず成り立つんやで
    数学的にもうちょい厳密に言うと
    「3個の物体が3次元空間にあるとき、この全ての物体をそれぞれ等分するような平面が必ず存在する」
    というふうに言い表せるな

    これは3次元に限らず任意の次元(2次元なら2個の物体、4次元なら4個の物体になる)で同じようなのが成り立つで
    特に2次元の場合は「パンケーキの定理」(2個のパンケーキを同時に等分する直線が必ず存在する)っていうこれまた面白い名前がついとる
    証明は一般次元の場合やと結構難しいけど、2次元や3次元だけに限った証明ならばギリギリ高校数学の範囲でできなくはないで
    興味ある人は挑戦してみてもええかもしれんな

    26: 名無しさん@おーぷん 20/10/23(金)19:30:43 ID:ToV
    3(二) 1+2+3+4+....=-1/12

    この式を見ると多くの人は「は?間違ってるやろ」って言いたくなると思うんやが、
    実はある分野においては「成り立つ」と言えなくもない式なんや
    複素数(虚数を含んだ世界のことや)での「ゼータ関数」という関数に「解析接続」という手法を適用するとこの式が得られるんや
    もちろん、一般的には上の式は普通に間違いやで。1+2+3+...なんてやったら普通は無限大になる
    でも、「複素解析」という分野においては間違いとも言い切れない、という何とも不思議な式なんやなあ


    ちなみにこの等式を発見したのはあの有名なインドの天才数学者ラマヌジャンやで
    さらに言えば、このゼータ関数は有名なリーマン予想にも出てくる関数や
    そういう点でも応用範囲が広くて面白い話やで

    34: 名無しさん@おーぷん 20/10/23(金)19:37:04 ID:ToV
    4(一) モンティ・ホール問題

    超有名な確率の問題やな

    「3つのドアがあり、1つのドアが当たりで他2つのドアは外れだとする。
    あなたが当たりだと思うドアを1つ選んだ後、司会のモンティが残りのドアのうち1つを選んで開けてそのドアが外れだと教える。
    ここであなたは、最初に選んだドアを、残っている開けられてないドアに変更してもよいと言われる。
    あなたはドアを変更すべきだろうか?」

    という問題やな。一見すると、変更してもしなくても当たる確率は同じに思えるやろうけど、
    実は変更した方が当たる確率は高くなる(変更しないと1/3、変更すると2/3の確率になる)から「変更すべき」が正解になるんや
    これが多くの人の直観に反するからか、とても不思議な確率論の問題として有名になったんやなあ

    ちなみに、変更した方が良い数学的理由については色んな説明の方法があるけど(ネットでググるとたくさん見つかるで)、
    「ベイズの定理」っていうのを使うと機械的に手計算するだけで証明できるで
    このスレで他の人が「計算で求める方法」ってのはこのことやな
    ワイはこの方法が一番好きや。あんまり複雑なこと考えずに機械的に証明できるからな

    45: 名無しさん@おーぷん 20/10/23(金)19:45:44 ID:xN2
    >>34
    これ直感的にも変更したほうが確率高くなりそうって感じたのワイだけ?普通やない?

    51: 名無しさん@おーぷん 20/10/23(金)19:49:36 ID:ToV
    >>45
    そう思えるってことは君の直観は数学のそれに一致してるってことやから凄いことやと思うで

    46: 名無しさん@おーぷん 20/10/23(金)19:46:52 ID:Ock
    >>34
    めちゃめちゃiqが高い人が1万個くらいの扉がハズレっていうのと本質的に同じって言ったんやなかったっけ?

    63: 名無しさん@おーぷん 20/10/23(金)20:01:21 ID:ToV
    >>46
    せやせや
    扉の数が3個だと直感に反するように感じるけど、扉の数が増えると直感通りだと感じる人も多いらしいな
    この辺りは数学というよりは人間の感覚の不思議さやと思うわ

    35: 名無しさん@おーぷん 20/10/23(金)19:37:54 ID:CiZ
    複素解析ってなんや?

    37: 名無しさん@おーぷん 20/10/23(金)19:40:13 ID:ToV
    >>35
    複素数の上で定義される関数について、その性質を調べたり微分や積分したりする学問のことや
    複素数は、実数にプラスして虚数iを考慮した数のことやな。a+bi(aとbは実数)で表されて複素平面で図示されるあれや
    複素解析は一致の定理や留数定理などかなり「強い」定理が多くてめちゃく面白いで

    41: 名無しさん@おーぷん 20/10/23(金)19:43:48 ID:V6o
    >>37
    「強い」定理って何?

    47: 名無しさん@おーぷん 20/10/23(金)19:46:56 ID:ToV
    >>41
    強いっていうのは数学徒が良く使う感覚的な言葉で、正確な意味はないで
    主張の内容が凄まじいというか、「えっ、本当にこれ成り立つの!?」って驚くような、そういうのに使う印象
    あと、他の定理の証明にめちゃくちゃ使える応用範囲の広い定理にも使うかな

    36: 名無しさん@おーぷん 20/10/23(金)19:39:56 ID:xN2
    凄いな4色でできるって

    38: 名無しさん@おーぷん 20/10/23(金)19:42:08 ID:ToV
    >>36
    せやろ。すごいよなあ。まずその事実に驚きやわ
    どんだけ複雑な地図だろうと、「平面の上に書かれたもの」(数学的には平面グラフと言う)ならば絶対に4色で塗り分けられるんや
    証明にコンピューター使わないけないっていうのも面白ポイントやなあ

    42: 名無しさん@おーぷん 20/10/23(金)19:43:51 ID:xN2
    >>38
    でもコンピューターによるゴリ押しが具体的にどうしたのか分からんけど
    1つの国に隣り合ってる国の数は設定しようと思えば無限大あるわけやろ
    ゴリ押しなんかで解けるもんなんかな

    64: 名無しさん@おーぷん 20/10/23(金)20:04:36 ID:ToV
    >>42
    もちろん、考えられる地図の状態は無限に考えられるけど、
    「平面」という制限によって、その地図はいくつかの有限のパターンに分類することができるんや
    で、そのパターンをコンピューターで総当たりした感じや
    五色定理やとパターンの数も少ないから人間の手でもできなくはないけど、
    四色定理になるとそのパターンの数が一気に増えるから、人間の手ではまず不可能でコンピューターに頼らざるを得ないんや

    65: 名無しさん@おーぷん 20/10/23(金)20:05:37 ID:xN2
    >>64
    ほえ~ふしぎ

    66: 名無しさん@おーぷん 20/10/23(金)20:08:29 ID:ToV
    >>65
    意外と「平面」って条件が効いてるんや


    39: 名無しさん@おーぷん 20/10/23(金)19:43:04 ID:ToV
    5(遊) 大数の法則

    これは多分みんな現実的な経験則として分かっとることやと思う

    例えば、あるコインを投げて表が出る確率は1/2とするやろ
    このコインを4回投げるとき、表が出る回数は必ずしも2回とは限らんやん?
    4回ぐらいしか投げなかったら、表が1回や3回しか出ない可能性もそこそこあるわなあ
    でも2万回投げたら、表が出る回数はほぼ1万回に近い回数になる気がせえへんか?
    もっと回数を増やして2億、2京……とどんどん大きな試行回数を重ねていったら、だんだん確率通りの1/2の回数に近付いていきそうやん?

    この感覚は実は数学的にも正しくて、これを「大数の法則」と言うんや
    法則って名前がついとるけど、数学的にちゃんと証明することが可能な定理の一種やで
    数学的な言葉で言うと「同じ確率分布に従う独立な確率変数をn個持ってきたときに、その平均はnが大きくなるにつれて期待値に"収束"する」という定理や
    もうちょい分かりやすく言うと、上のコインの例みたいに「試行回数を増やすほど本来の確率通りの値に近くなる」という定理になるな
    大学で確率論を学ぶともうちょっと詳しくこの定理も証明できるようになるで。興味ある人は学んでみてくれや


    ちなみに、この法則は現実にギャンブルの胴元や保険会社なんかでも活用されてるな
    保険会社ができるだけ多くの人を保険に入れさせるのは、そうすれば大数の法則が働いて「計算した確率通りの儲け」に近付くからなんや

    52: 名無しさん@おーぷん 20/10/23(金)19:50:12 ID:0xS
    >>39
    極限で収束するみたいな感じか?

    55: 名無しさん@おーぷん 20/10/23(金)19:52:50 ID:ToV
    >>52
    そうそう。大まかにはその理解で合ってるで
    ただ、確率における「収束」の概念は普通の極限とは厳密にはちょっと違うので""を付けたんや
    詳しくは「確率収束」とか「概収束」って言葉で調べてみちくり
    これらが大数の法則で使われている収束の概念や(他にも分布収束やr次平均収束っつうのもある)

    40: 名無しさん@おーぷん 20/10/23(金)19:43:18 ID:V6o
    イッチ数学徒?

    48: 名無しさん@おーぷん 20/10/23(金)19:47:47 ID:ToV
    >>40
    一応、大学で数学を専攻していたという意味では数学徒やな

    50: 名無しさん@おーぷん 20/10/23(金)19:49:31 ID:V6o
    >>48
    純粋数学?応用数学?

    53: 名無しさん@おーぷん 20/10/23(金)19:50:37 ID:ToV
    >>50
    応用数学やで
    純粋数学も好きやったけどな

    62: 名無しさん@おーぷん 20/10/23(金)19:57:31 ID:ToV
    6(中) 巡回セールスマン問題

    これも名前が面白いやつや。問題自体も分かりやすいで

    「セールスマンがn軒の家を全て回ってセールスするとする。各家の間の移動時間はあらかじめわかっているとき、
    合計時間が一番短くて済むように全ての家を回るにはどういう順番で回れば良いだろうか?}

    という問題や。これは問題そのものの答よりも、その「解き方」(数学の言葉で言えば"アルゴリズム")が重要なんや
    ぶっちゃけ、家の数は有限個しかないんやから全てのパターンを調べれば答を出すことはできる
    でも、その方法やとnがちょっとでも大きくなっただけで答えを出すのにめちゃくちゃたくさんの時間がかかるんや
    例えばn=4軒の家を回るならば4×3×2×1=24通りしかないから総当たりでもなんとか大丈夫やけど、
    n=20とかになっただけでもう約200京通り以上のパターンを調べないといけないからめっちゃ時間かかる

    で、本当にこの問題をもっと"効率的"に解く方法(アルゴリズム)はないのかはいまだに未解決の問題なんやで
    なんかもっと上手い方法が見つかりそうなもんやのに、いまだに見つからないのは不思議やなあ
    その詳細な説明はここでは省くけど、実は有名な数学未解決問題である「P≠NP問題」がこれに深く関係しとるんや
    気になる人は「P≠NP問題」をキーワードに調べてみてくれや

    67: 名無しさん@おーぷん 20/10/23(金)20:09:29 ID:ToV
    7(左) 二人零和有限確定完全情報ゲーム

    なんか長ったらしくて仰々しい名前やけど、意味はそんなに難しくない
    将棋やオセロみたいなゲームのことを数学的に総称した用語や

    「二人」はその文字通りプレイヤー二人で戦うゲームのことを意味しとる
    「零和」(ゼロサム)は、プレイヤー二人の得点の合計が必ずプラスマイナス0になるゲームのことや
    例えば、片方が勝ったら必ずもう片方は負けてるっちゅうパターンやな
    「有限」はその文字通りゲームが必ず有限の時間で終わることを意味しとる(永遠に勝負がつかないゲームじゃないってことや)
    「確定」はサイコロ降ったりするような運要素が一切ないって意味や(だからスゴロクや麻雀みたいな運要素あるゲームは除外や)
    「完全情報」は全プレーヤーに全て情報が隠さず明かされているという意味や(だから相手の手札情報が明かされないカードゲームとかは除外される)

    (続)

    68: 名無しさん@おーぷん 20/10/23(金)20:09:58 ID:ToV
    >>67続き
    将棋やオセロやチェスみたいなボードゲームはこの>>67の条件を全部満たすやろ?
    で、こういうゲームはお互いが常に最善手を打てば必ず「先手必勝」「後手必勝」「引き分け」のどれかになることが数学的に証明されとる
    でも実際に個々の二人零和有限確定完全情報ゲームがこの3パターンのどれになるかは分かっていない場合も結構多いんや
    コンピューターで全プレイパターンを調べ尽くすしかやりようがないことが多くて、将棋や囲碁だと時間がかかり過ぎて分からないんやと
    五目並べみたいな簡単なゲームやとコンピューターでの解析がもう済んでて「先手必勝」やと分かっとるけど、
    他のゲームについてはまだまだコンピューターでも完全な解析は難しいんやで

    71: 名無しさん@おーぷん 20/10/23(金)20:13:23 ID:ToV
    8(指) ラムゼーの定理の系

    ラムゼーの定理自体はちょっと難しくて分かりにくいのでここでは説明を省くけど、その定理から導かれるある事実(系)がちょっと面白いんや
    それは「6人いると互いに知り合いである3人組か互いに知らない3人組が存在する」という事実や
    この事実は高校数学までの知識でも(場合によっては小学生でも)わりと簡単に証明できるんやで
    定理の内容もその証明方法もなかなかに面白くて地味だけどワイは結構好きや
    証明に興味ある人はこのサイトの説明が分かりやすくてオススメや。読んでみてくれや
    https://mathtrain.jp/ramsey

    82: 名無しさん@おーぷん 20/10/23(金)20:22:13 ID:ToV
    9(捕) フェルマーの最終定理

    これも有名なエピソードやね。フェルマーっていう有名な数学者が見つけた定理なんやけど肝心のフェルマーが、
    「この定理に関して、私は真に驚くべき証明を見つけたが、この余白はそれを書くには狭すぎる」と言って証明を書かずに死んだんや
    で、彼の死後に色んな数学者がこの定理の証明に挑戦したんやけどみんな歯が立たなくて300年以上も証明できずじまいだったんや
    1995年になってようやくワイルズっていう数学者がこの定理を証明したことでフェルマーの最終定理の証明までの長い道のりは終わったんや
    このワイルズによる証明に至るまでの間に、谷山・志村予想など多くの新発見があったんや。それら全てがこの定理の証明に繋がってるんやで
    このフェルマーの最終定理の証明ドラマはいくつか本にもなってるくらいやから(サイモン・シンの本が一番有名かな)、興味ある人はぜひ読んでみて欲しい

    ちなみにこの定理自体は「nを3以上の整数とするときx^n+y^n=z^nとなる自然数x,y,zの組は存在しない」というもので、
    その主張だけならば中学生(下手したら小学生)にも理解できるほど簡単な内容なんや
    それにもかかわらずその証明は300年間誰も解けなかったほど難しいっていうのが、数学の奥深さを感じられてロマンあるんよなあ

    84: 名無しさん@おーぷん 20/10/23(金)20:25:27 ID:ToV
    先発 バナッハ・タルスキーのパラドックス


    これも超有名なネタやな。パラドックスという名前がついているけど、実際はこれも数学的にちゃんと証明できる定理やな
    「ある球体をバラバラに分解して組み立て替えることで、元の球と全く同じ大きさの球が2つできる」という定理や
    あまりにも人間の直観に反する定理なのでパラドックスっていう名前がついてもうた
    でも、数学的には何ら間違っていない正しい定理なんやで
    証明には測度論の知識が必要なので結構難しいけど、「選択公理」っていう公理がその証明において必要不可欠な要素を担ってるんや
    この選択公理っていうやつは現代数学の基本中の基本を成す公理だし、
    それ自体は人間の直観的からしても「当たり前」のように聞こえる公理なんやが、その公理によってこんな摩訶不思議な定理も生まれちゃうんや
    数学の不思議さを感じる話やねえ

    87: 名無しさん@おーぷん 20/10/23(金)20:28:38 ID:ToV
    中継 ヒルベルトの無限ホテル

    「無限」(数学的に正確な表現をすると「可算無限」)の奇妙さを伝えるためにヒルベルトが考え出した喩え話やな

    今ここに無限の部屋があるホテルがあると考えて欲しい(もちろん現実にはあり得ないけどあくまでも仮定の話や)
    そして、その全ての部屋に1人ずつ客が泊まっておりホテルは満室となっているとする
    普通のホテルなら「満室」状態のところに新しく客が来てもその客を泊まらせることはできないけど、
    無限ホテルの場合は1号室の客を2号室に追いやり、2号室の客を3号室に追いやり……っていうのを繰り返せば、
    1号室だけが空き部屋の状態になるから新しく来た客を1人泊まらせることができる
    つまり、(無限)+1=(無限) ってわけや。同じように、(無限)+2も無限やし(無限)+100でも無限になるってわけや

    しかも、(無限)+(無限)=(無限)にもなるんやで。仮に、満室の無限ホテルに、また無限の新規客が来たとするやろ?
    その時は、1号室の客を2号室に、2号室の客を4号室に、3号室の客を6号室に……n号室の客を2n号室に追いやれば、
    奇数号室の客室が全て空くから、そこにまた無限の客を順番に詰め込むことができるっていう寸法や
    しかも、このことから「全ての奇数の数」と「全ての偶数の数」はどっちも「同じぐらい無限個ある」ってことも分かる
    (これを数学的には濃度が等しいって言うんや)

    無限集合というものが、いかに普段ワイらの考えるものと違うかが実感できる面白い喩えやと思うで
    この話は「集合論」っちゅう現代数学の基礎をなす分野への入門的な話にもなってるんや

    88: 名無しさん@おーぷん 20/10/23(金)20:32:20 ID:ToV
    抑え ラッセルのパラドックス

    これも集合論関係の面白いパラドックスや。「集合」というのを素朴に定義すると矛盾が存在することを示したものや
    以下、簡単に説明するで

    集合というのは一般に「あるものの集まり」なわけやん。じゃあ、「全ての集合を集めた集合」というものも存在すると当然考えるわな
    ここで、この「全ての集合を集めた集合」をAと呼ぶと、当然A自身も「集合」の1つだからAの要素になるよな
    つまり「AはA自身を要素として含む」ちょっと変わった集合にできるわけや
    こういうふうな「自分自身を要素に含む集合」を「異常」な集合と呼び、異常じゃない集合を「正常」と呼ぼうか
    そして「全ての正常な集合を集めた集合」をBと呼ぼうか。このときこの集合Bは正常か異常かを考える

    まずBが正常とする
    Bはその定義より「正常な集合全てを集めた集合」だから、Bが正常ならば当然Bも要素として含む
    つまり「BはB自身を要素に含む」わけや。でも、これってBは異常な集合ってことになるよな?
    ここに矛盾が生じとる

    じゃあ今度はBを以上とするで
    すると、異常の定義から「BはB自身を要素として含む」ことになるよな
    でも集合Bは「正常な集合だけを集めた集合」なんやからそこに含まれるんなら当然Bは正常な集合になってしまう
    つまりここでも矛盾が生じとる

    (続)

    89: 名無しさん@おーぷん 20/10/23(金)20:32:48 ID:ToV
    >>88続き
    こういうふうにBは異常だろうと正常だろうとどちらにせよ必ず「矛盾」が生じるんや
    これを「ラッセルのパラドックス」と呼ぶ
    なんでこんな矛盾が生じるか言うと「集合」の定義の仕方が悪かったからや
    現代数学ではこういうパラドックスを避けるために「公理的集合論」という新しい体系のもとで集合を定義し直したんや
    そして、この公理的集合論が現代数学の全ての基礎になっとる。だから実はめちゃくちゃ大事な話なんやで。

    ちなみに、ラッセルのパラドックスをもう少し分かりやすく喩えた話として「床屋のパラドックス」っちゅうんがある
    「自分でひげをそらない人全員のひげをそり、自分でひげをそる人のひげは絶対そらない」という床屋がいるとする
    この時にこの床屋は自分自身のひげはそるのかどうか?という問題や
    この問題も、床屋がじぶんのひげを剃る剃らないどっちを選んでもさっき同様に矛盾が導かれるで

    90: 名無しさん@おーぷん 20/10/23(金)20:35:59 ID:ToV
    監督 ゲーデルの不完全性定理

    これは数学という学問それ自体のあり方にも関わる有名定理やな。有名すぎてたまに誤解されて使われることもあるのが残念や。
    数学というのは基本的に、いくつかの「公理」(証明不能で使って良い前提)の集合体である「公理系」を出発点にして、
    そこから演繹的に色んな「定理」を証明もしくは反証していく学問やん?でも本当に全ての定理が正しいか否か証明できるのだろうか?
    このゲーデルの不完全性定理は「証明不可能な定理の存在」を証明しちゃった摩訶不思議な定理なんや

    具体的には、以下の内容で表せる定理や
    ・?自然数論を含む特定の条件”を備えた公理系が「無矛盾」ならば、その公理系からはどう頑張っても証明も反証もできない命題が存在する
    ・しかも、その証明できない命題の一つに「その公理系自身が本当に無矛盾であること」というものが含まれる

    (続)

    91: 名無しさん@おーぷん 20/10/23(金)20:37:18 ID:ToV
    >>90 続き

    つまり、矛盾の全くない公理系から自分自身が「矛盾していないよ」ということを証明するのは不可能ってことや
    このヤバさはすごいやろ。どれだけ数学者たちが今使っている公理系を「多分矛盾しないだろう」と信じてたとしても、
    (その信仰が正しいならば)実際にそれが矛盾していないことを証明することはできないんや
    だから、数学者はただひたすらに今の公理系のその無矛盾性を信じるしかないんや
    そういうふうに数学の限界をある意味で知れる悲しくなる定理として紹介されることが多いな

    ただし、誤解しないで欲しいんやが上で書いたように不完全性定理はあくまでも「?自然数論を含む特定の条件”を備えた公理系」に対してのみ当てはまる定理や
    だからこの条件に当てはまらない公理系ならば「どんな命題も証明や反証できる」場合は普通にあり得るんやで
    まあ自然数ってほとんどの数学に出てくるから「数学の限界を示した」って言いたくなるのも分かるけど、
    逆に言えばそういうのがない論理体系に関しては関係ないわけで、「数学全て」あるいは「論理全て」の限界を示した定理では決してない
    そこを勘違いして誤用しとるやつが多いから気を付けてくれや

    92: 名無しさん@おーぷん 20/10/23(金)20:38:34 ID:xN2
    ここらへんからさっぱりわかんなくなってきてくさ

    94: 名無しさん@おーぷん 20/10/23(金)20:41:40 ID:ToV
    >>92
    出来る限り専門用語は少なくしてかなり丁寧な解説を心掛けたつもりなんやけどなあ
    それでもやっぱり後半は難しかったかもしれんなあ
    すまんの

    分かんない部分あったら遠慮なく質問してくれてええで
    出来る範囲で答えるわ

    93: 名無しさん@おーぷん 20/10/23(金)20:40:08 ID:ToV
    とりあえず以上で解説は終わりや
    詳しく書いて欲しい言うから、出来る限り詳しく(でも数学やっていない人にも分かりやすいよう)書いたつもりや
    やっぱり長文で詳しく書いたスレの宿命なのかあまりちゃんと読んでる人いなさそうやけど、
    もし興味持って読んでくれた人いたら嬉しいわ
    ほな

    95: 名無しさん@おーぷん 20/10/23(金)20:48:13 ID:3gO
    良スレだった







    本日のおすすめニュース1
    本日のおすすめニュース2
    本日のおすすめニュース3

    おススメ記事ピックアップ(外部)

    コメント一覧

    1  不思議な名無しさん :2020年10月24日 14:25 ID:MEfYkdbF0*
    ワイはジャネーの法則の方が不思議でならんわ。
    2  不思議な名無しさん :2020年10月24日 14:37 ID:xvIQx2RD0*
    中には屁理屈に聞こえてしまう物もあるなぁ
    そんなもん定義の仕方がそうなんだからそうなるに決まってるやろってのも
    3  不思議な名無しさん :2020年10月24日 14:47 ID:YFtE7q500*
    ラッセルのパラドックスってやつ面白い
    4  不思議な名無しさん :2020年10月24日 14:49 ID:yDWRCQFO0*
    >>2
    そんなこと言い出したら世の中の定理がぜんぶ屁理屈になるぞ
    定義っていうのは「人が勝手に決めた取り決め」でしかなくて、科学だってその上で成り立ってる
    5  不思議な名無しさん :2020年10月24日 14:55 ID:HJhSATkl0*
    屁理屈に聞こえるものって、もしかして選択公理のことかな。
    まぁ上にもあるけど公理ってただ人間が恣意的に決めたものだからね。

    6  不思議な名無しさん :2020年10月24日 15:00 ID:hvFucHQ70*
    巡回セールスマン問題好き
    プログラム組んだことあるわ
    7  不思議な名無しさん :2020年10月24日 15:50 ID:jbvqR.pO0*
    量子論でドキドキときめく身としては、ポアンカレ予想さんがいれば恍惚感に浸れるが、
    最近リーマン予想さんが誘惑する。
    8  不思議な名無しさん :2020年10月24日 16:53 ID:S3gqfDJX0*
    ※2
    数学は形而上の存在
    9  不思議な名無しさん :2020年10月24日 17:32 ID:1Z9nL3Bm0*
    そもそも公理自体がそうであるとするしかできないもので全てがそこから始まるからねえ
    数学に或いは公理というものに触れたことがない人はそもそもそこに戸惑いを感じるだろうね
    10  不思議な名無しさん :2020年10月24日 17:39 ID:3uerHnxm0*
    数学的知識の乏しいワイでも序盤はワクワクできるわ。さすがに終盤は何言ってるか分からんけど笑
    数学もハマったらおもろいんやろなあ
    11  不思議な名無しさん :2020年10月24日 17:49 ID:.hwyun.L0*
    モンティ・ホール問題は初見の答えの拒否感が凄かった。
    詳しい解説読んでしばらく頭の中でシミュレートしてようやく理解すると拒否感がスッと消えてスッキリしたよ。
    面白いなあ
    12  不思議な名無しさん :2020年10月24日 18:27 ID:1Z9nL3Bm0*
    モンティホールは扉を変えるという操作が正誤をひっくり返す操作だと聞いて納得できた
    13  不思議な名無しさん :2020年10月24日 18:31 ID:NaemmEaq0*
    「公理」(証明不能で使って良い前提)って、たとえば1足す1は2になるとかそういうレベルの大前提ってこと?
    14  不可思議な名無しさん :2020年10月24日 18:41 ID:SXHly5J40*
    ゲームそんなんではないよもろもろしきたりとか毎日の習慣重視。大数の法則とか考えるけれどもよいひと最後に勝つ。
    15  不思議な名無しさん :2020年10月24日 19:40 ID:h8L40ns90*
    そのゲーデル数が存在しないという証明の式を素因数分解の一意性に基づいてゲーデル数化し、そのゲーデル数を一変数を持つ関数に代入すると、突如として証明も反証もできない命題が現れてしまう。
    これは表を作って縦に関数のゲーデル数、横に代入する自然数を取るとちょうど対角線上に自己言及のパラドックスが現れるので、対角線論法と一緒に語られることが多い。
    16  不思議な名無しさん :2020年10月24日 19:48 ID:s6gZ.V..0*
    >>13
    公理の理解はそれで合ってるけど、例示がちょい間違い。
    現代数学では1+1=2は証明できる定理扱いで公理には普通含まない(もっともっと大前提レベルの話から出発させてる)
    17  不思議な名無しさん :2020年10月24日 19:57 ID:E6x.rCS40*
    >>13
    ペアノの公理で検索
    18  不思議な名無しさん :2020年10月24日 20:09 ID:fcVIF1lw0*
    そして4色問題は数値シミュレーションにも役に立つ。
    19  不思議な名無しさん :2020年10月24日 20:12 ID:pPcVPKIc0*
    サイモン・シンのフェルマーの最終定理は面白かったな
    そういった数学の本でおすすめはあるかい?
    20  不思議な名無しさん :2020年10月24日 21:19 ID:UjgEa1wb0*
    数学センス皆無なワイ、よくわからん。
    説明がダメなんじゃなく自分がダメだと思うけど。
    モンティ・ホール問題とか一つはずれて二択になっただけにしか思えない。
    だから数字苦手なんだろうな
    21  不思議な名無しさん :2020年10月24日 21:33 ID:I6c7uCwW0*
    球のやつ誰か感覚的に説明できる?
    22  不思議な名無しさん :2020年10月24日 23:17 ID:lQfcvIM20*
    ※19
    『フェルマーの最終定理』からはまってその手の本をたくさん読んだけど、やっぱりシンがずば抜けて面白い。
    面白かったのはマーカス・デュ・ソートイ『素数の音楽』とジョージ・G・スピーロ『ポアンカレ予想』、ロビン・ウィルソン『四色問題』、アミール・D・アクゼル『無限に魅入られた天才数学者たち』かな。
    23  不思議な名無しさん :2020年10月25日 12:43 ID:jrCY.PZb0*
    ※21
    無理。そもそも選択公理を使って無理やりバラバラにしないとできない。
    選択公理を用いない集合論のモデルで、バナッハ・タルスキのパラドクスが起きない公理系が存在することが分かってる
    24  不思議な名無しさん :2020年10月25日 16:31 ID:Z6WQWDWe0*
    わかりやすい、おもしろい!
    かなりの良スレ
    25  不思議な名無しさん :2020年10月25日 22:35 ID:bjU7nH540*
    サイモン・シンの「暗号解読」も数学絡みで面白いよ
    26  不思議な名無しさん :2020年10月26日 08:59 ID:Llb4QWhr0*
    4色問題って、例えば旭日旗の模様みたいな形で中心に一つ国があって周辺にいくつも国が隣接している場合も塗り分けられるん?
    27  不思議な名無しさん :2020年10月26日 10:19 ID:mB5sX2VP0*
    >>26
    それでも塗り分けられるぞ
    隣り合ってる色だけが違う色ならば問題なんだから、中心国の周辺国の色が全て互いに異なってる必要はないぞ
    そもそも君が例に挙げた旭日旗だって赤と白のたった2色でちゃんと塗り分けられてるじゃん
    28  不思議な名無しさん :2020年10月26日 23:39 ID:CfJ7.a410*
    ちょっと趣旨が違うけど、世の中には10種類の人間がいて、二進数が分かる人と二進数が分からない人だ。っていう話し好き。
    29  不思議な名無しさん :2020年10月27日 03:13 ID:7Hyl.1FH0*
    >>27
    真ん中の赤と放射線の赤は塗り分けられてないじゃん
    どういうこと?
    30  不思議な名無しさん :2020年10月28日 03:05 ID:.PI.E7Pg0*
    >>29
    あー、本当だ
    すまん、頭の中の旭日旗だと別の色を使ってたような気がしたから勘違いしてた
    でも、だったら真ん中の丸いところを赤と白以外の適当な色で塗れば3色で塗り分けられたことになるから、どっちみち四色定理は間違ってないじゃん

     
     
    topページに戻るボタン

    不思議ネット
    とは

    不思議.netでは怖い話・オカルトから科学ネタまで、2chを中心に世界の不思議な話題をお届けしています。普段2chを見ない人でも気軽にワクワクできる情報サイトをっころがけて毎日絶賛更新中!