「ABC予想」の証明理論、欠陥見つけたら1.4億円

数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論について、ドワンゴ創業者で実業家の川上量生（のぶお）さんが7日、「間違いの証明」に100万ドル（約1億4千万円）の賞金をかけると発表した。
https://www.asahi.com/sp/articles/ASR7731Y5R76TOLB018.html

>>264
アホくさ　1人て自問してくれ

>259
加藤文元IUT本は望月新一の監修と明言
したのは川上量生あとがき



>

>>267
新しい数学と自分で言ってるじゃんw

>言語体系IUT語はさらに未完成だそうだ
未完成って言ってるのか？
それに未完成なのは概要を伝える言葉だし
発展形まで含めた数学としての論理性にまつわる言葉の問題なんじゃない？

>>268
数学としての概念として伝える言葉はまだないって意味のものを
IUTT≠数学

>>268
信者とかアホくさいことを言い出したのはそっちだからね。

>>269
新しいといえば　なんでもあり

>>271
信者でしょ　すまん信奉者かな

>>271
ダブスタが発覚した御大やったら、どないすんねん！

アンカー付け間違い(ฅ_ฅゞ)ｺﾞﾒﾝﾖ~

>>272
数学じゃないと加藤が言ったってのは
明らかな嘘だろ
嘘つきなんだから黙れよ

>>276
はあ、
加藤文元は新しい数学といったな
信奉者さん

>259 に尽きるな

>>273
信者vsアンチの二元論でしか考えられない人はそんなふうにバイアスがかかったものの見方をしてしまうわけだねえ。
しかも「(アンチである)自分に反論するのは信者に違いない」という短絡思考。

俺は別にIUTが正しいと信じてはいないしそんな判断ができる能力もない。
IUTが正しいと認められたら面白いと思うが実際にはやや分が悪いとも思っている。
そんなバックグラウンドでドワンゴ川上賞の話を聞いたときは悪い話じゃないと思ったが
意外と否定的な人がいたんで突っ込んで聞いてみた次第。
それが>>264といことであれば腑に落ちたな、と。

>>279
信者の反対がアンチとはなw
自問自答していてくれ

>>279
分が悪くなってから動機をすり替えるなよw

>分が悪くなってから

意味が分からんが、分が悪くなる前ってのはどのレスのことを言ってるのかね？

>>282
新しい数学は数学なのに
どのような新しい数学かを構成している中身の難しさを説明してる部分を切り取って
IUTT≠数学と断言してたじゃん？
途中から中立ぶってるけどいちゃもんのつけ方はアンチだったろw

>新しい数学は数学なのに

PRIMSはIUTTが全く新しい理論
と言ったなあ

>>283
俺はIUTの中身について議論したことなんかないんだが？

>俺はIUTの中身について議論したことなんかない

レスみれば、ID:YL8xfPJoはIUTの中身について今まで自問自答していて一度も議論したことなんかないのだろう

ID:YL8xfPJo vs ID:nXy+r9PE

で続きをどうぞ

博士号も持ってない連中がいったい何を騒いでいるのやら

ドワンゴの川上量生さんのことかな？
川上さんは学位がなくてもカネを持って
いるらしいし、IUTに賞金を出すから
群がり騒ぎになったんじゃ、

１．４億円を賭けでベットしたのは、ショルツェがcor.3.12を否定したレポートで挑戦しない、あるいは、挑戦しても受理されるこない、読みがあるのだろう。

Kirti Joshiが,Woitのブログで、

(6) For the lay-readers, in mathematical logic, a false proposition can be used to arrive at any conclusion one wants. So Scholze-Stix report provides no useful conclusion regarding Mochizuki’s work.

(6)素人読者のために説明しておくと、数理論理学では、偽の命題を使えばどんな結論にも到達できる。だから、Scholze-Stixの報告は望月の仕事に関して有益な結論を提供しない。

ここまで正面から否定されて、Dupuyと議論に出てきたときのように、ショルツェが回答せずに消極的（にげちゃう)ならば、１．４億のベットの賭けは正しかったということになるのだろう。

まず望月がやらないといけないのはiutを数学に翻訳すること

Woitは、Kirti JoshのCorollary 3.12の指摘のブログ回答を上記にしたので、
専門家でコメントがなければ、Corollary 3.12で致命的な欠陥があると主張した、
ショルツェがコメントする順である。

I’ve expressed no opinion and have no opinion about the validity of your argument that the Scholze-Stix objection can be overcome,
allowing a proof of Corollary 3.12 and thus abc. Here I have just been stating the obvious: the way to conclusively resolve this is to produce
such a proof and have it carefully checked by experts.

私は、これを決定的に解決する方法は、そのような証明を作成し、専門家に注意深くチェックしてもらうことである、
という当たり前のことを述べただけである

