[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)

Inter-universal geometry と ABC予想 49 http://rio2016.5ch.net/test/read.cgi/math/1586650355/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

553: １３２人目の素数さん [sage] 2020/04/13(月) 16:27:19.08 ID:my5S7sSz >>544 同意同意 >望月もショルツも自信があるんだろう　 >やりあえばいい　 そう プロレスみたいもの 最初は、正義の英雄がピンチになる そこから、逆転が お決まりのパターンよ それでこそ、見ている方も面白い（＾＾； （どっちが正義かしらんけどなｗ ） http://rio2016.5ch.net/test/read.cgi/math/1586650355/553

554: １３２人目の素数さん [] 2020/04/13(月) 16:27:30.75 ID:AZP114W1 どこの国にも病に冒された人はいる 　byランダウ http://rio2016.5ch.net/test/read.cgi/math/1586650355/554

555: １３２人目の素数さん [sage] 2020/04/13(月) 16:28:59.59 ID:my5S7sSz >>552 ＞じゃったら「IUTは正しいっ」と力みかえらんことじゃ 別に、「IUTは正しい」と思うから 正しいというだけのことよ 力みもなにも、面白いの一言よｗ（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586650355/555

556: 野暮天 [sage] 2020/04/13(月) 16:29:22.53 ID:ukZx7597 >>546 ＞あるなら、示せ！ ＞そういう事例が無いなら、信頼性90％以上でしょ わしが理解できんのは、なぜ無理矢理、定量化したがるのか、ということじゃ 数量化したら信頼性が増すと思うとるんなら、大間違いじゃ なんか工学屋にはそういう野蛮な考えの持主が少なくないのう 数量化馬鹿というかなんというか・・・あんたら工学部でどんな教育受けたんじゃ？ http://rio2016.5ch.net/test/read.cgi/math/1586650355/556

557: 野暮天 [sage] 2020/04/13(月) 16:39:38.21 ID:ukZx7597 >>553 ＞（IUT論争は）プロレスみたいもの ＞最初は、正義の英雄がピンチになる ＞そこから、逆転が お決まりのパターンよ ＞それでこそ、見ている方も面白い わしの見方とは違うのう IUT＝ももクロ 外国勢＝BABYMETAL こう書くとモノノフ（＝ももクロのファン）から猛バッシング食らいそうじゃのう 宇宙際なんとかいうのは百田夏菜子のエビぞりジャンプみたいなもんじゃ たしかにスゴイが、歌唱とは無関係じゃ ああいうのが受けるのは日本だけじゃろ SU-METALの歌唱は世界で

通用する一流のもんじゃ だから海外のライブでも観客をねじ伏せられる あれこそが本当の芸じゃ そういえば、雑誌「ヘドバン」にももクロのマネージャーの川上氏が 登場したことがあったが、BABYMETALには感心してばっかりじゃったな あの人はよう分かっとる　自分らとBABYMETALは住む世界が違う、と あえてレベルとはいわんよ　芸能界も一般社会も同じ 自分の力でどう生きるかが大事　カラスが鵜の真似をしても溺れるだけ 百田夏菜子はイイ女じゃから　きっと芸能界も渡っていけるじゃろ 他の三人は・・・知らん http://rio2016.5ch.net/test/read.

cgi/math/1586650355/557

558: １３２人目の素数さん [sage] 2020/04/13(月) 16:40:45.23 ID:hC942ZHM ABC国際タイトルマッチで、「自明だ、よく読め」はやっぱり観客がしらける。 塩試合なんだよね。京都勢は頑張ってほしい。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/558

559: 野暮天 [sage] 2020/04/13(月) 16:42:40.83 ID:ukZx7597 >>555 ＞「IUTは正しい」と思うから正しいというだけのことよ あんた「箱入り無数目」も間違っとると思うから間違いだといってるわけか あんた自分は神だとでも思うとるんか？ 群論もダメ、順序数論もダメ そんなあんたがなんで自分は間違ってないと思うんじゃ？ おかしいじゃろ http://rio2016.5ch.net/test/read.cgi/math/1586650355/559

560: １３２人目の素数さん [sage] 2020/04/13(月) 16:54:18.52 ID:vWi06T7g >>508 エタール基本群やそれに準じる基本群を用いた理論では回避できないって理解をしてるね 確かにその部分は単遠アーベルでも基本的に変わらん 望月がそんな間違いをするかってレスがあるが、むしろ実際以上に柔軟に考え過ぎて失敗した可能性はあるな スキームを統制するパターンとかスキームを超える遠アーベル幾何っていう考えに魅せられて 単純な事実依拠を怠ったという可能性 http://rio2016.5ch.net/test/read.cgi/math/1586650355/560

561: １３２人目の素数さん [] 2020/04/13(月) 16:55:43.19 ID:GJRuKvRa モッチーのIUTは未来を開く数学やぞ https://special.sankei.com/a/life/images/20200412/0001p1.jpg 数学の望月理論「人類初、数百年に１度の偉業」　加藤文元氏に聞く https://www.sankei.com/life/news/200413/lif2004130034-n1.html http://rio2016.5ch.net/test/read.cgi/math/1586650355/561

562: １３２人目の素数さん [sage] 2020/04/13(月) 16:59:07.26 ID:qYHwwEc4 ショルツからしたらボヤけって言ってるけど結局こういう事でしょ 意味ないじゃん という論法になってるから全く噛み合わない http://rio2016.5ch.net/test/read.cgi/math/1586650355/562

