[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
597: 野暮天 2020/04/13(月)17:55 ID:ukZx7597(45/75) AAS
>>594
＞望月は、ショルツほかの指摘にたいして、強情張ってるだけにみえる。
なるほど、箱入り無数目で
「見栄坊が、ここの読者の指摘にたいして、強情はってるだけ」
というのと同じじゃな
阪大が見栄坊の論文をアクセプトし出版する際には教えてくれるか
ま、そんな事態は永遠に訪れないと思うが
598(1): 2020/04/13(月)17:56 ID:dqNdeGIH(1/4) AAS
>>594
え？
「証明は正しい」って会見済みですが。
599(1): 2020/04/13(月)17:56 ID:TnD+4OAc(2/8) AAS
>>483
望月の側に査読者を選ぶ権利無し。
こんなことをいう時点で世界の笑いもの
600(1): 2020/04/13(月)17:57 ID:Y9js0GVd(4/4) AAS
ID:my5S7sSz
クダラナイこと言ってないで>>578に答えなさい
答えないなら間違いを認めなさい
601: 野暮天 2020/04/13(月)17:58 ID:ukZx7597(46/75) AAS
>>592
＞2世紀前の数学理論で十分なんでは？
そうじゃろな
２１世紀になってやっと双曲幾何が利用される状況じゃからな
602: 2020/04/13(月)17:59 ID:Lx5viamn(6/10) AAS
>>596
モデリングに使う構成方程式や境界条件式を計測から求めた実測値をはめ込んで
方程式系をcloseさせるってこと普通にやりますけど、
それならいよいよ純粋数学理論の正しさとは筋違いの話ですよね
603(1): 野暮天 2020/04/13(月)18:01 ID:ukZx7597(47/75) AAS
>>595
＞漫画と芸能ゴシップ誌と競馬予想誌読み過ぎ
実はどれも大して読んでないがのう
競馬はやったことないな
ギャンブルでやったことあるのは宝くじだけじゃのう
604: 野暮天 2020/04/13(月)18:01 ID:ukZx7597(48/75) AAS
>>595
＞漫画と芸能ゴシップ誌と競馬予想誌読み過ぎ
実はどれも大して読んでないがのう
競馬はやったことないな
ギャンブルでやったことあるのは宝くじだけじゃのう
605(2): 2020/04/13(月)18:05 ID:TnD+4OAc(3/8) AAS
>>598
分かってないまま正しいと認めたんだろう。
606: 野暮天 2020/04/13(月)18:05 ID:ukZx7597(49/75) AAS
>>600
見栄坊は自分の長年の主張を撤回することは
自分の体面を失うことだと思っとるようじゃが・・・
そもそも数学を知らん素人に体面なんかないじゃろ
なに思い上がっとるんかのう あの大阪人は
607: 2020/04/13(月)18:05 ID:vvVnRe9y(8/9) AAS
>>582
順序が逆なんだよね
普通プロ向けに国際会議でそれなりのコンセンサスを得てから記者会見でしょう
プレプリントを公開したことでかえって批判されているのに、関係者ばかりが正しいと叫んでいる状況は明らかにおかしい
608(1): 野暮天 2020/04/13(月)18:07 ID:ukZx7597(50/75) AAS
>>605
玉川は、望月が天才だと思い込んどるんじゃろうな
京都の数論幾何グループ全体が集団催眠にかかってる
と考えたほうがよさそうじゃ
柏原氏はもらい事故みたいなもんじゃな
609(1): 2020/04/13(月)18:08 ID:dqNdeGIH(2/4) AAS
>>605
なぜそんな事が分かるんですか？
610: 野暮天 2020/04/13(月)18:09 ID:ukZx7597(51/75) AAS
>>582
＞これから、数学オセロゲームが始まります
＞おれら、ヤジウマは、数学オセロゲームを楽しむんだよ〜
見栄坊氏はアルツハイマー型認知症じゃろか
なんか不健康な生活を送ってそうじゃからなあ
611(2): 2020/04/13(月)18:10 ID:Lx5viamn(7/10) AAS
>>603
そうでしたかそれは失礼しました
モデリングの正しさは経験則（実験との整合性）ですが、数学理論の正しさとは
いまだにわかりません。嘘くさい数学理論で整合性だけはどう試しても満たしてるっぽい
数学理論でも、騙されたと思ってその数学理論でモデリングして数値計算したり、
間接測定した実測値があってたら、しかも何度追実験してもあってたら、
もちろん統計的にに偶然だった仮説が棄却される回数確認しても、一見嘘くさそうな
省2
612(3): 2020/04/13(月)18:11 ID:TnD+4OAc(4/8) AAS
>>609
説明できていないから.
ちなみに、ギャップのない証明があるならば、機械で検証できる。
望月応援団は機械で検証できる証明を提示していない。
ゆえにギャップのない証明は存在しない。
事実として今現在存在しない。
613: 野暮天 2020/04/13(月)18:13 ID:ukZx7597(52/75) AAS
＞数学理論の正しさとはいまだにわかりません。
数学理論の正しさは無矛盾性じゃな・・・ただし証明不可能じゃが
614: 2020/04/13(月)18:15 ID:y67whNyF(1/8) AAS
>>599
査読者っていうのは最低限会話しなきゃ能力がないから選べないの。
望月が選ぶんじゃなくてもな。
615: 2020/04/13(月)18:16 ID:y67whNyF(2/8) AAS
>>612
あなたのいう機械って何。
616: 2020/04/13(月)18:17 ID:dqNdeGIH(3/4) AAS
>>612
ここに書き込まれるより
望月先生のブログで指摘されてはいかがでしょうか
617: 2020/04/13(月)18:19 ID:TnD+4OAc(5/8) AAS
コンピュータによる証明検証だよ。
今はそれが可能。
近い将来
「証明がわかる」ということを、コンピュータで証明可能な書き下しをすることを意味するようになるだろう。、
「証明になっている・なっていない」の押し問答でエネルギーを無駄に消費するのは意味がないから。
618(1): 2020/04/13(月)18:21 ID:Lx5viamn(8/10) AAS
数学理論内の論理だけで同じ数学理論に矛盾がない事の証明ができないことは、
有名なゲーデルの不完全性定理で証明されているんですよね
だとしたら、ある数学理論が無矛盾であることの調査は、
コンピュータのマシンパワーをつかって、何らかのアルゴリズムで矛盾性の
再現を試みさせてみて、すごーーーーく長い時間（人力なら10000年分とか）
理論をこねくり回しても矛盾性を発見できなければ10000年かかっても矛盾を
発見できなさそうなほどの無矛盾な数学理論って主張できるって方針
省3
619(1): 2020/04/13(月)18:22 ID:TnD+4OAc(6/8) AAS
望月は今や、ケプラー予想の先行権を主張したウーイーシアンみたいな立ち位置だな。
これだからアジアンは、って言われないことを希望するよｗ
620: 2020/04/13(月)18:27 ID:vWi06T7g(3/13) AAS
>>608
現役の遠アーベル専門家の玉川さんとたまたま担ぎ出された御大では全く違うし、御大に責任を
問う必要はない
621(1): 2020/04/13(月)18:28 ID:Ot14yWWM(2/3) AAS
>>557
ももクロとは比較しないでいただきたい
BABYMETALは文字通り桁違い
唯一世界でブレイクしたスター
ももクロはBiSHにすら追い抜かれたヘタレ
世界で全く通用しないからこうなってる
Reddit（世界最大の掲示板）
省20
622(1): 2020/04/13(月)18:29 ID:Oetq8pjs(1) AAS
>>612
> 望月応援団は機械で検証できる証明を提示していない。
> ゆえにギャップのない証明は存在しない。
未だかつて普通の数学者(Mac Laneの教科書のタイトルにある“working mathematicians”の意味で）が
機械つまりコンピュータで検証できるレベルの証明を提示したことなんて一度としてない
Coqのようなコンピュータ上の証明検証システムで検証できる証明を提示していないのがNGというのならば
フィールズ賞やアーベル賞の受賞者全員から賞を剥奪しないといけなくなる
623(1): 2020/04/13(月)18:34 ID:vWi06T7g(4/13) AAS
>>611
個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく
ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる
624: 2020/04/13(月)18:35 ID:TnD+4OAc(7/8) AAS
>>622
ケプラー予想の証明はこの度機械で検証した。
査読者は99％正しいとといっていたが、残り1％の可能性を消すためにも必要だったのだろう。
今までの数学の確立された業績で、証明に疑問のあるものは存在しない。
望月のは現に異議存在する以上機械で検証にかけるよう求めるのは当然だろう。
625: 2020/04/13(月)18:43 ID:E/8DKtpa(5/5) AAS
ケプラー予想の機械検証は提出者本人が主導してる。
逃げ回ってるRIMSとは真逆の対応。
626: 2020/04/13(月)18:44 ID:Lx5viamn(9/10) AAS
コンピュータなんて結局1と0の二進数演算してるだけで、アルゴリズム書くのは今のところ
でも、モンテカルロ法で「でたらめな」数学オブジェクト？を文字どうり「テキトー」に
組合せてみた記号列（文字列の文字の代わりに数学記号の組み合わせ）を乱暴にも公理と
見立ててマシンパワーつかって頭から矛盾性を検証する。もちろん、ほとんどのでたらめな
記号列は最初の一回の検証でNG判定になるので次の記号列を試す。
まったくの「テキトー」だと時間がかかりすぎて無駄なので、既存の数学理論に数学者の
直感で当たりをつけて初期条件に多少の作為を入れる。
省13
627(1): 2020/04/13(月)18:57 ID:TnD+4OAc(8/8) AAS
最近の一流の棋士は将棋ソフトで学ぶそうだが、
もうすぐ数学者たちも機械にセンスを学ぶようになるだろう。
628(1): 2020/04/13(月)18:58 ID:Lx5viamn(10/10) AAS
>>623
>個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく
>ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる
「基本的な問題意識」の定義がわかりません。
もしかして数学者の研究動機をあなたの個人的な哲学で制限しようとしてますか？
「強い理論」の定義がわかりません。
現代残っている数学理論は矛盾が発見されていない理論またはさしあたり矛盾が見つからなさそうと数学者たちから考えられてる理論ですよね？
省1
629: 2020/04/13(月)19:01 ID:R2NiC+iT(1) AAS
>>627
あいつら先に定義がないと動けないので
そういう部分をわかってあげれば
少々数学としておかしくても
多変数の多項式とかを秒殺で処理してくれるから助かる
多変数多項式環の元とかわけわかんねえもんｗ
630: 2020/04/13(月)19:02 ID:dqNdeGIH(4/4) AAS
>>619
そうなら良いですね
「アジアンだから」の欧米からの塩対応でなければ倫理的には問題無しですもんね
631(1): 2020/04/13(月)19:09 ID:sx2gcUJv(3/3) AAS
508, 528-530, 560, 562, 569, 594あと野暮天さんは真相を語っている気がしますね
my5S7sSzは消えてくれないかな
632: 野暮天 2020/04/13(月)19:32 ID:ukZx7597(53/75) AAS
>>621
すまんかった ももクロは個人的には好きなグループじゃがな
BiSHはよう知らんのじゃ BiSは知っとるが
テラシマユフは脱北できてよかったのう
Redditでさくら学院が上位に来とるのう
今お薦めのコは広島から来たスーパールーキーの戸高美湖（元 革命少女）じゃ
あ、もう二年目になったからルーキーじゃないか
633: 野暮天 2020/04/13(月)19:35 ID:ukZx7597(54/75) AAS
>>631
＞my5S7sSzは消えてくれないかな
見栄坊自身のためにもそれがよいじゃろう
数学書を山ほど買い込んでもちっとも読みもせんとか無駄じゃろう
さっさと全部売り払って、山でトマトでもつくったらよかろう
グロタンディクみたいに
634: 野暮天 2020/04/13(月)19:41 ID:ukZx7597(55/75) AAS
＞これだからアジアンは
それはないじゃろ
岡潔はともかく、S.S.Chern（陳省身）も小平も認められたんじゃから
635(1): 2020/04/13(月)19:42 ID:Ot14yWWM(3/3) AAS
iTunesアルバム ワールドワイド(最新アルバム)
BABYMETALが日本の頂点である
ワールドワイドに人気の無いアーティストは下位となる
Worldwide iTunes Album Chart
1位 BABYMETAL - METAL GALAXY 2019/10/11
2位 宇多田ヒカル - 初恋 2019/06/27
4位 ONE OK ROCK - Eye of the Storm 2019/02/15
省20
636: 野暮天 2020/04/13(月)19:49 ID:ukZx7597(56/75) AAS
>>635
宇多田ヒカルを抜いたのか？！
そりゃスゲェ！！！
637(2): 2020/04/13(月)19:49 ID:DYqPl9DE(4/9) AAS
>>611
>もちろん統計的にに偶然だった仮説が棄却される回数確認しても、一見嘘くさそうな
>理論でピタリとモデリングができるようであれば実務屋では使ってみたくなると思います。
>数学理論の正しさの尺度だけがどうしても切り分けできずに私の中で引っかかってます。
どうも
その感じよく分かります
ところで、数学にも、モデル理論があります
省18
638: 野暮天 2020/04/13(月)19:52 ID:ukZx7597(57/75) AAS
>>637
見栄坊よ おぬしの職場 まだ社員を出勤させとるのか
5chに書き込みするだけの社員とか 出勤させる意味なかろう
639: 野暮天 2020/04/13(月)19:55 ID:ukZx7597(58/75) AAS
>>637
＞数学にも、モデル理論があります
数理モデルのモデルと、モデル理論のモデルが
同じじゃと思うヤツをはじめてみたわい
定義を確認せんヤツはこれじゃから困るのう
640(2): 2020/04/13(月)19:56 ID:sMk8UGpY(1) AAS
望月の証明は正しい。
ショルツの指摘は正しい。
つまり、3.11から3.12は導かれるとも、導かれないとも言える。
ＡＢＣ予想は証明できたとも、証明できていないとも言える。
俺が前々から言ってるように、ＡＢＣ予想は決定不能な命題なんだぜ。
641: 野暮天 2020/04/13(月)19:59 ID:ukZx7597(59/75) AAS
>>618
もし、ショルツが「IUTは矛盾している」と主張しているなら
その証明責務はショルツにあるじゃろうな
しかし、ショルツがいってるのは
「系3.12について、望月の方法では証明できそうもない」
ということじゃから、証明になっていることを示す責務は望月にある
642: 野暮天 2020/04/13(月)20:01 ID:ukZx7597(60/75) AAS
>>640
もしABC予想が決定不能問題なら
望月の証明は間違ってることになるのう
望月とショルツの主張が両立することはない
643: 野暮天 2020/04/13(月)20:03 ID:ukZx7597(61/75) AAS
もし見栄坊が望月を応援する行動が
「オリンピックで日本人選手を応援する行動」
と同じじゃとしたら
数学には全く興味がないっちゅうことじゃのう
数学者にとって、ある問題を解いた人が
自国の人間か否かはどうでもええことじゃ
644: 2020/04/13(月)20:03 ID:ZctrM3uq(1/2) AAS
>>640
ゴミクズは黙ってろ
決定不能なら証明したではなく決定不能が答えだ
645(2): 2020/04/13(月)20:06 ID:ZctrM3uq(2/2) AAS
日本はもうダメだな
この望月関連で確信した
数学がこの体たらくならもう日本に未来はないね
646: 野暮天 2020/04/13(月)20:07 ID:ukZx7597(62/75) AAS
ところで、この次のスレは数学板じゃのうて
ニュー速板にでも立てたらどうじゃろう？
どうせ数学の話などできんのじゃろう？
647: 2020/04/13(月)20:11 ID:B1CiQ8tU(1/3) AAS
abc予想が正しいと思えない
648(1): 野暮天 2020/04/13(月)20:13 ID:ukZx7597(63/75) AAS
>>645
＞日本はもうダメだな
わしはコロナの件でそう確信したがのう
検査はせん 補償は出さん 下らん動画はのせる
この国の首相は国民を蔑ろにしとる
外部ﾘﾝｸ:www.instagram.com
これが民主主義か？
省2
649: 2020/04/13(月)20:17 ID:vWi06T7g(5/13) AAS
>>645
少なくとも望月やらショルツやらこの件に関わってる数学者なんかごく一部だからな
目立つからって全てであるかのように扱うのはおかしい
650: 2020/04/13(月)20:17 ID:y67whNyF(3/8) AAS
盲人象をなでる以前かと
651: 2020/04/13(月)20:20 ID:B1CiQ8tU(2/3) AAS
みんなすごいと言ってるけど何がどう凄いのか全然わからない
すごいからすごい
652: 2020/04/13(月)20:21 ID:vWi06T7g(6/13) AAS
>>628
それについて具体的に述べるのは勿体ないから言わないw
653(1): 野暮天 2020/04/13(月)20:21 ID:ukZx7597(64/75) AAS
今に日本でも感染爆発がおきる
検査しとらんのじゃからそこらに潜在的感染者は山ほどおるじゃろ
貧困層を中心に死者が出るのは目に見えている
みんな今の政権の富裕層優遇政策のせいじゃ
だれが本当に働いてるのかわかっとらんな
金持ちは金だけ持っててもちっとも働きもせん
働くヤツがおらなくなったら金なんか無意味じゃ
省2
654: 2020/04/13(月)20:23 ID:DYqPl9DE(5/9) AAS
>>648
648 名前：野暮天[sage] 投稿日：2020/04/13(月) 20:13:29.17 ID:ukZx7597 [63/63]
[63/63]か、暇人だなｗ（＾＾；
655: 2020/04/13(月)20:23 ID:DYqPl9DE(6/9) AAS
>>653
ID:ukZx7597 [64/64]か
暇人だなｗｗ
656(1): 野暮天 2020/04/13(月)20:27 ID:ukZx7597(65/75) AAS
＞暇人だな
うらやましいか？
おぬし 仕事やめたらよかろう
どうせ職場でも５ｃｈにかきこみするだけじゃろう
まさにデヴィッド・グレーバーのいう🐄💩仕事じゃな
657(1): 野暮天 2020/04/13(月)20:30 ID:ukZx7597(66/75) AAS
>>656
＞デヴィッド・グレーバーのいう🐄💩仕事じゃな
いかんいかん、正確には🐂💩仕事らしい
658: 2020/04/13(月)20:30 ID:B1CiQ8tU(3/3) AAS
たかだか有限個のたかだかって何？
数学者特有の言い回し？
659(2): 2020/04/13(月)20:43 ID:DYqPl9DE(7/9) AAS
>>657
おサル、今度は”野暮天”名か
クスリ変わったかのか？ ｗ（＾＾；
660: 2020/04/13(月)20:44 ID:DYqPl9DE(8/9) AAS
>>659 訂正
クスリ変わったかのか？ ｗ（＾＾；
↓
クスリ変わったのか？ ｗ（＾＾；
ロリっちまったな
分かるとおもうが（＾＾
661: 野暮天 2020/04/13(月)20:46 ID:ukZx7597(67/75) AAS
>>659
見栄坊は、サイコパスに効く💊が無くて残念じゃのう
662: 野暮天 2020/04/13(月)20:53 ID:ukZx7597(68/75) AAS
さてそろそろBS-TBSの酒場放浪記でも見るか
663(3): 2020/04/13(月)21:12 ID:rJ1EYo/f(1) AAS
math_jinという方が、やたらと、ショルツが読めないと言っている
Cor 3.12の説明は、望月のどこそこ、星のどこそこ、山下のどこそこ
に書いてあるとツイードしているが、math_jin自身は読めているから
そういうツイードをしているのでしょうか。自分が読めないのに
なんでそんなツイードが可能なのだろう。
664: 2020/04/13(月)21:22 ID:fhSCJULt(1) AAS
>>663
なんでこのスレにそれを書くんだ
直接言ってこいよチキンが
665(1): 2020/04/13(月)21:23 ID:vWi06T7g(7/13) AAS
>>663
ショルツはIUTでやりたいことも最低限は理解してる
仕組みをわかった上でおかしいと言ってる。論争は普通の数学者からすればSSが有利だが、
別に誰も全否定はしてない。説明できるまで認めないよ、という状態。アンチとか関係なくWoitの言う通り
まあ現状これ以上ああだこうだ言うのは確かに無駄だろう。アクセプトしたからって正しい前提で
見てくれるほど甘くはないってこと
666: 2020/04/13(月)21:25 ID:vvVnRe9y(9/9) AAS
読めるならWoitのブログのコメントに対して何か反論するだろう
667(1): 2020/04/13(月)21:34 ID:y67whNyF(4/8) AAS
>>665
普通の数学者って誰のこと?
そもそも、シュルツに対しての望月の返答が放置されてる時点で
外径的にはSSが不利に見えるが。
668(2): 2020/04/13(月)21:46 ID:xkqYGVs+(1) AAS
ジョン・コンウェイがコロナで亡くなったね
2020年4月11日、2019新型コロナウイルス（COVID-19）が原因で死去。82歳没。
669: 2020/04/13(月)22:05 ID:GJRuKvRa(3/5) AAS
モッチーの反論に再反論せずに、査読完了まで何やってたん？ｗ ショルツさん
670: 2020/04/13(月)22:22 ID:2GaqU2jz(1) AAS
>>668
マジか…もう一つぐらい面白い有限群本を書いてほしかった
ご冥福をお祈りいたします
671(1): 2020/04/13(月)22:45 ID:gu1owv/0(1) AAS
ショルツはRemark5で赤っ恥間違い、そして望月再反論に対しだんまり
672(1): 2020/04/13(月)22:50 ID:vWi06T7g(8/13) AAS
>>667
普通の数学者とは、SSレポートと望月レポートを比較する者のこと
それは多くて千人いそうだが、論文まで読んでるのは百人いるかどうか
勿論望月が正しい可能性自体はゼロじゃない
673: 野暮天 2020/04/13(月)22:51 ID:ukZx7597(69/75) AAS
誤 ツイード
正 ツィート
綴り確認しような 坊や
674: ◆QZaw55cn4c 2020/04/13(月)22:53 ID:2HELtJr7(1) AAS
>>668
ライフゲームの人ですか！
675(1): 2020/04/13(月)22:55 ID:y67whNyF(5/8) AAS
>>672
日本でSS支持してる人いる?
海外に数人しかいないと思うが。
それに、議論の経緯だけ見たら、SSの分が悪いけどな。
676(1): 2020/04/13(月)23:02 ID:vWi06T7g(9/13) AAS
>>675
それはただの印象論じゃん。議論の経緯ってレポートの構造論を比較することよ？
あと、SSを完全支持するのとIUTに懐疑的なのは近いけど別の話だから
677(1): 2020/04/13(月)23:04 ID:y67whNyF(6/8) AAS
>>676
いやそもそも批判になってなかったんよ。
レポートが。
だから、すれ違いになってたので、
再批判が不可欠だったのにしなかった。
上下前次1-新書関写板覧索設栞歴
あと 325 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.026s