joshiはnogo Th.を知らないのだろう。
今やDupuyとJoshiは望月IUTの宣伝員のようだ

NoGo says:

誰かな？笑った、
素粒子関係者かな
woit氏は当然意味がわかるだろう

ヤギには前から近づくな。馬には後から近づくな。愚か者にはどの角度からも近づくな。

金をかけて人を群がらせれば解決が早まる可能性はあるが、人的資源の無駄遣いを助長するだけの気もする。
所詮、最初の1人がすべてを取るの競争だからだ。
　地味な分野の研究にはお金は出ずに、マスコミ受けするセンセーショナルな研究ばかりに光があたるという
負の側面もあると思う。

>>289
べつに金が惜しいわけでもないだろう。
どっちかというと授賞でもう一度ニュースになる方が本人の希望なんじゃね。

まあもうこの話は数学の世界では終わったもの扱いだしこの1.4億も特にオレがとってやろうとか思うやつもいない
みんな自分の研究に戻ってる
数学とは縁もゆかりもないのだけが騒ぎ続けてる構図

＞審査は非公開で、川上さんが数学者の意見を元に独自に判断する。

学部卒の門外漢が独自判定。
既成事実化が目的にしか見えない。

>>291
>ショルツェがコメントする順

いや、ショルツェ氏へ望月新一とミーティングを提案した森重文教授は未だにコメントしていない。IUTスキャンダルの責任は重大だからコメントしろよ

もう誰もコメントなんかせんやろ

こんなに時間かけても明確に答えが出ないなんて数学という学問自体に欠陥があるんじゃないか？

答えなんかとうにでとる
アホが騒ぎ続けてるだけ

>>298
角川IUT本と同じく、背景にいる望月新一加藤文元フェセンコの代弁者でしょ

極めて何か数学に対する侮辱を感じます

>>302
賞金獲得おめ

これか？
↓
>0467 １３２人目の素数さん
2023/06/14(水) 05:07:08.80


モチーが京都賞ってマジか？


ID:WtlYRRgX


>0468 １３２人目の素数さん
2023/06/14(水) 08:48:23.37 


モッチーおめ

ID:k5twBcPw
　

>>298
あんなポッと出の賞が既成事実になるわけないのは誰だってわかってると思うが。
つか、それなら既にPRIMSがあるのに。

PRIMSの見解　

現代の数学では禁じ手　矛盾の活用

京大RIMS教授 PRIMS特別編集委員会
委員長.玉川安騎男 博士
「いわば現代の数学では、禁じ手になってるようなことも取り入れて、何かできないかということを考えたということなんですね。
1＋1は2でありながら、1＋1は5であるとか。二つの直線が交わるということが起こりながら交わらないとか。
本来だったら矛盾が起こるようなことを、活用できないかと考えた」
NHKスペシャル

>>308
数学は既存の数学にない新たな概念を後に容認して組み入れて範囲を広げてきたものだから
その考えは完全に受け入れられる
あとは様々な応用を既存ももしくは未解決な他の問題に応用出来るかどうかが勝負
それらが可能ならば新たに数学の範囲が広がることになる

ここでjoshiがコメントしてる
読む限り、SSペーパーの反論は筋違いと読める
https://www.math.columbia.edu/~woit/wordpress/?p=13573#comments

woitブログでのjoshi、dupuy、Scholzeのコメント合戦ももう二年前（Woitもまだそのことを根拠にSSを擁護）で、joshiによると二年前の議論から状況は変化していて、stixは態度を変えたらしいし、Scholzeもjoshiの意見には賛同してるらしい

若い人たちが動きつつあるようだ

>>309
なんでめありは数学ではないよ

>>309
なんでもあり、は数学ではない

自己矛盾していたら「あり」にはならない

Scholze-Stix文書のCor.3.12の指摘は、

Joshiの主張：
My mathematical conclusion is that Scholze-Stix claim is based on a flawed premise.
に反論のコメントをしないで、

Ｗｅｂの私的文書で掲載し続けるのは、とても社会的に出来ないと思う。
何もしないのならば、それはWoitのブログでは、「積極的に応対しないところが問題と思われる」との意見も既に出ている。

あとは、Woitブログの「Million Dollar Prize for Scholze and Stix」のとおり
雑誌に投稿して懸賞１．４億円の挑戦もできる。

>>あとは、Woitブログの「Million Dollar Prize for Scholze and Stix」のとおり
>>雑誌に投稿して懸賞１．４億円の挑戦もできる。

いつまでもこういうおふざけネタにされるつもりはないのでは？

ショルツの完敗のままショルツが逃げている状態

ショルツェはジョシとの最近の議論で
「あ、オレ間違ってたな...」
と気づいたけど、欧米の数学者あるある＝謝らないでこのままフェードアウトを狙ってるんだろうな