563: 野暮天 [sage] 2020/04/13(月) 16:59:45.36 ID:ukZx7597 日本のマスコミはどうも本当の天才を認めたがないところがあるのう 歌が上手い女性アイドル総選挙にSu-METALがランクインしてない！ https://babymetalize.com/archives/26027 多分番組の公式回答はこうじゃろなあ 「SU-METALさんは、バンドのヴォーカルですから 　そもそもメイト（＝BABYMETALのファン）も 　BABYMETALをアイドルとして扱うな、と 　いつもいってるじゃないですか」 しかし、そんなこというんじゃったら 乃木坂の楽曲は、生田絵梨花の実力を フルに引き出しておるん

か？ 違うじゃろ？ まあ、番組がSU-METALをアイドルでないとしたがるのも分からんではない こんなのTVで放映したら、日本のアイドルは全員面目を失う https://www.youtube.com/watch?v=8NVdK6GRTP8 http://rio2016.5ch.net/test/read.cgi/math/1586650355/563

564: １３２人目の素数さん [] 2020/04/13(月) 17:04:22.43 ID:GJRuKvRa ID:jmK8b/PK ID:OlsRjmnt ID:ijoqd/ZI ID:ukZx7597 ↑ NG http://rio2016.5ch.net/test/read.cgi/math/1586650355/564

565: １３２人目の素数さん [sage] 2020/04/13(月) 17:13:48.80 ID:nP8hll5d >>564 正解w http://rio2016.5ch.net/test/read.cgi/math/1586650355/565

566: １３２人目の素数さん [sage] 2020/04/13(月) 17:16:34.53 ID:my5S7sSz >>556 野暮天さん、あんた関東生まれの関東育ちか？ あるいは、もっと田舎か？ >＞そういう事例が無いなら、信頼性90％以上でしょ >わしが理解できんのは、なぜ無理矢理、定量化したがるのか、ということじゃ あのな〜ｗｗ もともと、「両名による記者会見の信頼性＝99％」（>>514） の”99％”という言い回しがさ 自然言語の常套句なんだよね 万に一つ と似た言葉（下記） で、そんなものが、定量評価に乗らない文学表現であることは ”百も承

知”で 茶化しているんだよ これ 関西のノリなんだわ ｗ（＾＾； それを、”理解できんのは、なぜ無理矢理、定量化したがるのか”なんて 「野暮」っていうわけだｗ （参考） https://www.weblio.jp/content/%E4%B8%87%E3%81%AB%E4%B8%80%E3%81%A4%E3%82%82 Weblio 辞書 > 成句の検索 > 慣用句 > 数 > 万 > 万に一つもの意味・解説 三省堂 大辞林 第三版 (抜粋) 万に一ひとつも 万ある可能性のうち一つも。決して。あとに打ち消しの語を伴って用いられる。 「可能性は−ない」 http://rio2016.5ch.net/test/read.cgi/math/1586

650355/566

567: １３２人目の素数さん [] 2020/04/13(月) 17:16:42.30 ID:Lx5viamn もし望月博士が、延べ数十人の数学者たちが寄ってたかって100年くらいの期間をかけて 登る数学理論のはしごを、20年でおひとりで一気に駆け上ってしまっていたとしたら、 置いてきぼりにされた数学者たちは何が起こったのか状況把握ができないって事象が 起こっているのか？ 細部に小さいミスがあったとしても発想の方向が新しかったとしたら偉大な業績として 已然歴史に残るのではないか？ 小さいミスの指摘が仮に「妥当」だったとしてもそれで望月博士の偉業を否定することは

できない説もあるのではないか。 数学理論の正しさとはそもそも何なのか？　既存の物理法則やアルゴリズムを記述してる部分が 現代数学にあってこれらの現代数学が物理法則やアルゴリズムのモデリングに使えることが 長い年月実証されているわけだから、現代数学とのトートロジーは許されないはず。 ということは、望月博士の理論は現代数学の一般性を高めて広義拡大していなければ ならないということではないか。 かつ、現代数学部分をくまなく広義拡大しつつ、望月博士が新しく要請した理論のうち、 現代数学の外延部分を含めてIUT理論内部に自己

矛盾が一切見つからなければ、IUT理論は 正しいと言ってよいのではないか？ 言ってること間違ってますでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1586650355/567

568: 野暮天 [sage] 2020/04/13(月) 17:17:45.91 ID:ukZx7597 >>564 申し訳ないのう ・・・といいつつ、>>563の話を続けるわけじゃが https://magfesta.jp/archives/932 SU-METALの名前がない！ ま、分かるヤツは分かる 生田絵梨花もよう分かっとるｗ https://www.bilibili.com/video/av49671160/ http://rio2016.5ch.net/test/read.cgi/math/1586650355/568

569: １３２人目の素数さん [] 2020/04/13(月) 17:18:41.01 ID:AZP114W1 >>562 ショルツが対称性を例にIUTの痛いところ を突いているとか、 スマートで容赦ないから非常に 好感が持てる。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/569

570: １３２人目の素数さん [sage] 2020/04/13(月) 17:19:13.67 ID:CNPa1jiZ スキームの局所環付き空間としての定義が分からないという代数幾何勉強中の人はいないだろうし 例えば50年くらい駆け上がったとしてもきちんと論証すれば分かるのでは？ http://rio2016.5ch.net/test/read.cgi/math/1586650355/570