もうとっくに終戦しているのにゴキブリのようにいつまでもしがみつくゴミ

この世をば我が世とぞ思ふ望月の
欠けたることもなしと思へば

あと10年くらいしたらAIが決着つけてくれてるんじゃないかな？

だって証明に欠陥があることを示されてしまったから
望月新一が逆ギレして自分が編集長の論文誌に載せて誤魔化したって
話しだろ
何言ってんだか

だってレフェリーするような連中から証明の欠陥を指摘されてる状態なのに
何ほざいてんのアホども
悔しかったら自分が編集長やってる雑誌に投稿なんて胡散臭いことやらないで
例えばアメリカの数学会の雑誌に投稿とかすればいいだろ

>>323
勘違い思い込みが激しすぎる

代数の世界の人はこの理論を真面目に勉強してないの？
何時までも何だか宙ぶらりんな印象でスッキリしない
国際的な学会はハッキリさせるために何かアクションすべきでは

>324
PRIMSは、RIMSの「専任研究員の数理解析に関連する重要な結果を欧文で公表する専門誌」だからだろ。
下記のRIMSのWebに主旨が書かれている。

編集長は、まずRIMS刊行物の組織方針を率先すれば、専任研究員として「数理解析に関連する重要な結果」を投稿する。
だから編集長の投稿の場合は、他でもあるので、代行というケースが出てくるのだろ。

学術刊行物
専任研究員の研究成果をはじめとして、数理解析に関連する重要な結果を欧文で公表する専門誌として、「Publications　of　RIMS 」を1965年以来１巻ずつ刊行している。そして、刊行後5年経過した論文は、欧州数学会のホームページで無料公開している。また、科学技術振興機構のJ-STAGE、当研究所のホームページでも一部公開している。また、専任研究員の研究成果を印刷出版前に公表配布するための「RIMS　Preprints（論文前刷）」を、年間３０編程度、当研究所のホームページで公開している。

https://www.kurims.kyoto-u.ac.jp/kenkyubu/gaiyou/list.html

望月論文に関して好き勝手言えるのが
ショルツェだけだというのは情けない
整数論専門の有志が
望月論文の読み合わせだけを目的とした
国際研究集会を開いたらどうだろう

>>323
こういう低レベルな理解の輩ばかりだから、いつまでたっても解決確定しねーんだな

2014年12月
望月新一京大教授のIUTT検証活用の報告では、IUTを準備論文から深く理解しているのは望月新一しかいないと公言している。
数学の実績がある有名な数学者でも全く新しい理論IUTTではど素人扱いされ
望月新一に指導された中核的な理解者は京大の山下剛.星.サィディの3名ていくと。
数学より裸の王様教団といわれているが
そうだろうね。
ショルツェ氏へ望月新一とのミーティングを提案した森重文京大教授はそのあとノーコメントで逃げ回っいる

>>330
×3名ていくと。 ○3名。

>>330
数学会も白黒ハッキリさせなくてはいけないとは思ってないのかね？

>数学会も白黒ハッキリさせなくてはならない

正しいかどうかは望月新一IUTT提唱者
のみにより決まる、といってる。
京大のスキャンダルだから関係者は逃げ回っているんだろ。

>>325
勘違い思い込みが激しすぎる

だって証明に欠陥があることを示されてしまったから
望月新一が逆ギレして自分が編集長の論文誌に載せて誤魔化したって
話しだろ
何言ってんだか

レフェリーするような連中から証明の欠陥を指摘されてる状態なのに
何ほざいてんのアホども
悔しかったら自分が編集長やってる雑誌に投稿なんて胡散臭いことやらないで
例えばアメリカの数学会の雑誌に投稿とかすればいいだろ

>>329
こういう低レベルな理解の輩ばかりだから、いつまでたっても解決確定しねーんだな

なんでAnnals of Mathematicsとかに出さなかったんだろうね
広告代理店的ムーブは怪しまれる原因になるからやめた方がいい

白黒をはっきりさせたいだけなら
1000万円で数論の若手を
世界中から集めて
２週間ほどの勉強会をすれば十分なのでは？

>>339
ていうか代数の世界の人はこの理論
理解しようと勉強はしてないのかね
証明に問題が無ければ金字塔として
多くの問題の解決に道を開くんでしょ
重要性からすれば世界中でよってたかって
真偽をハッキリさせようとするはずと思うのだけど

お話にも何にもなってないとこれだけ言われてもまだわからない
高木と同レベル

>>336
>レフェリーするような連中
持ち回りていうか適当な人に依頼してるだけよ

高木は何故かここで頑張ってればいつか自分の論文を理解できる真の天才の目に止まって自分の論文が世に出ると信じてる
ここのモッチー信者も同じ
ここで何をほざいても意味がない事が理解できない

まぁガロアの群論だって認められるまで40年くらいかかってるわけだし