571: １３２人目の素数さん [sage] 2020/04/13(月) 17:22:02.94 ID:my5S7sSz >>559 >あんた「箱入り無数目」も間違っとると思うから間違いだといってるわけか 「箱入り無数目」は間違！ もし、身近に大学で確率論か確率過程論を修めた人が居て聞けるなら、聞いてみな ”「箱入り無数目」は間違！”が分かるから そこが、分からないレベルで IUT語るなんて、おへそが茶を沸かすレベルでしかないよねｗ（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586650355/571

572: 野暮天 [sage] 2020/04/13(月) 17:24:58.88 ID:ukZx7597 >>566 ＞もともと、”99％”という言い回しがさ自然言語の常套句なんだよね なるほど　数字には意味がない　と認めるわけじゃな つまり　詐欺じゃった　と認めるわけじゃな ちなみに光速の99％はラピディティで置き換えると2.64…程度 光速そのものはラピディティでは∞じゃから　大したことない まあ、光速より小さいならラピディティは有限じゃから どんなに大きくても「大したことない」んじゃがのう （注：ラピディティとは速度をvとしたときのarctanh(v/c) 　　　速度の合

成により、ラピディティは可算される) http://rio2016.5ch.net/test/read.cgi/math/1586650355/572

573: １３２人目の素数さん [sage] 2020/04/13(月) 17:28:00.73 ID:my5S7sSz >>560 >望月がそんな間違いをするかってレスがあるが、むしろ実際以上に柔軟に考え過ぎて失敗した可能性はあるな >スキームを統制するパターンとかスキームを超える遠アーベル幾何っていう考えに魅せられて >単純な事実依拠を怠ったという可能性 勿論、可能性はあるけどね でも、2018年に指摘されて その後、2年間かけて査読して 玉川先生も、OKのお墨付き 望月先生一人なら、まだしも、4月3日の記者会見したってことは、RIMSはショルツ氏の指摘にはちゃ

んと数学的に反論できる自信があるってこと それは、まだ出てきてないけど それを待たないと、外野が良いの悪いのって、言えないよね そのうち出てくるでしょ、出なきゃおかしい（国際会議では出るよ） http://rio2016.5ch.net/test/read.cgi/math/1586650355/573

574: 野暮天 [sage] 2020/04/13(月) 17:29:20.17 ID:ukZx7597 >>571 ＞「箱入り無数目」は間違！ ＞もし、身近に大学で確率論か確率過程論を修めた人が居て聞けるなら、聞いてみな で、あんたはどこの誰に聞いたんじゃ わしはその人に直接尋ねてみるから 大阪大学理学部数学科の誰に尋ねたんじゃ？ まさか　工学部の専門外の教授に尋ねたわけではあるまい？ そんなん無意味に決まっとるじゃろ http://rio2016.5ch.net/test/read.cgi/math/1586650355/574

575: １３２人目の素数さん [sage] 2020/04/13(月) 17:30:04.77 ID:my5S7sSz >>567 >もし望月博士が、延べ数十人の数学者たちが寄ってたかって100年くらいの期間をかけて >登る数学理論のはしごを、20年でおひとりで一気に駆け上ってしまっていたとしたら、 >置いてきぼりにされた数学者たちは何が起こったのか状況把握ができないって事象が >起こっているのか？ 同意 ただ、そのことは、今年の国際会議が終われば はっきりすると思う それを待ちましょう！！（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586650355/575

576: １３２人目の素数さん [sage] 2020/04/13(月) 17:30:24.13 ID:vWi06T7g ショルツの最新のコメントはSSレポートに更にわかりやすい情報を付加してる エタール基本群から出発して、対称性通信による無数の異なる特異な対数加群を構成するというのは 根本的におかしくないかと言ってる しかしこれ、結局ポストモダンの人などが言ってたことと基本的には同じ bizarre、ある意味で手品みたいな話なんだな http://rio2016.5ch.net/test/read.cgi/math/1586650355/576

577: １３２人目の素数さん [sage] 2020/04/13(月) 17:32:19.16 ID:my5S7sSz >>574 >で、あんたはどこの誰に聞いたんじゃ >わしはその人に直接尋ねてみるから そんなことは、誰に聞いても良いよ あなたが、東大の確率論の専門のだれそれとか、別に地方大でも だれそれとか 知っている人に聞け それで決着するよｗ（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586650355/577

578: １３２人目の素数さん [] 2020/04/13(月) 17:32:59.91 ID:Y9js0GVd >>571 おまえ隔離スレで↓から逃亡しといて何言ってんの？ >１．しっぽの同値類は可能 >２．決定番号を決めることは可能 決定番号は自然数である。　Y/N {d(s^i)|i∈{1,2,...,100}}:=Mは、100個の（重複を許す）自然数の集合である。　Y/N Mは有限全順序集合である。　Y/N Mは最大元を持つ。　Y/N Mの最大元は1個または複数個である。　Y/N Mの単独最大元は1個または０個である。　Y/N k∈{1,2,...,100} をランダム選択したとき、d(s^k)がMの単独最大元である確率

は1/100または0である。　Y/N P(s^k(D)=r^k(D))≧99/100（但しD:=max{d(s^i)|i≠k}）　Y/N >３．しかし、確率計算は正当化できない は誤りである。　Y/N http://rio2016.5ch.net/test/read.cgi/math/1586650355/578

579: 野暮天 [sage] 2020/04/13(月) 17:33:51.70 ID:ukZx7597 ＞4月3日の記者会見したってことは、 ＞RIMSはショルツ氏の指摘には ＞ちゃんと数学的に反論できる自信があるってこと それなら、反論した後で、記者会見するじゃろ ショルツが認めなくても、他の数学者が認めればええじゃろ なぜ、そうせんのかのう　できんのかのう できんのに記者会見するっちゅうのは、素人の文科省の官僚を だまくらかせば、科研費がもらえるっていうハラかのう？ それ、国民を欺く詐欺じゃのう あんた国民として怒らんのか あんたの収めた税金が不当に使われるん

じゃぞ http://rio2016.5ch.net/test/read.cgi/math/1586650355/579

580: １３２人目の素数さん [sage] 2020/04/13(月) 17:35:41.26 ID:my5S7sSz >>572 >なるほど　数字には意味がない　と認めるわけじゃな >つまり　詐欺じゃった　と認めるわけじゃな 数字には意味がない 　↓ 詐欺じゃった この証明には、大きなギャップあり！！ さて、ギャップはどこでしょうか？ｗ QED ｗｗ(゜ロ゜; http://rio2016.5ch.net/test/read.cgi/math/1586650355/580

581: 野暮天 [sage] 2020/04/13(月) 17:37:19.37 ID:ukZx7597 >>577 >>で、あんたはどこの誰に聞いたんじゃ >>わしはその人に直接尋ねてみるから >そんなことは、誰に聞いても良いよ 耳が遠いようじゃから、耳元で大声でいわせてもらうが 「あ・ん・た・は・ど・こ・の・だ・れ・に・き・い・た・ん・じゃ？」 あんたまさか誰にも聞かずにフカしとるんか じゃ、群論や順序数の件と同様、初歩的誤りじゃろうな あんたが数学を全然わかっとらんのは数学板の読者の常識じゃからのう 臆面もなく書き込めるのは面の皮が鋼鉄製だと

もっぱらの噂じゃ http://rio2016.5ch.net/test/read.cgi/math/1586650355/581

582: １３２人目の素数さん [sage] 2020/04/13(月) 17:39:09.69 ID:my5S7sSz >>579 >それなら、反論した後で、記者会見するじゃろ 記者会見は、文系の記者相手で、広報は一般大衆向け プロ向けには、今年国際会議が予定されているでしょ そして、秋と春の日本数学会と そして、2022ICMがあるよ >ショルツが認めなくても、他の数学者が認めればええじゃろ その通り これから、数学オセロゲームが始まります おれら、ヤジウマは、数学オセロゲームを楽しむんだよ〜ｗ(゜ロ゜; http://rio2016.5ch.net/test/read.cgi/math/1586650

355/582

583: １３２人目の素数さん [] 2020/04/13(月) 17:39:30.20 ID:Lx5viamn 望月博士とショルツ博士の議論は、 ハイゼンベルクの行列力学はシュレディンガーの波動力学のどっちが正しいかって 議論なんですか？ 結局どっちも正しくて、一つの真理を別々の理論で同時に書き表せるのに、互いに 違う理論の言葉を使おうとするからコミュニケーションミスが起こってる あるいは、望月博士の理論はカロリックやエーテルを仮定するような大局観から疑われ ているんでしょうか？ 大局観が間違ってなくて理論の方向性自体がすばらしいのであれば、議論を重ねる

ごとに理論はよりブラッシュアップしていくと期待していいのではないでしょうか？ 素人ですいません。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/583

584: １３２人目の素数さん [sage] 2020/04/13(月) 17:41:30.66 ID:my5S7sSz >>581 >耳が遠いようじゃから、耳元で大声でいわせてもらうが >「あ・ん・た・は・ど・こ・の・だ・れ・に・き・い・た・ん・じゃ？」 あんた、大学レベルの確率論・確率過程論 やってないでしょ おれは、やったよ それだけのこと 「箱入り無数目」は、大学レベルの確率論・確率過程論やってないと、嵌って抜けらないってことよｗ（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586650355/584

585: 野暮天 [sage] 2020/04/13(月) 17:41:40.18 ID:ukZx7597 >>578 その昔、見栄坊の大阪人が 「決定番号は自然数である。」 という質問に 「N!　確率１で∞！」 と答えたときはズッコケまくったもんじゃ 決定番号の定義を読んで理解したならこんな回答は決してできん できんことをするっちゅうのは、理解できてないちゅうこっちゃ 見栄坊氏はディスレクシアかのう？ https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%82%B9%E3%83%AC%E3%82%AF%E3%82%B7%E3%82%A2 http://rio2016.5ch.net/test/read.cgi/math/1586650355/585

586: １３２人目の素数さん [] 2020/04/13(月) 17:43:43.87 ID:AZP114W1 >>567 IUTは大言壮語で役立たずです。 IUTはabc予想から天気予報まで 有効と言ってます。 が実際は、 天気予報よりシンプルな感染症現象の数理モデルでも役立たずです。 気象なら水蒸気から相転移し雲になり クラスター化して集中豪雨のスーパーセルになります。 感染モデルはウィルスの変異は仮定しませんしibmモデルもシンプルです。 まあRIMSの新型コロナウィルス対策なら RIMS封鎖が最も有効でしょう http://rio2016.5ch.net/test/read.cgi/math/1586650355/586

587: 野暮天 [sage] 2020/04/13(月) 17:44:00.39 ID:ukZx7597 >>584 ＞あんた、大学レベルの確率論・確率過程論 やってないでしょ ＞おれは、やったよ あんた自習じゃろｗ わし、やったが・・・箱入り無数目の否定にはつながらんな ああ、そうそう、あんたここでは匿名にしたいようじゃが 便宜的にHN入れてくれんか　そう名前は「見栄坊」で http://rio2016.5ch.net/test/read.cgi/math/1586650355/587

588: １３２人目の素数さん [sage] 2020/04/13(月) 17:44:38.58 ID:my5S7sSz >>583 >望月博士とショルツ博士の議論は、 >ハイゼンベルクの行列力学はシュレディンガーの波動力学のどっちが正しいかって >議論なんですか？ その例えで言えば １．量子力学の確率解釈を支持したパウリ一派 　VS ２．量子力学の確率解釈を拒否したアインシュタイン、シュレーディンガー一派 って構図だと思うよ どっちがどっちか これから、はっきりすると思うけどね（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586650355/588

589: １３２人目の素数さん [] 2020/04/13(月) 17:45:54.83 ID:Y9js0GVd >>584 なんでおまえは>>578から逃げるんだ？ 逃げるなら自分の間違いを認めろ http://rio2016.5ch.net/test/read.cgi/math/1586650355/589

590: １３２人目の素数さん [sage] 2020/04/13(月) 17:46:58.85 ID:my5S7sSz >>587 ＞あんた自習じゃろｗ おれと、天才ショルツを比べる気ないけど 天才ショルツ氏も、ほとんど自習らしいよ、数学 >わし、やったが・・・箱入り無数目の否定にはつながらんな だから、あなた、抜けたんでしょ 学んだことが、というか、理解できてないかだな（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1586650355/590

591: １３２人目の素数さん [] 2020/04/13(月) 17:48:07.56 ID:Lx5viamn >>586 相変化からコリオリス力までみんな含んだ雲の動き数値シミュレーション何て2世紀前の 数学理論で十分なんでは？　それと数学理論の正しさと、数学理論で物理現象をモデリング する正しさは別問題ですよね 数学はわかんないけどモデリングの方は一応プロなんですけど。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/591

592: １３２人目の素数さん [] 2020/04/13(月) 17:48:07.62 ID:Lx5viamn >>586 相変化からコリオリス力までみんな含んだ雲の動き数値シミュレーション何て2世紀前の 数学理論で十分なんでは？　それと数学理論の正しさと、数学理論で物理現象をモデリング する正しさは別問題ですよね 数学はわかんないけどモデリングの方は一応プロなんですけど。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/592

593: 野暮天 [sage] 2020/04/13(月) 17:49:03.05 ID:ukZx7597 >>583 ＞望月博士とショルツ博士の議論は むやみに大袈裟な仕掛けを考えた、マッドサイエンティストMに対して 洗練されたヨーロピアンスタイルの天才Sが 「あれもいらない、これもいらない・・・ 　最低限これだけですけどこれじゃ仕掛けは動かないですね」 と指摘し 「わしの長年の労作を・・・貴様ごとき若造が否定するとか百年早いわい！」 とMが激怒 これを聞いてSの捨て台詞 「あああ、年齢は関係ないですよ 　数学者としての盛りを過ぎた老人って・・・哀れなもんですね」

漫画の読み過ぎかｗ http://rio2016.5ch.net/test/read.cgi/math/1586650355/593

594: １３２人目の素数さん [sage] 2020/04/13(月) 17:50:12.08 ID:TnD+4OAc >>446 >数論幾何の専門家が中高年になるまで心血注ぎ込んで掛けて来た時間と人数にくらべて、 >若い天才といっても１人の専門外の人がチョチョイと直ぐ見抜ける >「修正不可能なギャップが根幹に有って誰も専門家が気が付かなかった」 >って考え難いんですよね 違う。望月は証明できたとし、周囲の人間は理解できないけれども身内びいきの感情で、 認めてしまったというだけのこと。 周囲の「専門家」が誰一人説明できないことは、望月応援団の誰もが

わかっていない証拠である。 望月は、ショルツほかの指摘にたいして、強情張ってるだけにみえる。 また、望月の証明の欠陥を指摘したのはSSだけではない。 名前が知られているだけで、コンラッズ・woit・越川が、同じ個所で同じ指摘をしている。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/594

595: １３２人目の素数さん [] 2020/04/13(月) 17:51:34.58 ID:Lx5viamn >>593 漫画と芸能ゴシップ誌と競馬予想誌読み過ぎだと想像しますｗ よくわかんないけど http://rio2016.5ch.net/test/read.cgi/math/1586650355/595

596: １３２人目の素数さん [] 2020/04/13(月) 17:55:51.91 ID:AZP114W1 >>592 プリミティブ方程式がわかれば 予測可能になるの？ 雲もなる仮定も超水滴法とか色々ある し、 集中豪雨の予測もドップラーレーダーの データが必要でしょ http://rio2016.5ch.net/test/read.cgi/math/1586650355/596

597: 野暮天 [sage] 2020/04/13(月) 17:55:58.53 ID:ukZx7597 >>594 ＞望月は、ショルツほかの指摘にたいして、強情張ってるだけにみえる。 なるほど、箱入り無数目で 「見栄坊が、ここの読者の指摘にたいして、強情はってるだけ」 というのと同じじゃな 阪大が見栄坊の論文をアクセプトし出版する際には教えてくれるか ま、そんな事態は永遠に訪れないと思うが http://rio2016.5ch.net/test/read.cgi/math/1586650355/597

598: １３２人目の素数さん [sage] 2020/04/13(月) 17:56:31.61 ID:dqNdeGIH >>594 え？ 「証明は正しい」って会見済みですが。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/598

599: １３２人目の素数さん [sage] 2020/04/13(月) 17:56:34.52 ID:TnD+4OAc >>483 望月の側に査読者を選ぶ権利無し。 こんなことをいう時点で世界の笑いもの http://rio2016.5ch.net/test/read.cgi/math/1586650355/599

600: １３２人目の素数さん [] 2020/04/13(月) 17:57:11.18 ID:Y9js0GVd ID:my5S7sSz クダラナイこと言ってないで>>578に答えなさい 答えないなら間違いを認めなさい http://rio2016.5ch.net/test/read.cgi/math/1586650355/600

601: 野暮天 [sage] 2020/04/13(月) 17:58:29.32 ID:ukZx7597 >>592 ＞2世紀前の数学理論で十分なんでは？ そうじゃろな ２１世紀になってやっと双曲幾何が利用される状況じゃからな http://rio2016.5ch.net/test/read.cgi/math/1586650355/601

602: １３２人目の素数さん [] 2020/04/13(月) 17:59:48.10 ID:Lx5viamn >>596 モデリングに使う構成方程式や境界条件式を計測から求めた実測値をはめ込んで 方程式系をcloseさせるってこと普通にやりますけど、 それならいよいよ純粋数学理論の正しさとは筋違いの話ですよね http://rio2016.5ch.net/test/read.cgi/math/1586650355/602

603: 野暮天 [sage] 2020/04/13(月) 18:01:19.10 ID:ukZx7597 >>595 ＞漫画と芸能ゴシップ誌と競馬予想誌読み過ぎ 実はどれも大して読んでないがのう 競馬はやったことないな ギャンブルでやったことあるのは宝くじだけじゃのう http://rio2016.5ch.net/test/read.cgi/math/1586650355/603

604: 野暮天 [sage] 2020/04/13(月) 18:01:19.12 ID:ukZx7597 >>595 ＞漫画と芸能ゴシップ誌と競馬予想誌読み過ぎ 実はどれも大して読んでないがのう 競馬はやったことないな ギャンブルでやったことあるのは宝くじだけじゃのう http://rio2016.5ch.net/test/read.cgi/math/1586650355/604

605: １３２人目の素数さん [sage] 2020/04/13(月) 18:05:01.02 ID:TnD+4OAc >>598 分かってないまま正しいと認めたんだろう。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/605

606: 野暮天 [sage] 2020/04/13(月) 18:05:03.61 ID:ukZx7597 >>600 見栄坊は自分の長年の主張を撤回することは 自分の体面を失うことだと思っとるようじゃが・・・ そもそも数学を知らん素人に体面なんかないじゃろ なに思い上がっとるんかのう　あの大阪人は http://rio2016.5ch.net/test/read.cgi/math/1586650355/606

607: １３２人目の素数さん [] 2020/04/13(月) 18:05:46.40 ID:vvVnRe9y >>582 順序が逆なんだよね 普通プロ向けに国際会議でそれなりのコンセンサスを得てから記者会見でしょう プレプリントを公開したことでかえって批判されているのに、関係者ばかりが正しいと叫んでいる状況は明らかにおかしい http://rio2016.5ch.net/test/read.cgi/math/1586650355/607

608: 野暮天 [sage] 2020/04/13(月) 18:07:14.87 ID:ukZx7597 >>605 玉川は、望月が天才だと思い込んどるんじゃろうな 京都の数論幾何グループ全体が集団催眠にかかってる と考えたほうがよさそうじゃ 柏原氏はもらい事故みたいなもんじゃな http://rio2016.5ch.net/test/read.cgi/math/1586650355/608

609: １３２人目の素数さん [sage] 2020/04/13(月) 18:08:56.01 ID:dqNdeGIH >>605 なぜそんな事が分かるんですか？ http://rio2016.5ch.net/test/read.cgi/math/1586650355/609

610: 野暮天 [sage] 2020/04/13(月) 18:09:41.88 ID:ukZx7597 >>582 ＞これから、数学オセロゲームが始まります ＞おれら、ヤジウマは、数学オセロゲームを楽しむんだよ〜 見栄坊氏はアルツハイマー型認知症じゃろか なんか不健康な生活を送ってそうじゃからなあ http://rio2016.5ch.net/test/read.cgi/math/1586650355/610

611: １３２人目の素数さん [] 2020/04/13(月) 18:10:45.58 ID:Lx5viamn >>603 そうでしたかそれは失礼しました モデリングの正しさは経験則（実験との整合性）ですが、数学理論の正しさとは いまだにわかりません。嘘くさい数学理論で整合性だけはどう試しても満たしてるっぽい 数学理論でも、騙されたと思ってその数学理論でモデリングして数値計算したり、 間接測定した実測値があってたら、しかも何度追実験してもあってたら、 もちろん統計的にに偶然だった仮説が棄却される回数確認しても、一見嘘くさそうな 理論でピタリとモデリングが

できるようであれば実務屋では使ってみたくなると思います。 数学理論の正しさの尺度だけがどうしても切り分けできずに私の中で引っかかってます。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/611

612: １３２人目の素数さん [sage] 2020/04/13(月) 18:11:46.02 ID:TnD+4OAc >>609 説明できていないから. ちなみに、ギャップのない証明があるならば、機械で検証できる。 望月応援団は機械で検証できる証明を提示していない。 ゆえにギャップのない証明は存在しない。 事実として今現在存在しない。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/612

613: 野暮天 [sage] 2020/04/13(月) 18:13:19.15 ID:ukZx7597 ＞数学理論の正しさとはいまだにわかりません。 数学理論の正しさは無矛盾性じゃな・・・ただし証明不可能じゃが http://rio2016.5ch.net/test/read.cgi/math/1586650355/613

614: １３２人目の素数さん [] 2020/04/13(月) 18:15:07.63 ID:y67whNyF >>599 査読者っていうのは最低限会話しなきゃ能力がないから選べないの。 望月が選ぶんじゃなくてもな。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/614

615: １３２人目の素数さん [] 2020/04/13(月) 18:16:50.54 ID:y67whNyF >>612 あなたのいう機械って何。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/615

616: １３２人目の素数さん [sage] 2020/04/13(月) 18:17:24.00 ID:dqNdeGIH >>612 ここに書き込まれるより 望月先生のブログで指摘されてはいかがでしょうか http://rio2016.5ch.net/test/read.cgi/math/1586650355/616

617: １３２人目の素数さん [sage] 2020/04/13(月) 18:19:54.97 ID:TnD+4OAc コンピュータによる証明検証だよ。 今はそれが可能。 近い将来 「証明がわかる」ということを、コンピュータで証明可能な書き下しをすることを意味するようになるだろう。、 「証明になっている・なっていない」の押し問答でエネルギーを無駄に消費するのは意味がないから。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/617

618: １３２人目の素数さん [] 2020/04/13(月) 18:21:31.58 ID:Lx5viamn 数学理論内の論理だけで同じ数学理論に矛盾がない事の証明ができないことは、 有名なゲーデルの不完全性定理で証明されているんですよね だとしたら、ある数学理論が無矛盾であることの調査は、 コンピュータのマシンパワーをつかって、何らかのアルゴリズムで矛盾性の 再現を試みさせてみて、すごーーーーく長い時間（人力なら10000年分とか） 理論をこねくり回しても矛盾性を発見できなければ10000年かかっても矛盾を 発見できなさそうなほどの無矛盾な数学理論って主張でき

るって方針 で行うんですかね？ もちろん、矛盾探索アルゴリズムに不備がないことを何等かの検証をしつつ どういうアルゴリズムでどういう検証なのかよくわかんないですけどｗ http://rio2016.5ch.net/test/read.cgi/math/1586650355/618

619: １３２人目の素数さん [sage] 2020/04/13(月) 18:22:54.47 ID:TnD+4OAc 望月は今や、ケプラー予想の先行権を主張したウーイーシアンみたいな立ち位置だな。 これだからアジアンは、って言われないことを希望するよｗ http://rio2016.5ch.net/test/read.cgi/math/1586650355/619

620: １３２人目の素数さん [sage] 2020/04/13(月) 18:27:39.76 ID:vWi06T7g >>608 現役の遠アーベル専門家の玉川さんとたまたま担ぎ出された御大では全く違うし、御大に責任を 問う必要はない http://rio2016.5ch.net/test/read.cgi/math/1586650355/620

621: １３２人目の素数さん [sage] 2020/04/13(月) 18:28:16.88 ID:Ot14yWWM >>557 ももクロとは比較しないでいただきたい BABYMETALは文字通り桁違い 唯一世界でブレイクしたスター ももクロはBiSHにすら追い抜かれたヘタレ 世界で全く通用しないからこうなってる Reddit（世界最大の掲示板） コミュニティーのメンバー数(2020年4月9日) BABYMETAL 26292 AKB 5483 BAND-MAID 3968 Perfume 3796 さくら学院 3568 Aimar 2848 ONE OK ROCK 2410 きゃりーぱみゅぱみゅ 1874 乃木坂 1350 宇多田ヒカル 994 モーニング娘 974 欅坂 787

X JAPAN 578 嵐 576 ヨルシカ 519 マキシマム ザ ホルモン 479 LiSA 419 BiSH 377 ももクロ 345 http://rio2016.5ch.net/test/read.cgi/math/1586650355/621

622: １３２人目の素数さん [sage] 2020/04/13(月) 18:29:29.01 ID:Oetq8pjs >>612 > 望月応援団は機械で検証できる証明を提示していない。 > ゆえにギャップのない証明は存在しない。 未だかつて普通の数学者(Mac Laneの教科書のタイトルにある“working mathematicians”の意味で）が 機械つまりコンピュータで検証できるレベルの証明を提示したことなんて一度としてない Coqのようなコンピュータ上の証明検証システムで検証できる証明を提示していないのがNGというのならば フィールズ賞やアーベル賞の受賞者全員から賞を剥奪しない

といけなくなる http://rio2016.5ch.net/test/read.cgi/math/1586650355/622

623: １３２人目の素数さん [sage] 2020/04/13(月) 18:34:43.03 ID:vWi06T7g >>611 個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる http://rio2016.5ch.net/test/read.cgi/math/1586650355/623

624: １３２人目の素数さん [sage] 2020/04/13(月) 18:35:26.96 ID:TnD+4OAc >>622 ケプラー予想の証明はこの度機械で検証した。 査読者は99％正しいとといっていたが、残り1％の可能性を消すためにも必要だったのだろう。 今までの数学の確立された業績で、証明に疑問のあるものは存在しない。 望月のは現に異議存在する以上機械で検証にかけるよう求めるのは当然だろう。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/624

625: １３２人目の素数さん [sage] 2020/04/13(月) 18:43:57.57 ID:E/8DKtpa ケプラー予想の機械検証は提出者本人が主導してる。 逃げ回ってるRIMSとは真逆の対応。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/625

626: １３２人目の素数さん [] 2020/04/13(月) 18:44:52.44 ID:Lx5viamn コンピュータなんて結局1と0の二進数演算してるだけで、アルゴリズム書くのは今のところ でも、モンテカルロ法で「でたらめな」数学オブジェクト？を文字どうり「テキトー」に 組合せてみた記号列（文字列の文字の代わりに数学記号の組み合わせ）を乱暴にも公理と 見立ててマシンパワーつかって頭から矛盾性を検証する。もちろん、ほとんどのでたらめな 記号列は最初の一回の検証でNG判定になるので次の記号列を試す。 まったくの「テキトー」だと時間がかかりすぎて無駄なので

、既存の数学理論に数学者の 直感で当たりをつけて初期条件に多少の作為を入れる。 たとえばユークリッド幾何学公理系なら第5公準に当たりを付けて何通りかいじくる あるいは、機械学習かエキスパートシステムを使って、他の数学理論がブレークスルーした ときの発想をパターンで覚え込ませたり、教師付き学習させて、すべてランダムな試行錯誤 に多少インテリジェンス性をもたせる。 こうやって基本的にはランダムな数学オブジェクトの組み合わせを総当たりかすこし 入れ知恵を加味した探索をさせて、コンピュータが無矛盾そうな数学理論を発見するこ

と 「待つ」。 量子コンピュータのように破格のマシンパワーをつかえば、見通しの良い初期条件や、 入れ知恵や探索アルゴリズムや矛盾判定プログラムのセンスが良ければもしかしたら、 機械が新しい数学理論を自動で発見して、ある程度の検証までしてくれるかもしれない。 よくわかんないけど。 すいません数学の素人です。 機械学習で http://rio2016.5ch.net/test/read.cgi/math/1586650355/626

627: １３２人目の素数さん [sage] 2020/04/13(月) 18:57:43.10 ID:TnD+4OAc 最近の一流の棋士は将棋ソフトで学ぶそうだが、 もうすぐ数学者たちも機械にセンスを学ぶようになるだろう。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/627

628: １３２人目の素数さん [] 2020/04/13(月) 18:58:14.02 ID:Lx5viamn >>623 >個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく >ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる 「基本的な問題意識」の定義がわかりません。 もしかして数学者の研究動機をあなたの個人的な哲学で制限しようとしてますか？ 「強い理論」の定義がわかりません。 現代残っている数学理論は矛盾が発見されていない理論またはさしあたり矛盾が見

つからなさそうと数学者たちから考えられてる理論ですよね？ 数学は専門外なのでよくわかんないんですけど。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/628

629: １３２人目の素数さん [] 2020/04/13(月) 19:01:57.00 ID:R2NiC+iT >>627 あいつら先に定義がないと動けないので そういう部分をわかってあげれば 少々数学としておかしくても 多変数の多項式とかを秒殺で処理してくれるから助かる 多変数多項式環の元とかわけわかんねえもんｗ http://rio2016.5ch.net/test/read.cgi/math/1586650355/629

630: １３２人目の素数さん [sage] 2020/04/13(月) 19:02:05.14 ID:dqNdeGIH >>619 そうなら良いですね 「アジアンだから」の欧米からの塩対応でなければ倫理的には問題無しですもんね http://rio2016.5ch.net/test/read.cgi/math/1586650355/630

631: １３２人目の素数さん [] 2020/04/13(月) 19:09:47.38 ID:sx2gcUJv 508, 528-530, 560, 562, 569, 594あと野暮天さんは真相を語っている気がしますね my5S7sSzは消えてくれないかな http://rio2016.5ch.net/test/read.cgi/math/1586650355/631

632: 野暮天 [sage] 2020/04/13(月) 19:32:46.71 ID:ukZx7597 >>621 すまんかった　ももクロは個人的には好きなグループじゃがな BiSHはよう知らんのじゃ　BiSは知っとるが テラシマユフは脱北できてよかったのう Redditでさくら学院が上位に来とるのう 今お薦めのコは広島から来たスーパールーキーの戸高美湖（元　革命少女）じゃ あ、もう二年目になったからルーキーじゃないか http://rio2016.5ch.net/test/read.cgi/math/1586650355/632

633: 野暮天 [sage] 2020/04/13(月) 19:35:55.49 ID:ukZx7597 >>631 ＞my5S7sSzは消えてくれないかな 見栄坊自身のためにもそれがよいじゃろう 数学書を山ほど買い込んでもちっとも読みもせんとか無駄じゃろう さっさと全部売り払って、山でトマトでもつくったらよかろう グロタンディクみたいに http://rio2016.5ch.net/test/read.cgi/math/1586650355/633

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 369 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.023s