イヤ、ここでなんか言ってたら何かぎ怒るという夢幻から逃れられない高木レベルのアホの話をしてる

アンチはほっとけばいい
コンピューターサイエンスの分野で本当に少しづつだけど広まってるから

イヤ、俺の言ってる事わかる？
お前ら何を期待してるの？
世界のほとんどの数学者はアホ
一握りの10に前後の天才たちだけがわかる数学がある
彼らの偉大さを声高に叫んでいればいつかアホどもにもわかる日が来る
とか思ってんの？
高木のロジックと同じ事言ってるってわからん？

レフェリーはMとG

まだ多数決で決めようと頑張ってるバカ
どうしてわからんの？
自分たちがやってる事が高木と一緒だと？
糖質の話で「おまえのやってる事は糖質の典型症状」と言われて糖質同士で話しをさせても「あいつの言ってる事は頭おかしい、でも俺のはあってる」に終始するらしいけどそれか？
自分の言ってる事のおかしさわからん？

>IUT理解の数学者は３名

IUTTは数学理論でなく全く新しい理論で
、そりゃIUT教会は望月教祖がトップにいて下に信者のグループ、中核的理解者3名→とりまき→理解者→バカ応援団→教団ホケツのしくみだから、

まずIUTをLLMに学習させてそれをネットで公開すれば理解者は増えるんじゃないかな

>>350
SS文書が誤りの命題で有益でないとの意見、査読の通過、雑誌の会見で実名で支持した者がいるのに、SS文書の前提の指示は自己寄稿のレビュー以外に実名の支持者がないならば、有益でないのだろう。
コンピューターはSS文書が偽の命題かを調べるの?

あんだけ丁寧に望月論文の何が問題になってるか解説してやったのにまだわからない
多分一生わかる見込みはない

加藤さんは一生IUTにぶら下がるつもりなのかもしれないが完全に賞味期限切れ。もう誰も興味無いし実際大した話題になっていない。

>>354
ほんとに理解して書き込んでんのか？
SS文書は専門家に嘲笑されてるんだけれども
指示してるのは底浅い野次馬だけだよwww

専門家ってIUTの理解者とか信奉者とか

>>356
文章書いた本人が理解してるかを問題にする必要がどこにある？
書いてある内容読めば正しいかどうかわかる
あれでほとんど理系の人間は何が問題になってるか理解できてる
わからんのは数学の勉強など一度もした事ないのに何故か自分は数学勉強してきた人間より数学の話がわかると思ってる能無しのゴミだけ

>>358
いやいや、複数の第三者がSS文書の「おかしさ」を指摘してるでしょうよ
それに対して内々だがSSは指摘した者に謝意もしめしてる
そんなおかしな文書を「理解」できて何になる？

後半は自己紹介乙

そりゃおかしい解釈しかできないからそれをSS文書は言ってるのに、
それはおかしいと難癖つける頭の悪い人に何言っても通じないでしょ。

>>359
だから“誰がどう言った”とか関係ない
数学勉強した人間は相手の書いた文章そのもので判断する
そしてその判断のもとで数学勉強した経験のある奴は俺の文章の正しさを確認したんだよ
それが便所の落書きの文章かprimsに載った文章かなと関係ない、純粋にその書いてある文章の正しさで判断できる、それができるようにみんな何年も人生の大切な時間を数学に捧げてるんだよ
そんな人間たちの努力を嘲笑って
「天才、京大、正しいに決まってるやん」とか言ってんのがバカだって言ってるんだよクズ

要点はこの2点
・ショルツェしかIUTに対して異議を唱えていない
・そのショルツェの異議に対しては複数の第三者が問題を指摘している

つまり客観的に公平に見れば
ショルツェが間違っている

望月自身が積極的に説明責任を果たしてないわけだから実は自身で何らかの欠陥に気づいているのでは？というふうに勘ぐってしまう

>>362
要点はお前が数学など一度も勉強したこともないのに数学を懸命に勉強したこの板の多くの住人より正しい判断が下せると思ってるクソみたいな人格だよ

>>362 何も得るものがないのに、数理研の人事で好き放題してる連中に切り込む人はいないだろ
下手すれば関係者にまで危害被る
まあショルツを矢面に立たせておいてその後だんまりなんのフォローもせず逃げた森さんはちょっとどうかと思うが

ショルツェ自身がフォローするべき、と思われるが。
＞ショルツを矢面に立たせておいてその後だんまりなんのフォローもせず逃げた

ZB.math.誌で、「証明理論、欠陥見つけた」と、寄稿した文責があるから、

SS文書が偽命題である問題は、本人の説明責任で応対しないと、
＞その後だんまりなんのフォローもせず逃げた、なら、＞矢面に立ち続ける

もうprimsなんて信用ないのはっきりしたしな