21/12/10 17:39:30.53 cUtKQHsq.net
意味不明
751:１３２人目の素数さん
21/12/10 17:48:37.37 EUAaycQq.net
臭いものにふた
752:１３２人目の素数さん
21/12/10 19:21:43.85 IfXy3cEP.net
正しいかどうかわからない理論の応用範囲を議論する空虚さ
753:１３２人目の素数さん
21/12/10 20:07:09.47 wtTOQEhe.net
abc予想のことかな
754:１３２人目の素数さん
21/12/10 20:11:24.90 as4+OBzg.net
リーマン予想を否定すると命題が成立
リーマン予想を仮定すると同じ命題が成立
証明終わり！
755:１３２人目の素数さん
21/12/10 20:29:51.83 KrlnKBcR.net
>>721
IUT too.
756:１３２人目の素数さん
21/12/10 20:37:27.57 Zc2+yB9K.net
In any case, at some point in the proof
of Corollary 3.12, things are so
obfuscated that it is completely
unclear whether some object refers
to the q-values or the Θ-values,
as it is somehow claimed to be
definitionally equal to both of them,
up to some blurring of course,
and hence you get the desired result.
ともかく、系3.12の証明のいくつかの箇所で
物事が不明瞭で、あるオブジェクトがq値と
Θ値のどちらを参照しているのかまったく不明確だ。
どういう訳か定義からそれら両方に等しいと主張して
いる（もちろんぼやかすことを企んで）からだ。
そうして望ましい結論を得ている。
757:１３２人目の素数さん
21/12/10 20:43:57.63 OhyXFoR8.net
五人論文と大げさに言われているのも、3.12やワイルズらの手法に関連付けた導出に見えるんだがな
結果的にフェルマーよりは強い結果になっているようだが、理論的に何か新しい内容はないのではないかと疑う
758:１３２人目の素数さん
21/12/10 20:56:09.59 driXAPgE.net
統合失調症の症状でよく知られているのが、「幻覚」と「妄想」です。
幻覚とは実際にはないものをあるように感じる知覚の異常で、中でも自分の悪口やうわさなどが聞こえてくる幻聴は、しばしば見られる症状です。
妄想とは明らかに誤った内容を信じてしまい、周りが訂正しようとしても受け入れられない考えのことで、いやがらせをされているといった被害妄想、テレビやネットが自分に関する情報を流していると思い込んだりする関係妄想などがあります。
こうした幻覚や妄想は、本人にはまるで現実であるように感じられるので、病気が原因にあるとはなかなか気づくことができません。
759:１３２人目の素数さん
21/12/11 00:45:25.13 iX7yqc0r.net
どちらが強い予想か、なんてことにこだわりだしたのは
証明が自明でないことに気づいて、それでもなお価値を見出そうとしているからなの？
760:１３２人目の素数さん
21/12/11 00:58:48.12 nXw8fQfl.net
IUTに応用がないことで批判を浴びたから、５人組論文を出したんでしょ。
共著にしたのも、仲間がこれだけいるというアピールでしょ。
ロシア人は本当に理解しているの？
761:１３２人目の素数さん
21/12/11 02:31:10.69 ANfEKOCk.net
そうやって批判のポイントをはぐらかし続けるのって、
結局3.12が補完できるシロモノではないってことでしょ。
組織全体を巻き込んだ、世紀の勘違い、ああ恥ずかしい、みっともない。
762:１３２人目の素数さん
21/12/11 08:53:44.02 .net
Cor 3.12（やその精緻化）が、ABC予想やフェルマー予想と同値だとしても
それだけでは数学的な意味が皆無とはいわないけど希薄ですね
763:１３２人目の素数さん
21/12/11 09:18:03.06 5vrrjWGL.net
Cor 3.12がABC予想やフェルマー予想と同値ならABC予想とフェルマー予想が同値になって物凄い
764:大発見なんだが
765:１３２人目の素数さん
21/12/11 10:15:08.57 iX7yqc0r.net
>>730
Cor 3.12が間違いだった場合は成立しない話なので結局 >>712に行き着くのでは？
766:１３２人目の素数さん
21/12/11 10:39:35.24 a83r3Bmc.net
>>731
Cor 3.12が間違いだったらそれと同値なフェルマー予想も間違いってことになるんだが…
767:１３２人目の素数さん
21/12/11 10:59:05.86 W+J7d1Wh.net
ショルツレビュー要約
・Cor 3.12以外 特筆に値せず
・Cor 3.12 誤魔化し
以上
768:１３２人目の素数さん
21/12/11 11:56:33.71 .net
>>730
確かにABC予想とフェルマー予想が同値だったら大発見ですね
>>729では「Cor 3.12（やその精緻化）」という書き方で
Cor3.12の式の調整によって強弱が変わるという意味を込めた
つもりでしたが
（５人論文の前提はCor 3.12の精緻化版と認識してます）
769:１３２人目の素数さん
21/12/11 12:01:27.16 iX7yqc0r.net
>>732
論文ではCor 3.12が正しければABC予想が正しいと言っているだけで同値ではない
770:１３２人目の素数さん
21/12/11 12:09:17.62 F4B1s2lR.net
Cor 3.12がABC予想やフェルマー予想と同値ならってレスに対してのレスだよ
771:１３２人目の素数さん
21/12/11 12:24:09.20 KeSLJ8Tn.net
同値も何も正しい命題は全てトートロジーなんだが
772:１３２人目の素数さん
21/12/11 12:27:41.72 vo4/8Adx.net
いやだから正しい命題（フェルマー予想）と正しいかわからない命題（ABC予想）が同値だってわかったら大事なんだが
773:１３２人目の素数さん
21/12/11 12:33:08.06 KeSLJ8Tn.net
あそ。唐突に首突っ込んですまなかったね
774:１３２人目の素数さん
21/12/11 12:54:31.89 eIwJ/BfN.net
Cor 3.12からABC予想が従うことは認められてるんでしょ
要はIUTでCor 3.12を示せるかどうかということ
てか、ここで誰かがIUTでCor3.12を示して見せたとして、モッチーの「ホラ、俺の言った通りじゃん！」はアリなの？？？
その場合、ABC予想が"望月-その誰か定理"になるか、最悪、"その誰か定理"になっちゃうんじゃないの？
775:１３２人目の素数さん
21/12/11 13:11:58.76 Kckq9FgT.net
証明の内容によるんじゃね
単に別口で証明しただけならフェルマーワイルズの定理にフライが入らないように望月の名前は入らないでしょ
まあその場合Cor 3.12の着想を得たってことでIUTの評価が上がるみたいなことはあるかもしれんけど
776:１３２人目の素数さん
21/12/11 13:12:49.08 RDTb6OzM.net
>>740
現状だともしそういう事態になったら“完全横取り”にはなるとは思えないけど、“望月の定理”にもなり難いんじゃないかな
しかし“完全横取り”か“望月の定理”の2択しかないなら完全横取りの方があり得る気もする
777:１３２人目の素数さん
21/12/11 13:14:24.11 ANfEKOCk.net
Clearly insufficientでstill a conjectureなんだから、
誰のものになるのかは明らかでは。
778:１３２人目の素数さん
21/12/11 13:20:34.72 eIwJ/BfN.net
まぁ、もしそれがアリだったら、みんな証明の一番難しいところは誤魔化しておいて
あとで誰かが明確化したとき「お、おれも分かってたし！？（震え声）」でゴリ押しできちゃうもんね
証明でどこまでの行間を認めるかはデリケートな問題よね
779:１３２人目の素数さん
21/12/11 14:05:56.10 TvxsRcvk.net
>>733
ザックリいえば
In this series of papers on Inter-Universal
Teichmüller Theory [this paper、、]、
the author aims to prove the ABC
conjecture of Masser and Oesterlé,
in close to effective form.
だからかな
780:１３２人目の素数さん
21/12/11 15:02:42.90 .net
>>744
ワイルズ 「フェルマー予想 証明できた！」
フェルマー「お、おれも分かってたし！？（震え声）」
クンマー 「本当か？」
781:１３２人目の素数さん
21/12/11 15:36:28.55 37qwQE7k.net
IUTおじさん
782:１３２人目の素数さん
21/12/11 15:49:05.81 yjegEqX5.net
zzbmath review Gerd Faltings
・望月新一
Topics in absolute anabelian
geometry. III: 準備論文
The paper under review is the third part
of a series .
It is not easy to read because much of it
consists of remarks, and there are many
definitions which introduce new
terminology.
IUT論文では
「論文は理解できなかった。
自分の研究に時間を割くことにした」
石倉朝日記者取材
Topics in absolute anabelian geometry. III:
URLﾘﾝｸ(zbmath.org)
・ワイルズ.テーラー
数学の論文としてふつうに評価している
Wiles
Modular elliptic curves and Fermat’s Last Theorem.
URLﾘﾝｸ(zbmath.org)
Taylor-Wiles
Ring-theoretic properties of certain Hecke algebras
URLﾘﾝｸ(zbmath.org)
783:１３２人目の素数さん
21/12/12 00:52:40.11 3g/M39ct.net
某文書が更新されて110ページ超になってるな。
こんな長文書く時間はあるのに
3.12のrigorousな証明をいつまで経っても出さないのは何でだろう？σ(^^; ) ﾎｼﾞﾎｼﾞ
784:１３２人目の素数さん
21/12/12 07:49:23.41 .net
>>749
＞3.12のrigorousな証明をいつまで経っても出さないのは何でだろう？
お察し下さい
785:１３２人目の素数さん
21/12/12 08:26:26.57 2AUg+nRP.net
望月さん本人じゃなくても信奉者のだれか一人がやるだけでいいのにねえ
786:１３２人目の素数さん
21/12/12 08:37:23.07 .net
>>751
＞信奉者のだれか一人がやるだけでいいのにねえ
ロシア人Ｆ氏 失敗
Ｔ社からハントしたＹ氏 失敗
弟子のＨ氏 失敗
同僚のＴ氏 ダンマリ
友人のＫ氏 素人向け啓蒙本で一儲け 数学者が読まない経済誌で愚痴
787:１３２人目の素数さん
21/12/12 08:55:37.62 ZUh9/FNp.net
望月は今年7月のショルツレビューに反論してないの？
788:１３２人目の素数さん
21/12/12 09:05:31.41 E4J1RG1z.net
分からんというレポートに反論も何もないやろ
強いて言うならもっと行間埋めた文書出すくらいだけど出してない
789:１３２人目の素数さん
21/12/12 09:26:48.97 ZUh9/FNp.net
q値とΘ値のどちらを指し示しているのか不明確
って指摘だから、ここをこう読めば明確じゃん、おまえの読み方が悪いだけじゃん
って反論があってしかるべきじゃないの？
790:１３２人目の素数さん
21/12/12 09:47:55.34 P9cyy2n9.net
>>755
そんな著者は普通はリジェクト喰らうんですよ
791:１３２人目の素数さん
21/12/12 09:47:55.73 P9cyy2n9.net
>>755
そんな著者は普通はリジェクト喰らうんですよ
792:１３２人目の素数さん
21/12/12 09:56:56.71 Nk6sB1zd.net
>>752
>友人のＫ氏.素人向け啓蒙本で一儲け
望月新一RIMS教授推薦まえがきの
加藤文元東工大教授著IUT本なら
数学本数理本物理本ではありません。
IUTの素人向けへIUT啓蒙書かつIUT語を
使いcor.3.12を含めIUTの言い訳の書かつ
IUTの資料書。
英訳して世界に問うこともできず
さらに文庫本化より日本でIUT啓蒙を
企てる。
793:１３２人目の素数さん
21/12/12 10:04:11.92 E4J1RG1z.net
>>755
それも出してない
のでお察し
794:１３２人目の素数さん
21/12/12 10:20:23.84 Nk6sB1zd.net
「It is not easy to read because much
of it consists of remarks, and there are
many definitions which introduce new
terminology. 」
IUT論文も同じで類推も加わる。
行間を埋めることできるの？
解釈が複数できると思えるが
795:１３２人目の素数さん
21/12/12 10:23:30.82 ZUh9/FNp.net
It is not easy to read because much
of it consists of remarks, and there are
many definitions which introduce new
terminology.
注と用語の定義だらけで読むのしんどいわ
796:１３２人目の素数さん
21/12/12 10:40:20.30 .net
>>758
＞加藤文元著IUT本なら
＞数学本数理本物理本ではありません。
ええ、そもそも物理については
何一つ書かれていないので
物理本ではありません
また数理の意味が不明ですが
「数学かつ物理」という意味なら
同�
797:lの理由で数理本ではありません 数学も物理もよくご存じではない一般人の方は IUTにおける「宇宙」を物理学におけるそれと 混同してるかもしれませんが全くの別です 最後に数学本か否かについては 数学について書かれているかという意味では然りですが 数学者がIUTを理解できる教科書 になっているかという意味では否です 英訳したければしてもいいと思いますが SpringerのGTMの1つで出版されるか といえばそれはないでしょう https://ja.wikipedia.org/wiki/Graduate_Texts_in_Mathematics GTMで一番近いといったら以下ですかね？ Diophantine Geometry, Marc Hindry, Joseph H. Silverman (2000, 978-0-387-98975-4)
798:１３２人目の素数さん
21/12/12 10:50:43.00 Nk6sB1zd.net
>>762
> そもそも物理については
何一つ書かれていない
望月新一まえがきに書いてあります。
レス>10を参照
IUTの言い訳に物理の単語をもちだすのは
おやめください。
例 不確定性原理
799:１３２人目の素数さん
21/12/12 12:52:15.82 .net
>>763
＞望月新一まえがきに書いてあります。
まえがきを書いたのは加藤文元氏ではないのでねぇ・・・
望月新一氏が物理学の何をどう書いたのか
知りませんし知りたいとも思いませんが
IUTとは無関係ですよ
800:１３２人目の素数さん
21/12/12 13:08:21.51 KWqQbNq5.net
> 望月新一氏が物理学の何をどう書いたのか知りませんし知りたいとも思いませんが IUTとは無関係ですよ
知りたくないの自由ですが
刊行によせて(まえがき)p7-11 は
IUT理論提唱者望月新一京大教授
とあります。以上
801:１３２人目の素数さん
21/12/12 13:15:12.18 YLcCiFSb.net
Cor3.12の提案それ自体は新規性のあるものなの？
だとしたら、フェルマー予想についての志村予想や、ポアンカレ予想についての幾何化予想のように、ABC予想攻略のための足掛かりとして評価されてもいいと思うんだけど
Cor3.12（望月予想）⇒ ABC予想 という感じで
それとも、Cor3.12は別に誰でも思い付くもので独創性を欠くのか、あるいはABC予想攻略のためのルートとしてはあまり見込みがないもの？
802:１３２人目の素数さん
21/12/12 13:43:02.16 5MtW09fJ.net
まぁ数学的成果について誰の功績がどうこうって評価に基準はないからな
今のところcor 3.12が誰かに証明が完成されたとして果たして望月先生の功績がどれだけになるか、それは現在出てる論文がどれくらい通用してるかによるんじゃない？
実はショルツェの勘違いで行間は多いが望月論文の方針で証明が完成されてたなら望月の定理になる可能性も全然ないわけじゃないけどな
現状見る限り無さそう
そもそももうrimsの外の人は望月論文の行間埋めに挑戦しないやろ
803:１３２人目の素数さん
21/12/12 13:43:22.30 F/L38pYY.net
俺も全然知らんけど考えられる可能性としては
①Cor3.12はABC予想をIUTの観点から捉え直した命題だがIUTが意味のある見方だと思われていないのでCor3.12も無意味に複雑化しただけだと思われている
②Cor3.12はABC予想の新規性があり意味のある変換だがIUTはあんま関係無い
③ABC予想のほぼ自明な変換
辺りかね
聞いた感じだと①なんじゃね
②はちょっと考えづらいし③ならもっとそう言われてるでしょ
804:１３２人目の素数さん
21/12/12 13:47:48.84 2AUg+nRP.net
・望月先生はそんな提案はしていない。Cor3.12は証明済みだと主張している
・Cor3.12については証明に飛躍があるというだけでなく、そもそも間違っているのではないかという意見が出ている
・Cor3.12が間違っていればABC予想だけでなく任意の予想について証明可能なので意味がない
805:１３２人目の素数さん
21/12/12 13:51:49.26 2AUg+nRP.net
PRIMSで査読をやった人もふくめ、理解したというひとは何人もいるのだから
そのなかの誰か一人でもいいので補足説明してくれればいいだけの話なのに
806:１３２人目の素数さん
21/12/12 13:58:54.62 VI5cfF9J.net
Cor3.12の？
807:１３２人目の素数さん
21/12/12 14:22:13.20 .net
>>768
①と②の判別は現状では困難
>>769
Cor3.12が不成立なら反例を示せばいいが
ただ、ショルツはそんなことはいってないね
>>770
査読者の一人はフェセンコだと思うが
彼のIUTに対する説明は他の人には受け入れられてないね
808:１３２人目の素数さん
21/12/12 14:23:50.26 3g/M39ct.net
Yがダンマリのまま機能停止してるのは、SSの批判を理解してしまったんだろうね。
Tヨタにいたままの方が皆幸せだったと思うけど、
何でわざわざ引きぬいて、何でわざわざ異動したんだろね？
809:１３２人目の素数さん
21/12/12 15:02:36.45 YLcCiFSb.net
これホントにどうなるんだなろうねー
ABC予想は今や約40年来の未解決問題（モッチーのアナウンスが正しければ30年経たないうちに解決）ということだけど、このままCor3.12がウン十年も未解決で放置されたりしたら...
810:１３２人目の素数さん
21/12/12 15:40:13.32 dJ0V9HMY.net
IUT論文の確定した範囲は
当然検証が必要だが、
part Iのthe first two sections。
複雑すぎる定義のHT以降は
未確定でabc予想は証明されず、
cor.3.12は予想といえるだけの
根拠があるか疑問だな。
scholtzeのおかげでどこまで
わかっているのか範囲が確定した。
個人的にもこれでOK
811:１３２人目の素数さん
21/12/12 15:44:29.21 3g/M39ct.net
信者や取り巻きは、
尊師が110ページ超の怪文書を書く暇はあるのに、
ピンポイントで不備が指摘されている
系3.12のrigorousな証明を一向に提出しないのはなぜか、
合理的に説明できる？
812:１３２人目の素数さん
21/12/12 15:44:53.71 8FFseR7J.net
HT自体の定義はしっかりしてるんだっけ？
813:１３２人目の素数さん
21/12/12 15:47:09.35 iAYKtLUh.net
疑問を呈したら異端審問にかけられて火あぶりにされてしまいそうな勢いだな
814:１３２人目の素数さん
21/12/12 15:51:46.43 dJ0V9HMY.net
>>777
scholtze曰く、
The category of Hodge theaters
has an extremely complicated definition,
815:１３２人目の素数さん
21/12/12 15:52:48.13 BLzAtveF.net
>>779
じゃあ一応定義自体はできてそうね
816:１３２人目の素数さん
21/12/12 15:53:44.82 dJ0V9HMY.net
>>780
読み方に依存するかも？
817:１３２人目の素数さん
21/12/12 17:52:17.68 YLcCiFSb.net
>>778
証明の正否はおくとしても、Scholtzeの内容に関する指摘に対して、モッチーが属人的反論で返したのは明らかに筋が悪かったよね
党派性にもとづいた小競り合いみたいになっちゃって、内部からの批判的検討もできないようなムードになっちゃった
とてもじゃないけど学問的に健全な状態とは言えない
818:１３２人目の素数さん
21/12/12 19:07:40.17 .net
>>782
＞属人的反論で返したのは明らかに筋が悪かったよね
なにか後ろめたいことがあったんですかね
＞党派性にもとづいた小競り合いみたいになっちゃって、
＞内部からの批判的検討もできないようなムードになっちゃった
今となってはそもそも望月新一氏に
他人からの批判を聴く耳があったかどうか
疑問ですけどね
＞とてもじゃないけど学問的に健全な状態とは言えない
望月新一氏も精神的に健全な状態とは言い難い気がしますね
819:１３２人目の素数さん
21/12/12 19:45:04.76 K629Vz0r.net
HTは元々代数体の微分積分を遠アーベル幾何学で実現しようという壮大な試みだからな
逆に言えばそれを経由しない理論ができたらほぼ用済みになる。ゴチャゴチャしているので
820:１３２人目の素数さん
21/12/12 20:02:41.35 KWqQbNq5.net
こちらはスッキリしていると思います
けど
ショルツェ.スティクスレポート
2.1.2. Hodge theater.
These contain data of two types,
“étale-like objects” and “Frobenius-like
objects”.
Roughly, the “étale-like data”, often
denoted D or D, is given by the abstract
topolog
821:ical group π1(X), considered as a group up to inner automorphism. Equivalently, as is done in the IUTT papers, we may think of the abstract Galois category of finite étale covers of X, without a choice of base point. At this point, it is useful to recall the following striking result of Mochizuki.
822:１３２人目の素数さん
21/12/12 20:12:35.27 K629Vz0r.net
>>785
ここまでわかってるトップレベルの数学者に説明しきれない理論なんてどうにもならんw
823:１３２人目の素数さん
21/12/12 20:34:33.76 E4J1RG1z.net
望月論文の3.12以外の所は評価してあげたいという気持ちはわからなくはないけど、当の本人にその気がないからなぁ
本人は「論文合ってる、書き直す必要もない」の姿勢崩すつもりないみたいだし、このまま3.12と心中するつもりなんでしょ
そもそも3.12以外の部分の生き残りを目指すにせよ、実際になんかめぼしい成果上げないと話にならんし
824:１３２人目の素数さん
21/12/12 20:35:20.69 YLcCiFSb.net
>>786
これ
明らかに行間で済まされないレベル
825:１３２人目の素数さん
21/12/12 21:24:48.32 KWqQbNq5.net
あ、
これでは HTもスッキリとsimplificationsが必要だ。
↓
「It is not easy to read because much
of it consists of remarks, and there are
many definitions which introduce new
terminology」
「The category of Hodge theaters
has an extremely complicated definition」
826:１３２人目の素数さん
21/12/12 23:56:37.27 ZUh9/FNp.net
2.1.2. Hodge theater.
These contain data of two types,
“etale-like objects” and “Frobenius-like
objects”.
Roughly, the “etale-like data”, often
denoted D or D, is given by the abstract
topological group π1(X), considered
as a group up to inner automorphism.
Equivalently, as is done in the IUTT
papers, we may think of the abstract
Galois category of finite etale covers of X, without a choice of base point.
At this point, it is useful to recall
the following striking result of Mochizuki.
2.1.2. Hodge theater.
これらは2種類のデータを含む、
"エタールライクオブジェクト"と"フロベニウスライクオブジェクト"。
大雑把に"エタールライクデータ"（しばしばDまたはDと記される）
は、抽象位相群π1(X)により与えられ、内部自己同型の違いを除き
一つの群と見做される。つまり、IUTT論文においてなされたように、
基点を選択せずにXの有限エタール被覆の抽象ガロア圏を考えてもよい。
この点で以下の望月の際立った成果を思い起こすことは有益である。
827:１３２人目の素数さん
21/12/13 00:17:41.19 4RtfXb01.net
↑この文章にしてもiuttが有益という意味ではないからな
この話を理解するのに望月先生の“以下の理論(例のやつかな)”を思い起こす事が有益と言ってるだけで“iuttそのものが有益”とは言ってない
せめてiuttが望月先生の“例の理論”を包括するような内容なら意味あるんだけどな
828:１３２人目の素数さん
21/12/13 00:54:03.03 7snG6uwc.net
>>790
HTの議論は当然simplificationsが
前提です
The IUTT papers introduce a large
amount of terminology.
To facilitate the discussion, we will
describe (only) the notions that are
strictly relevant to explain what we
regard as the error.
This will involve certain radical
simplifications, and it might be argued
that such simplifications strip away all
the interesting mathematics that forms
the core of Mochizuki’s proof.
Towards this objection we can offer
four excuses:
(1) During our discussion in Kyoto,
Mochizuki agreed that some of these
simplifications are OK, for example
regarding the critical notion of F×μ-prime strips below.
(2) Generally, the discussions in Kyoto
were at a level only slightly more
sophisticated than what is reflected in
the simplifications below, and Mochizuki
agreed that this does not result in an
essential obfuscation of the ideas.
We also discussed the deeper parts of
the theory, and Mochizuki agreed that
we had a good understanding of the
substantial mathematical content.
(3) When it comes to the more drastic
simplifications indicated below, such as
merely identifying the choice of a Hodge
theater with the choice of a curve
abstractly isomorphic to X, or simply
identifying identical objects along the
identity, these are inessential to the
point we are making, and Mochizuki
was not able to convince us during the
week whyWe are certain that even with
all subtleties restored, the issue we are
pointing out will prevail, and it is easier
to point to the key issue with these
surrounding subtleties removed.
829:１３２人目の素数さん
21/12/13 01:05:08.31 7rTBueQJ.net
うん
>以下の望月の際立った成果
はIUTTとは別の論文（以下）内の定理ですね。
Topics in Absolute Anabelian Geometry III: Global Reconstruction Algorithms.
830:１３２人目の素数さん
21/12/13 01:38:45.55 xst9eo4F.net
不確定性原理があるのでCor3.12が正しいかどうかを確認することは不可能
831:１３２人目の素数さん
21/12/13 07:38:44.60 7dqr9eqZ.net
劇場というのはそこで解析的な操作を演じるような考えだからなのか。
それがうまくいっているならそこで微積分に対応する操作を施して、
方程式の解の実効範囲値を解析的に評価するというアナロジーが使えるわけだ。
でもそれが成り立っているとは言えないのでは？というところなのかね。
832:１３２人目の素数さん
21/12/13 09:25:19.22 4RtfXb01.net
しかしショルツェの評価した「iutでもそこそこ面白いと思る所」ってのが”iut論文自体の他のところの定理”に過ぎないなら今のところ成果は全く上がってないんやな
833:１３２人目の素数さん
21/12/13 13:48:31.20 r7ANeFk0.net
Scholzeは望月と違って常識人だからね
公開の文章を書く時のマナーを分かっているから、
無理やりでもほめられるところを探してバランスをとってるだけ
zbmath レビューの "these may be of interest to specialists" って
ところとかね
Part I 論文で群論と遠アーベル幾何に関連してちょっと面白いことが
書かれているよ、ここはその分野の専門家にはおもろいかもね、
と言ってるだけで、IUTとは関係ない
S-Sレポートの "striking result" って表現も >>791 が言う通り
本質とは関係ない話だし、「際立った」というよりは
「目立つ」「目を引く」くらいのニュアンスだろう
834:１３２人目の素数さん
21/12/13 15:03:26.32 jtaNo1IY.net
>>795
劇場という名前自体は多分、IUTでホッジフィルトレーションというものが普通の意味では作れないので
その代わりに群論とラベルを用いた不可逆な入れ子宇宙の列を構成するという所から来ていると思う
各々微妙に異なる群論的パターンを持った空間なのだが、リンク毎に識別できるような情報も持っていると
勿論そのずれが変形を作るという話なので解析的といえば解析的だけども
この場合、位相群が演者となって宇宙達のホッジ劇場を作り出しΘ関数はその全てに関わる（観る）立場になる
835:１３２人目の素数さん
21/12/14 07:17:30.82 9Nriotyz.net
>>798
加藤本にはビデオで写している画面を写す入れ小細工（鏡に鏡を対面させるみたいな）の発想があったのはそのことなんだ。
�
836:u宇宙」自体を変数とする総合的な函数を想定して（それが劇場？）その変位（各々様態のズレ、数学的真理のズレともいえるか）を解析するようなイメージなのかしら。 函数空間をさらに（各）数学空間みたいな壮大なビジョンをもって解析するみたいな感じ。。 かなり誇大なアプローチではある。 キムさんが「モデル理論のようなアプローチ」といういような指摘をしていたように思ったけど、 あるひとつの公理系の全モデルを函数のようにみなしてその変位（真理のズレ）を測る方法がIUTTなのかね。 まあ、ディオファンタス解析はヒルベルト第十問題の数学基礎論的（古い言い方かな）解決があって そういう方向性は面白そうだと思ったけどその方面ともつながりがあるのかな。 そうなるとディオファンタス述語的な話でリーマン予想とか素数の話をし始めるのはまもなくかなと勝手に妄想。
837:１３２人目の素数さん
21/12/14 10:28:08.46 6BxucZP9.net
>ディオファンタス述語的な話でリーマン予想とか素数の話をし始めるのはまもなくかなと勝手に妄想
勝手に妄想をレスせずご自身でお調べください。
以前からIUT一派はリーマン予想の
関連を言ってますし妄想に制限はありません。
NHKの番組なら
トリックを見破り事件を解決する
シャーロックホームズの冒険。
>加藤本
望月新一推薦加藤文元IUT本は
のIUTT構築過程と経緯を記述した
奇書です。
ふつうの数学とのギャップはHTにあり
ギャップの箇所を明確にする手法が
simplificationsです。
以後はIUTT構築でcor3.12を経てスピロ予想への過程です。
「IUT語。IUT理論は、一般的な数学
のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」
玉川安騎男教授も記者会見で
「全く新しい理論 」と発言している。
つまりcor.3.12は全く新しい理論IUTT
より「証明」された。
公理系について
小平邦彦「幾何学への誘い」では、
中学数学のユークリッド平面幾何は
素朴な5つの公準に基づく図形の科学でヒルベルトより整理整頓され、
数学の公平面幾何学公理系が幾何学基礎論で発表された。
注目すべきは中学数学でも射影幾何学のデザルクの定理が証明できます。
数学の発展です
838:１３２人目の素数さん
21/12/14 10:47:22.66 bWWeaAq9.net
>>800
のIUTT構築過程→IUTT構築過程
公平面幾何学公理系→ 平面幾何学公理系
839:１３２人目の素数さん
21/12/14 12:41:17.03 6BxucZP9.net
>>782
横ですが
>証明の正否はおくとしても
数学は証明の位置づけや正否が
大切では？？
IUTTの全く新しい理論より
証明したのです、
つまりギャップがある。
説明が精密化し巧妙になろうと
どう解釈しようがガラクタはガラクタです
840:１３２人目の素数さん
21/12/14 12:58:39.29 QSTeT0qt.net
>>802
間違った証明なんて世に幾らでもあるんだから大した問題ではないんよ
今回問題視されてるのはその後の望月の態度でしょ
841:１３２人目の素数さん
21/12/14 13:22:11.38 Vx82ipoR.net
>間違った証明なんて世に幾らでもあるんだから大した問題ではない
証明が間違いなら問題ですよ。
特にabc予想はディオファントス問題の
重要課題ですし。
cor.3.12は間違いと公言された
日本在住の数学者はいますか？
842:１３２人目の素数さん
21/12/14 13:28:48.27 1866Z8Wd.net
間違いというより、ギャップ、不備、だね
数学の証明は正しいか間違いかのどちらかとは限らない
843:１３２人目の素数さん
21/12/14 13:30:42.58 QSTeT0qt.net
>>804
abc予想は重要な問題だが望月によるabc予想の証明は重要な問題ではない
初期こそ望月によるabc予想の証明がabc予想を証明しているかもしれないと重要視いた者もいただろうが今やほとんどいないだろう
望月によるabc予想の証明が間違いと判明しようがabc予想が予想から予想になるだけで何も重要なことは起こらない
844:１３２人目の素数さん
21/12/14 13:34:10.58 om30rWSQ.net
>>804
cor.3.12を間違いだと公言する数学者なんて日本どころ海外にだっていないだろ
ショルツェでさえそんなことは言ってない
845:１３２人目の素数さん
21/12/14 13:43:16.93 Vx82ipoR.net
>>805
では、
cor.3.12はギャップがあると公言された
日本在住の数学者はいますか？
846:１３２人目の素数さん
21/12/14 13:55:00.08 1866Z8Wd.net
あの性格の人物に絡まれたい人はいないだろうから、いないんじゃね？
ZBmath reviewのclearly insufficientでコンセンサスは得られてるし、
わざわざ死体蹴りする意味もない。
847:１３２人目の素数さん
21/12/14 14:04:39.04 H+74UyI8.net
>>805
論証にギャップのある証明＝間違った証明
でしょ
848:１３２人目の素数さん
21/12/14 18:04:58.07 6BxucZP9.net
>>806
>望月によるabc予想の証明は
重要な問題ではない
>今やほとんどいないだろう
全国共同研究の拠点RIMSでは
IUTTを中心に研究する次世代幾何学
研究センターがあります。
東工大でもIUT関連の論文が受理
された。
ショルツェスティクスレポートと
ショルツェレビューはありますが、
日本在住の数学者からIUT論文の
問題点を公に指摘した例を
教えてください。
>望月によるabc予想の証明が
間違いと判明しようが
あなたはabc予想の証明が間違い、
ギャップがあるとお考えですか？
>abc予想が予想から予想になるだけで何も重要なことは起こらない
cor.3.12が数学の予想なら根拠は
何かしら？
IUT論文に日本在住の数学者から
公に問題点の指摘がないなら
abc予想はRIMS東工大限定定理から
日本数学会限定定理になりそうですね
849:１３２人目の素数さん
21/12/14 18:08:32.14 9fHpMzRE.net
な？
セタ以外にも妄想爆発させてるやついるやろ？
でコイツ、セタ、他数名が互いに妄想を反響させて行きながら増福させていくんだよ
850:１３２人目の素数さん
21/12/14 18:22:44.08 K37i5UUu.net
>>811がIUT支持しているようには見えないが
851:１３２人目の素数さん
21/12/14 18:42:00.56 1r42VYps.net
>>811
>cor.3.12が数学の予想なら根拠は 何かしら？
証明も反証もされてない命題だから
852:１３２人目の素数さん
21/12/14 19:38:36.02 suRRXflv.net
>>813
日本在住の数学者なら公に発言
してくださいね
853:１３２人目の素数さん
21/12/14 19:39:57.11 suRRXflv.net
>>814
それ予想？思いつきとどう違うの！
854:811
21/12/14 19:44:25.14 suRRXflv.net
>>815
ps ショルツェスティクス
は支持しますが日本数学会の外野
で素人です。
855:１３２人目の素数さん
21/12/14 20:32:28.08 XoJkaSAV.net
RIMSでわかりやすい講義をやったなんてレスが応援スレでもあったが、YouTubeで公開すりゃいいのにね
批判的な数学者も観るだろうし
856:１３２人目の素数さん
21/12/14 20:46:16.44 YGW9+eHX.net
星さんとしゃべったよ
望月さんと南出くんの講演もていねいで良かった
857:１３２人目の素数さん
21/12/14 21:18:20.54 OLlUnVck.net
反論がない以上、証明は正しいってことだからな
査読付き論文として出版されて2年以上大きな反論がないという未解決問題クリアの基準を満たす日もそう遠くない
858:１３２人目の素数さん
21/12/14 21:21:41.61 .net
>>820
＞査読付き論文として出版されて
＞2年以上大きな反論がない
＞という未解決問題クリアの基準
その基準は誰がいつどこで決めたのですか？
859:１３２人目の素数さん
21/12/14 21:25:35.50 .net
>>820
四色定理について1879年のKempfの証明が
1890年にHeawoodによってひっくり返されたのは
御存知ですよね？
860:１３２人目の素数さん
21/12/14 21:40:22.29 CeQoPR7d.net
>>816
思い付きで得られた命題が証明も反証もされていなければ予想だけどそれが何か？
861:１３２人目の素数さん
21/12/14 21:42:14.04 CeQoPR7d.net
>>820
思いっきり反論されてんじゃんｗ
逆に望月がそれに対し反論できていない
862:１３２人目の素数さん
21/12/14 21:53:59.19 suRRXflv.net
>>823
お告げ=数学の予想ですか？
863:１３２人目の素数さん
21/12/14 22:13:47.59 2msvXtIc.net
そう、このスレ
「反例が見つかるレベルの反証がない＝正しい論文」
という電波理論を平気で使うアホ〜がいる
しかもそのアホ〜の理論に乗っかってくるアホ〜がまたいる
よくこのレベルで数学の専門板に書き込んでくるもんだと呆れるわ
864:１３２人目の素数さん
21/12/14 22:18:20.97 CeQoPR7d.net
>>825
お告げで得られた命題が証明も反証もされていなければ予想だけどそれが何か？
865:１３２人目の素数さん
21/12/14 22:24:32.26 CeQoPR7d.net
ID:suRRXflv君は根本的に勘違いしてるね。
予想とは証明も反証もされていない命題。
それが思い付きで得られようがお告げで得られようが他のどんな方法で得られようが予想であることに変わりない。
てかお告げで得られたら数学の予想でないとか本気で思ってるの？
866:１３２人目の素数さん
21/12/14 22:32:37.00 XWRxIcQE.net
abc予想は多項式ABC定理など根拠があります。
玉川教授が会見でIUTTは「全く新しい理論」と発言しています。
cor.3.12は全く新しい理論なる
ものに基づく「予想」なのでしょうね。
867:１３２人目の素数さん
21/12/15 00:06:35.23 NCHGT96j.net
そういえば、解決がアナウンスされてからもう9年が過ぎるのか
まあ、もうそろそろ、系3.12もなんとかなるやろ
星君あたりがやってくれるさ
868:１３２人目の素数さん
21/12/15 01:02:13.85 Vpt+zPME.net
星は数学もどきのIUTTサーベイが
講究録別冊にある方ですね。
2020年4月3日
PRIMS特別編集委員会委員長
記者会見
・柏原正樹特任教授
「ＡＢＣ予想を証明した望月氏の論文が正しいものであると判断した」産経
・玉川安騎男教授
「全く新しい理論で、さらなるインパクトを生み出す可能性がある」毎日
つまり全く新しい理論のIUTTより
abc予想は「証明」されたと宣言した。
IUT語の全く新しい理論IUTTでcor.3.12
が間違いなら「予想」だろう。
全く新しい理論=ギャップがある
と宣言しているが
日本在住の数学者たちから公に
指摘がないのは摩訶不思議。
869:１３２人目の素数さん
21/12/15 01:16:40.61 ndMp+cIC.net
星さんは当時指導教官だった黒川さんにもっと具体的な問題に取り組んだ方が良いと助言を受けたそうな
これまさにIUTの結末を暗示しているかのようだ
870:１３２人目の素数さん
21/12/15 01:54:05.02 NCHGT96j.net
>>832
Grothendieckのスキームもトポスも、最初は抽象的過ぎて嫌煙された
圏論もアブストラクト・ナンセンスと陰口を言われた
それがどうだ
いまや、これら無しに数学するなんて考えられないだろう
つまり、そのエピソードが暗示する結末は、IUTが数学の王として君臨する未来だ！
871:１３２人目の素数さん
21/12/15 02:49:09.56 hi7XDFhs.net
>>833
スキームもトポスもグロタンディーク創案ではないよ、念のため
グロタンディーク自身は具体と抽象を行き来できた人で、ザリスキがグロタンディークの講演を聞いたとき、ザリスキは具体的な問題を挙げて、その大理論はどう適応されるのか質問したら、グロタンディークはいとも簡単にその質問に答えた。
872:１３２人目の素数さん
21/12/15 03:03:23.38 rQnofbtf.net
>>832
マジか
あの黒川先生にそんな助言受けられる人間は中々おらんやろなwwwwww
873:１３２人目の素数さん
21/12/15 05:45:52.10 9TR1Av1U.net
ザックリいえば
全く新しい理論=トンデモ理論だよ
874:１３２人目の素数さん
21/12/15 05:51:04.32 9TR1Av1U.net
>>819
トンデモはなしでたのしそうだね
875:１３２人目の素数さん
21/12/15 08:34:11.85 Jv7JyoWD.net
グロタンディークはWeil予想にモチーフという問題意識があったからそれは大きいんじゃないかな
スキームは関数環からだけど、コホモロジーでは特に位相幾何からの類似を考えたりすることもできたし
結果的にderivatorまで射程が伸びた
876:１３２人目の素数さん
21/12/15 09:59:53.94 +8S8r7+3.net
Lost in Mathの翻訳読んでいるけど、ポパーの反証理論なんて現場じゃ意味ないっていう話。
データと齟齬があるとか、不備を指摘されても、理論はどんどん修正されて複雑難解になって、
みんな読まなくなるとw まあこれは科学の論文だけど、数学でしかも丸ごと新理論になると
そもそもショルツのような指摘自体がむしろ親切なのかもしれないね。
結局業界で重宝にされなければ結局誰も顧みなくなって先細りするだけなんだろうなぁ。
望月さんがんばれー。
877:１３２人目の素数さん
21/12/15 10:14:24.20 hi7XDFhs.net
その本、理論物理の話じゃん
しかも望月理論は整数論の具体的問題と関連しているから実験不可能でもない
878:１３２人目の素数さん
21/12/15 10:27:52.67 asy5yio3.net
代数系で数論や代数幾何学が優先的に研究されているのは
コンピュータ科学からの要請なのだろうか
それとも55年からいやGHQ統治時代からの方針か
879:１３２人目の素数さん
21/12/15 10:30:12.68 asy5yio3.net
45年から51年までの間に何かあったのだろう
京都大学の物理学教室では
実験機が窓から投げ捨てられている映像が残されているが
そういうことを忘れてはいけないと思う
もちろん原爆投下もね
880:１３２人目の素数さん
21/12/15 11:02:36.21 +8S8r7+3.net
もともと日本は高木貞治以降代数的整数論、代数幾何学の伝統があるのではなかろうか。
881:１３２人目の素数さん
21/12/15 11:17:28.20 Jv7JyoWD.net
>>841
むしろ「代数系」で他に力入れるとしたら何よ？
数論でも解析や微分幾何寄りのアプローチを強化せよとかならわかるけど
882:１３２人目の素数さん
21/12/15 12:55:13.74 NCHGT96j.net
>>834
トポスについては、グロタンディークが提案したのは、現在で言うところのグロタンディーク・トポスであって、それを特殊ケースとして含む一般的なトポスの定義を与えたのはローヴェアとかそういうこと言いたいんだと思うんだけど、グロタンディーク・トポスのクラスは一般のトポスのためのプロトタイプとしての役割を果たし、一般のトポス以上にいい性質を持つ重要なクラスとして現在においても固有の価値を失ってないよ
スキームについては、間違いなくグロタンディーク創案でしょ
883:１３２人目の素数さん
21/12/15 17:12:03.84 0bbo2VO4.net
>>840
実験より数学だから証明されているかでしょ。
884:１３２人目の素数さん
21/12/15 18:22:10.89 hi7XDFhs.net
予想や理論についての話
885:１３２人目の素数さん
21/12/15 20:27:43.77 qPO52gpy.net
グロタンディークも年取ってからはドリーニュにイチャモンつけたり、しょーもない方向に行っちまったけどな。
886:１３２人目の素数さん
21/12/15 20:56:16.49 /mJxxSqm.net
年取ってからしょうもない方向に行く数学者多過ぎない？
887:１３２人目の素数さん
21/12/15 21:02:14.59 krF9kZOn.net
グロタンディークは晩年は∞圏とか研究していたが、今も重要なテーマで、そんなに仕様もない方向には行っていないけどね
888:１３２人目の素数さん
21/12/15 21:02:25.18 krF9kZOn.net
グロタンディークは晩年は∞圏とか研究していたが、今も重要なテーマで、そんなに仕様もない方向には行っていないけどね
889:１３２人目の素数さん
21/12/15 21:06:04.01 Jv7JyoWD.net
ストリング理論に行ったドリーニュのほうが微妙でしょ
890:１３２人目の素数さん
21/12/15 21:34:34.01 q+OzEwKT.net
アティヤの子供たち
とか
可積分系
とか
新しいブレークスルー先が実際拓けてたケース
891:１３２人目の素数さん
21/12/16 00:11:57.53 cNk4N1Ee.net
>>832
黒川先生って、かなり抽象的傾向が強くなかったっけ？
それこそ、望月先生のことも、一元体を使っておられる！とかって絶賛してたような。
その黒川先生にもっと具体的～うんぬんと助言されるなんて、どれほどの抽象性に達してたんだろう？
892:１３２人目の素数さん
21/12/16 00:22:28.01 ASlE8Drp.net
黒川さんはどっちかといえば延
893:々微積分計算していたい関数論の人でしょ ただそれじゃ埒が明かないので代数の話にも踏み込んでいると
894:１３２人目の素数さん
21/12/16 00:33:31.29 cNk4N1Ee.net
あーそっか、黒川先生自身はむしろ具体的な計算ばっかやってた人か。
それで一元体とか絶対数学とか言い出してからやや電波っぽくなったと。
895:１３２人目の素数さん
21/12/16 01:37:51.30 o7L/Z4vv.net
>>856
電波ではないでしょ
一元体の理論の背景にも大量の手計算がある
黒川リフトの時代から、具体的な計算を基に抽象論を作ってる
896:１３２人目の素数さん
21/12/16 07:50:18.58 9DpUtLsu.net
黒川先生の後継者はいるの？
897:１３２人目の素数さん
21/12/16 08:11:56.57 3PnTYgL7.net
>>847
>望月理論は整数論の具体的問題と関連しているから実験不可能でもない
IUTTは全く新しい理論=
トンデモ理論だよ。
898:１３２人目の素数さん
21/12/16 08:15:30.09 6VYQ+P6h.net
>>858
小山本でしょ
899:１３２人目の素数さん
21/12/16 08:23:49.49 IGC1rwBw.net
IUTTもいっぱい計算してそうだなぁ。宇宙ごとのズレを計算できる（把握できる）ことで
パズルピースを合わせるという発想だとしたらなによりもその計算で見積をたてるのだろうし。
900:１３２人目の素数さん
21/12/16 10:35:35.86 9DpUtLsu.net
黒川先生はadviser unknownでgenealogyに出ているから大したものだ。
中村博昭が一番弟子。
901:１３２人目の素数さん
21/12/16 11:02:05.02 3PnTYgL7.net
>>852
>ストリング理論
特殊相対論の4次元ベクトルと量子力学
の状態ベクトルは表記が一致しない。
4次元ベクトルにあわせ時間を作用素に
すれば時間の不確定性原理より
因果律が破れ非局所場の理論になる。
が、非局所の超弦理論では因果律を
保存する。
・素粒子物理としては高エネルギーの
基本法則候補の1つと言われるが
現状LHCのデータからSUSY自体が
瀕死の状態と思う。
中西㐮RIMS名誉教授が以前より
超弦理論を批判している。
(但し素粒子モデルで望む結果を
導くため矛盾やパラメーターを故意に
操作した不明確なモデルははじめから
無視される)。
・数理対象としては双対性. 複素多様体
指数定理.圏.ソリトン他もありスキーム
も自然に感じられる。
一方、IUTTは望月新一RIMS教授推薦
加藤文元東工大教授著IUT本では
望月氏まえがきで天動説から素粒子力学はては不確定性原理まで述べているが
blurringの言い訳に思える。
woit氏や中西㐮RIMS教授のご意見も
拝聴したいものだ。
902:１３２人目の素数さん
21/12/16 11:10:39.62 3PnTYgL7.net
>>863
中西㐮RIMS教授→中西㐮RIMS名誉教授
903:１３２人目の素数さん
21/12/16 12:08:21.46 cNk4N1Ee.net
え、本当にABC予想とIUTについてNHKの番組あるの？？？
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
904:１３２人目の素数さん
21/12/16 12:35:28.42 u6+oWX8j.net
Dupuyや星らが先月インタビュー受けたってDupuyがツイートしてた（今は削除）
905:１３２人目の素数さん
21/12/16 12:45:45.85 ASlE8Drp.net
不定性があるから受け入れられにくいなんて、∞圏やスタックの時代にはちょっと無理な言い訳かなと
正当な構造的不定性なら今の数学者は余裕で認める
906:１３２人目の素数さん
21/12/16 12:49:12.15 3PnTYgL7.net
>>867
不定性の根拠になんと不確定性原理
ですか？
907:１３２人目の素数さん
21/12/16 18:28:53.19 ASlE8Drp.net
>>868
加藤さんの読みました？
直接の関係はないけどアインシュタインがそうだったように受け入れにくいかもという話です
908:１３２人目の素数さん
21/12/16 18:32:09.38 OFCYH74M.net
そこは不確定性理論やろ
IUT本のまえがきにあわせて
909:１３２人目の素数さん
21/12/16 19:54:25.89 CtYPWp4/.net
>>869
> 加藤さんの読みました
読みましたレス>10と>11と>12。
このスレでも話題になりました。
> アインシュタインがそうだったように受け入れにくいかも
アインシュタインの論文は明確で
最後に実験の提案をしています。
特殊相対論の「運動物体の電気力学」
ならプランクの評価まで話題になり
ませんでした。熱力学の公理を模倣した
光速度不変原理と特殊相対性原理に
よる作業仮説が平凡に思われたかも。
ミンコフスキーもワイルもポイント
をつかみ幾何学との関連を述べた。
一般性相対論.一般性相対性原理と
等価原理なら疑リーマン幾何によるが
ガウスの曲面論.内在的幾何が発想の
基本です。
ヒルベルトは重力場方程式の作用を
発表しアインシュタインと先取を争い
ましたから論文が難しいより精密な
検証が困難だった時代でしょう。
まあ、ギャップがあり不明確なIUT
論文とアインシュタインの論文を比較
すること自体に失礼というか無理が
あります。
望月新一氏と加藤文元氏ではアインシュタインの論文の理解はむりっぽいと
おもいました。
910:１３２人目の素数さん
21/12/16 20:06:42.05 vLQ/gyqt.net
IUTが受け入れられていない言い訳にアインシュタインやら
グロタンディークを使うのはとても不誠実な態度だと思う
属人的論証や権威に訴える論証はいい加減にしてもらいたい
911:１３２人目の素数さん
21/12/16 20:11:40.53 OFCYH74M.net
機械証明出来るように書き下せばいいだけ
証明にギャップが有るかどうかも一発で分る
912:１３２人目の素数さん
21/12/16 20:13:13.39 ASlE8Drp.net
>>871
そっち？量子力学を受け入れ難かったようにって文脈じゃなかった？同じ不確定性だから
Uncertaintyとindeterminacyで呼び名は違うんだけども
913:１３２人目の素数さん
21/12/16 20:25:28.81 CtYPWp4/.net
>>874
望月新一氏のまえがきはblurringの言い訳につきます。
アインシュタインとの比較はおやめください。
p.s
ショルツェレビューは明瞭で賢いが
ドイツの伝統なのかも
914:１３２人目の素数さん
21/12/16 20:48:37.37 vLQ/gyqt.net
＞ショルツェレビューは明瞭で賢いが
ショルツ氏のレビューは一般の数学者向けに分かりやすく書かれていますから
一方、望月氏のはご自分の陣営引き締めのために書かれているように見えます
特に、異論あるいは懐疑を持つ人に対して、侮蔑的なレッテル貼りをしたり、
初歩的な勘違いをする馬鹿者扱いをして罵倒するのは、
支持を広げようとする意思がないとしか思えません
915:１３２人目の素数さん
21/12/16 21:20:38.19 wjnZcz/8.net
まぁ望月先生の人となりについてはどうでもいい
そもそも大概の数学者は人格的には疑問符付く人多い気もする
数学は人気集めて人柄で支持集めるものではないし、数学の論文に支持もへったくれもない
もちろん面白いか、数学世界の発展に役にたつかとかの意味での支持不支持ならあり得る議論だろうけど論文として成立してるのか、必要な事が書かれてるかどうかなんて話に支持も不支持もクソもない
916:１３２人目の素数さん
21/12/16 22:01:40.98 vLQ/gyqt.net
論文の役割は自分のアイディアの正しさを他者に認めさせることにあると思います
形式化して計算機で確証したというのでもない限り
一般からの
917:支持がない証明は証明とは呼べません 支持不支持の部分を無視して論文として成立してるか否かを 問うのは無意味だと思います この点についてはFカレガリ氏の指摘が的を射ています "To take an extreme example, if Mochizuki had carved his argument on slate in Linear A and then dropped it into the Mariana Trench, then there would be little doubt that asking about the veracity of the argument would be beside the point." ミレニアムプライズのルールにも "the proposed solution must have received general acceptance in the global mathematics community" とあります
918:１３２人目の素数さん
21/12/16 22:21:22.93 wjnZcz/8.net
>>878
もちろん他者の支持は結果として必要だけど、数学者がキチンと正しく書かれている論文なら支持しないなどという事はあり得ない、逆に必要な事がちゃんと書かれてない論文を支持することもない
数学者が論文を支持するか否かはイコールキチンと必要な事が書かれてるか否か、必要な事をちゃんと書けばそれだけで支持される
正直そこの部分で何か議論すべきことがあると思ってるなら君は数学勉強した経験ないやろ
そういう部分でちゃんと数学勉強した経験ある人間に張り合おうとするから信者とかなんとか言われるんだよ
919:１３２人目の素数さん
21/12/16 22:29:47.65 vLQ/gyqt.net
＞数学者がキチンと正しく書かれている論文なら支持しないなど
＞という事はあり得ない、逆に必要な事がちゃんと書かれてない
＞論文を支持することもない
はい、私もまったくその通りだと思います
現状がすべてを語っていると思います
920:１３２人目の素数さん
21/12/16 22:30:10.73 /98n4exv.net
数理論理君なんか微妙に認識ズレてるからなぁ
921:１３２人目の素数さん
21/12/16 22:33:08.28 wjnZcz/8.net
>>881
何がずれとるん？
お前単に自分が敵いそうにない人間にギャンギャン吠えかかってるだけのクソなんじゃないんか？
お前俺より数学の勉強ちゃんとした記憶あるんか？
922:１３２人目の素数さん
21/12/16 22:34:04.96 TDNii18w.net
>>881
賛同者もいるみたいだし、現状君が一番ずれてるね
923:１３２人目の素数さん
21/12/16 22:36:04.93 LWn64qoy.net
私の未解決問題の11問の正しい数学論文は今まで全否定されてきた
完全に正しいものも含めて、私が間違っているものもあったが
924:１３２人目の素数さん
21/12/16 22:45:16.65 LWn64qoy.net
最終的には全て正しくなっていますが、1年間の未解決問題解決論文投稿受付制限でもあるのでしょうか
925:１３２人目の素数さん
21/12/16 23:00:55.01 3SRfv5pG.net
あー。やっぱりシンパが宣っとるな、謳っとるな、喚いとるな｡
お前等IUT教の望月新一教祖すら否定しとる夢物語を期待して語るとか
向かう道ぃ地獄しか見えんなぁあオドレ等信者は｡
abc予想限定でしか効かんと教祖が述べとったのに、何でオドレ等は数学の外も外の、物理学に期待を寄せる？
加藤文元と言い。大丈夫か？数の理屈は数の理屈。物理学に波及したきゃあ
文元を含む、信者の誰か一人かは、IUTの何が、量子論理の学問的大成の進展を齎すのか
このスレを見てる、三千大千天魔羅王波旬変生と、たまに来る修士号持ちや博士号持ちの数名を
認めさせられるだけの『論文に出して院卒の称号を勝ち取れるだけの記述』を
何スレに跨いででも良いから、舌足らずに成らぬ様、書き下して見せろや｡
京大、IUT賛同新入り東工大、IUT賛同面々の大学
やれ。1000万レス掛けてでもな｡
926:１３２人目の素数さん
21/12/16 23:12:40.60 OKQzLPk
927:r.net
928:１３２人目の素数さん
21/12/16 23:17:23.46 cNk4N1Ee.net
アインシュタインの相対性理論はすんなり受け入れられたんじゃなかったっけ？
グロタンはまぁ、受け入れられるまでに時間を要したかもだけど
形式証明は今回のケースは無理でしょ
多くの周辺分野の数学者ですら読めない論文のアイデアを、形式化なんてとてもできないと思う
929:１３２人目の素数さん
21/12/16 23:21:18.46 urEGEbcE.net
ショルツェは読めてるって言ってるし読めてるんでないの？
930:１３２人目の素数さん
21/12/16 23:22:53.62 3SRfv5pG.net
>>881
いやぁ、彼は実は、承知でやってるぜ。ほら、此れ迄のレスを掘じ繰り返せよ
♪かーっかっかっかっ確信はーん、♪かーっかっかっかっ確信はーん
♪何でも？騙しちゃーう
ﾊｲﾊｲ
♪こーどーもー、そーだん、でんわ､
♪踏む♪
それが勢多。本人談。自説語りの為には5ちゃんねる嘘騙り罷り通りの現状の利を活かして
好きなだけ自説語りし、責任は持たず、騙され被害者は誰にも償わない｡
彼は『例え相手が真っ黒と認識しても、過ちの全てを、“敢えて”譲歩し
論理的に、相手を追い詰める、最後まで譲歩してくれる面接官ver.譲歩限界→∞』の
エゲツ無い人だぜ
イーヒッヒッヒ…まさか、まさか此の人が、勢多の腹積もりに乗り出すとは思わなんだわ…
悟り前の釈迦を悩ませた最後の魔王たる三千大千天魔羅王波旬変生も真っ青の菩薩が試しに来とる…
あー、アカデミックの良心は、健在だ!!なーにが基礎論大好きだ、基礎論なんてアンタにしたら裾野だろ
931:１３２人目の素数さん
21/12/16 23:29:15.52 ASlE8Drp.net
あまり読む気にはならないけど昔の2chみたいなノリで面白いな
932:１３２人目の素数さん
21/12/16 23:38:47.94 3SRfv5pG.net
いーですか皆さん
セタの無限重シングルトン理論は
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
『自然数は有限だ』
∀『自然数は有限だ』
故に無限大自然数も有限だ
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
の、『万人×公知』かつ『先験×自明』の、帰納法の歴史の中の、完全無欠に間違った、帰結と､
全く同種の、完全自己要因事故死です｡
レーベンハイムスコーレムでも超限帰納法でも何でもねーし、勢多お得意の選択公理に逃げる余地もねぇや｡
勢多の住居限定『俺の引き籠り部屋オリジナル公理』でしかねーや｡
散々あれほど勢多に『焼いて食ってやる！』と言っていた三千大千天魔羅王波旬変生も、勢多に食欲ではなく
害虫駆除対象本能が湧いて来た様です｡
933:１３２人目の素数さん
21/12/16 23:45:47.94 3SRfv5pG.net
6047万円かー
すげーな、現実感が未だに湧かねぇぞ
934:１３２人目の素数さん
21/12/16 23:48:54.05 acpZLykj.net
>>888
ローレンツ変換自体は前から知られてたから、それの正しい解釈を与えて美しい理論に仕上げた
935:１３２人目の素数さん
21/12/16 23:54:20.30 PN7jAxlI.net
そういやなんか新しい修正重力理論できたんだっけ？
936:１３２人目の素数さん
21/12/16 23:57:45.09 cNk4N1Ee.net
>>889
ショルツェが言ってるのって
望月の主張するようには読めず、意味の通るようにsimplifyすると読めるが、しかしそうすると系3.12は示せない
みたいなことじゃなかった？
そもそもIUT懐疑派は、abc予想あるいは系3.12が成り立ってないと言ってるわけではなくて、望月の
937:証明にギャップがあると言ってるわけだから、懐疑派としては形式証明のやりようがなくない？ IUT支持派も、形式証明に落とし込めるほどIUTを明確化できてれば、ハナから系3.12をもっとはっきりと証明できてるだろうし こんな混乱した状況じゃ、支持派が仮にIUTを形式化してabc予想の証明に成功しても、懐疑派はその形式化の不備を疑うし、失敗したら今度は支持派が形式化の不備で失敗しただけ、とか言う感じにしかならなそう
938:１３２人目の素数さん
21/12/17 00:29:01.98 kI4tn9I4.net
>>896
ホントに形式化されたらもう文句言う人間はでんやろ
形式化されてるか追ってく作業などただのルーティンワーク
しかし今回はそこまでやらないともう読む人おらんかもな
少なくとも現望月論文は外野で挑戦する人はもう出ない
まぁそもそも「できても認められないんじゃないか？」の心配より「形式化なんてできないんじゃないか」の方やろ
できるならもうとっくにやってるよ
939:１３２人目の素数さん
21/12/17 00:39:43.41 tR3Io3XT.net
スピリタスこの前テレビで5杯で致死量て言ってました
940:１３２人目の素数さん
21/12/17 00:44:49.43 sT6/JQma.net
IUT理解するよりABC予想証明するほうが簡単なんじゃないかw
941:１３２人目の素数さん
21/12/17 00:54:29.24 a3qR4uFl.net
ショルツェのアレで理解でしょうよ
望月は違うって言うだろうけど
942:１３２人目の素数さん
21/12/17 04:30:20.33 tj22ZwiD.net
>>897
> 現望月論文は外野で挑戦する人はもう出ない
願望
月
論文
なんのこっちゃ？
ってなったぞよ
943:１３２人目の素数さん
21/12/17 08:05:47.78 .net
特殊相対論も一般相対論も
数学的には最先端というわけではない
既に分かっていた数学を使っている
グロタンディクの抽象的な思考は
当時の常識からはかけ離れていたかもしれないが
意図は明確であったから
理解されれば大した反発はなかった
望月新一氏のinter universalityの考え方は
意図すら明確でないと思う
944:１３２人目の素数さん
21/12/17 10:32:38.49 t+vhU51P.net
証明戦略がわかってると言われてるのだからやりたいことはわかってるのでしょうよ
その上で見込みが無さそうだと言われてる
945:１３２人目の素数さん
21/12/17 14:22:01.32 AuHYh+eY.net
形式証明して間違ってることを示しても形式証明の解釈が間違っているとケチを付けられて終わり
証明にギャップがあるので形式証明に落とし込めない
946:１３２人目の素数さん
21/12/17 14:28:05.16 Mm+F9i6m.net
「ABC予想に関して、私は真に驚くべき証明を見つけたが、ショルツの頭はそれを理解するにはアホすぎる。」
要するに、モッチーの主張ってこうやんな？
947:１３２人目の素数さん
21/12/17 14:51:17.79 aqYQGxyV.net
当人はブログや文書見ても分かる通り、単に本当に狂ってしまったんだろうけど、
いっときの利益のために心中する道を選んだ取り巻きや数利権が謎ですね。
948:１３２人目の素数さん
21/12/17 14:54:15.57 AuHYh+eY.net
ショルツが理解できてないのは確実。trivialじゃない部分は文脈から判断しないと駄目なのにね
やはりハイコンテクストな分化を持つ日本人にしか理解できないのは仕方ないのであろう
949:１３２人目の素数さん
21/12/17 15:01:25.96 aqYQGxyV.net
まぁ、性善説前提で設計されているシステムだから、そこをつけ込まれなんだろうね。
テニュアも賞も、後で業績に問題があったことが発覚しても
取り消しにはならないもんね。
代数学賞、春季賞でも実例あり。
950:１３２人目の素数さん
21/12/17 15:07:01.77 vdCu7Q/r.net
2045年以降
大学で数学を「研究する人」はいるのだろうか
みんな趣味の世界になってそう
少なくとも規模の縮小はしそうだな
951:１３２人目の素数さん
21/12/17 15:08:26.49 vdCu7Q/r.net
今何をしていようが分野が衰退しちまえば逃げ切れるｗ
手書きのクソ論文書いてた団塊とかことごとく逃げ切ったなｗ
952:１３２人目の素数さん
21/12/17 15:19:19.65 dN/wXHF2.net
>>907
証明なら、
ショルツェはコンピューター
証明支援システムも専門つまり
証明のプロです。
RIMSは「IUT論文の査読中に
IUTTの構築よりabc予想が解決」と
公表したけど証明軽視も甚だしい。
代数的整数論の高木貞治氏の
指導教官はヒルベルト、
日本ではヒルベルトの伝統が失われたのかな
953:１３２人目の素数さん
21/12/17 17:19:24.49 bW2EhGC8.net
このrimsの周辺がきな臭いだけで他所は今日も平常運転でしょ？
その他の大学では
この件だけを持って日本数学界はどうたら、未来の数学界はどうたらとか関係ないよ
954:１３２人目の素数さん
21/12/17 17:32:19.17 NxipLP+/.net
年明けたら年に一回のブログの更新あるかな
955:１３２人目の素数さん
21/12/17 17:36:40.58 iBobBIbm.net
五人論文が Kodai math に載ったので IUTT は北白川限定ではなくなりました
これからは大岡山でも ABC 予想は解決済みです
956:１３２人目の素数さん
21/12/17 17:40:38.79 BiCcbx36.net
大きな問題（ABC予想のような）について「全く新しい」アプローチで解決したという主張と
全般的には受け入れられたとは言えない状況が何年も続くということ、
数学界ではこういうことは結構頻繁にあるのかしらね。
たまたま今回は日本人だったというだけでそれなりに業界長い人から言うと
ああまたか、みたいな感じなのかなぁ。
957:１３２人目の素数さん
21/12/17 17:41:36.25 Mm+F9i6m.net
とはいえ、これで後になって証明がダメと発覚でもしたら、日本数学史上最大の汚点になるやで
ABC予想解決を前提として制作されるNHKの番組も、嘘を放送することなるやで
958:１３２人目の素数さん
21/12/17 17:43:37.59 ai1KebJp.net
間違った証明が間違ったまま何十年も受け入れられ続けたなんて歴史上よくあることだからヘーキヘーキ
959:１３２人目の素数さん
21/12/17 17:54:59.66 Mm+F9i6m.net
間違ってるのでは？と指摘されて、その指摘を認識しながらも無視（ついでに相手を貶す）して学術誌掲載、その後実際に間違い発覚、だったらかなりレアケースでは？
960:１３２人目の素数さん
21/12/17 18:02:35.91 ai1KebJp.net
ショルツェの指摘があった頃にはもう査読通ってたんじゃなかったっけ？
だから俺は今回の件は望月の態度が悪いってだけで他に何も特別なことは起こってないってずっと言ってるよ
961:１３２人目の素数さん
21/12/17 18:19:35.23 OPfSHTi2.net
考えてみなよ
遠アーベル幾何学に革命が起こったはずなんだろ？
なら中村や玉川、星も自分の研究を一旦捨ててでもSSに回答する形で概説を出せば済む話だ
それができないということはそういうことだ
962:１３２人目の素数さん
21/12/17 18:25:40.85 R6PW87mN.net
>>915
ないよこんなの
前代未聞
だから今回の件は数学史上の大事件としてずっと語られて行くよ
もちろん間違い論文がずっと気づかれてこなかったとかはあるけど今回のは流石に異常
963:１３２人目の素数さん
21/12/17 18:26:51.11 oJ5boE7I.net
数学にもうすぐ掲載予定の星の論説は概説みたいだが
964:１３２人目の素数さん
21/12/17 18:42:18.76 OPfSHTi2.net
>>922
例の入門の焼き直しみたいのなら何の意味もない
965:１３２人目の素数さん
21/12/17 18:58:13.88 4r6rowEu.net
>>923
それは「数学」の論説をなめて言っているのか？
なんの意味のないものを15名の常任編集委員と
その他21名の編集委員が通すとでも思っているのか。
primsじゃあるまいし。
966:１３２人目の素数さん
21/12/17 19:05:17.09 2eTD9+av.net
>>924
日本数学会が疑惑なんだよね
967:１３２人目の素数さん
21/12/17 19:06:56.49 OPfSHTi2.net
>>924
遠アーベル幾何学概論
968:とIUT概論は別のものだと考えたほうが良いので物によるとしか言いようがない
969:１３２人目の素数さん
21/12/17 19:20:04.75 4r6rowEu.net
>>925
あなたメディアの人？
970:１３２人目の素数さん
21/12/17 19:20:09.04 2eTD9+av.net
>>917
法令違反だよ
放送法
第2章 放送番組の編集等に
関する通則
《第４条》《国内放送等の
放送番組の編集等》
放送事業者は、国内放送及び内外
放送(以下「国内放送等」という。)
の放送番組の編集に当たつては、
次の各号の定めるところによらなければならない。
1. 一 公安及び善良な風俗を害しないこと。
2. 二 政治的に公平であること。
3. 三 報道は事実をまげないですること。
4. 四 意見が対立している問題については、できるだけ多くの角度から論点を明らかにすること。
URLﾘﾝｸ(www.nhk.or.jp)
971:１３２人目の素数さん
21/12/17 20:36:54.03 4TGFr9iE.net
>>928
IUTTは一つも当てはまらないな
もっちーは自分の学説を発表しているだけ
発表で害を被るものもいないので意見が対立するような問題にすらなっていない
972:１３２人目の素数さん
21/12/17 20:45:13.59 2eTD9+av.net
3. 三 報道は事実をまげないですること。
4. 四 意見が対立している問題に
ついては、できるだけ多くの角度から論点を明らかにすること。
973:１３２人目の素数さん
21/12/17 20:51:20.06 aqYQGxyV.net
ショルツレビューは一切報道しない。
もはや大本営発表。
974:１３２人目の素数さん
21/12/17 21:19:53.74 ox4GwvXN.net
ショルツェ
975:１３２人目の素数さん
21/12/17 21:53:24.75 E+gyCrqE.net
>>916
> ABC予想解決を前提として制作されるNHKの番組も、嘘を放送することなるやで
そんなんSTAP細胞のとき散々やらかしてますがな
976:１３２人目の素数さん
21/12/17 22:15:04.28 AuHYh+eY.net
既に査読済みで発表されたという事実は揺るがない
977:１３２人目の素数さん
21/12/18 01:14:25.96 sn8dHTbV.net
PRIMS がやらかしてしまったということだろ。
STAP細胞のときだって、NatureかScienceに掲載された。
PRIMSはそこまで格が高いわけでないが、今回の件でかなり信用を失った。
私はもう投稿するつもりがない。
978:１３２人目の素数さん
21/12/18 01:41:32.12 2b1X8U2v.net
>>935
国からの圧力に負けて投稿する様になると
予言してやろう
979:１３２人目の素数さん
21/12/18 01:44:14.88 gZ6YFAhY.net
東工大については言っちゃ悪いが元々代数幾何学分野では微妙な場所だから仕方ないw
980:１３２人目の素数さん
21/12/18 01:45:05.13 C346dCab.net
>>929
これは事実
↓
平成28年(2016年)6月
文科省所管の独立行政法人
大学改革支援・学位授与機構
京都大学数理解析研究所
第2期中期目標期間
(平成22年～ 平成27事業年度)
-現況調査表 -
p28-3 資料 2. 発表論文数
所員の発表論文数 査読付き論文のみ
p28-10 事例4「数論幾何の研究」
「望月新一に よる「宇宙際タイヒ
ミューラー理論」の構築とその結果
としての ABC 予想の解決は、
特筆すべき 出来事である。」
「当該論文は現在査読中であるが、 」 「望月新一が同理論の概要を解説した
業績番号1― (2)(2014)が、講究録別冊
( B51)として刊行されている」
981:１３２人目の素数さん
21/12/18 01:47:02.18 8NcA4oZx.net
説明責任を果たす気もないみたいだし、あいつらはじわじわとでも外圧かけて懲らしめていくしかないよな。
当面すぐにできそうなこと:
PRIMSには投稿も査読もしない、
論文アンケート、謝辞古事記は全て無視する。
982:１３２人目の素数さん
21/12/18 04:13:07.49 a8EOILeZ.net
>>908
>代数学賞、春季賞でも実例あり。
誰のこと？まあ代数学賞の受賞者は玉石混淆だとは思う。
983:１３２人目の素数さん
21/12/18 05:50:33.28 pQ8pFwiM.net
>>934
RIMSが既にマッチポンプの査読で発表されたという事実は揺るがない
984:１３２人目の素数さん
21/12/18 09:18:23.70 Zfa+CNtg.net
誰かが墓場まで持っていくと言った秘密が
簡単に事実化されているような気がするのだが
985:１３２人目の素数さん
21/12/18 10:36:53.93 2uW38KxY.net
査読が通った以上、負け犬の遠吠えでしかない
986:１３２人目の素数さん
21/12/18 11:17:42.42 jk5hnlOg.net
掲載誌がPRIMSだったので身内の査読呼ばわりで印象悪いけど
そんなこと言い出すと欧米誌もコネ天国なんだよね
テレンスタオのコラッツ予想の論文は自分がエディターの雑誌に載ったし
ドイツ野郎ショルツのレビューが載ったzbMATHも運営してるのはドイツ
987:１３２人目の素数さん
21/12/18 12:04:04.27 erri05eB.net
BBC もネイチャーも英国で
IUT論文の受理には疑義を示している。
>>17
・英BBC「不可解な証明を巡る論争」
と題した記事では「ほとんどの数学者
は証明が失敗したと考え理解すること
をあきらめ た」
・英科学誌ネイチャー 論評
「不可解な論文が公式に出版される
ことに衝撃を受けた。ABC予想の
「証明」は物議を醸したままだ
988:１３２人目の素数さん
21/12/18 12:06:47.03 2uW38KxY.net
PRIMSという最もITUに詳しい人達が編集員をやっている雑誌で査読を通ったのだから文句のつけようがない
989:１３２人目の素数さん
21/12/18 12:12:27.16 jY8yvr8m.net
>>944
ショルツェ
990:１３２人目の素数さん
21/12/18 12:28:57.64 erri05eB.net
>>946
>PRIMSという最もITUに詳しい人達が
編集員をやっている雑誌で査読を通った
IUT論文の査読中からabc予想はIUTT
の構築より解決と肯定的に公言した
からRIMSの印刷物PRIMSで受理は
必然的だね>938
資料 2. 発表論文数
一方、
「所員の発表論文数 査読付き論文のみ」
でIUT論文は査読中だから評価されない
はず。
なぜRIMSのIUT論文のみ評価基準が
違い特別に評価されたのか。
闇は深い
991:１３２人目の素数さん
21/12/18 12:44:45.13 /npeDdST.net
ペレルマンは「数学以外はすべて政治」と言ったそうだが。
数学も政治だったね。
992:１３２人目の素数さん
21/12/18 12:49:34.71 paNNpjr2.net
数学も政治だと気付いたからペレルマンも籠もったわけで
993:１３２人目の素数さん
21/12/18 13:08:19.44 2uW38KxY.net
数学の正しさは数学者が認めるかどうかで決まる
ITUに最も詳しい人達が正しいと認めたのだからこれ以上精査のしようがない
994:１３２人目の素数さん
21/12/18 13:59:25.20 +fGGVPrc.net
政治＝人間の意思が相互に依存しあっている状況
だね
もちろん数学の研究も「政治」に過ぎない
人間の営みはすべて「政治」だよ
でもそのような「政治」を数学的に考察することができてそれがゲーム理論だ
ゲーム理論は万物の理論だよ
995:１３２人目の素数さん
21/12/18 14:06:56.48 .net
>>952
政治＝他人を全て敵として戦うパワーゲーム
でしょう
人類が全てを「政治」だというなら、
その結果は全人類の破滅でしょうな
例外はあり得ません
996:１３２人目の素数さん
21/12/18 14:11:50.41 XXAnJMDM.net
万人の万人に対するみたいな話をしたい？
997:１３２人目の素数さん
21/12/18 14:28:19.55 +fGGVPrc.net
>>953
敵の敵は味方だよ
これぞまさに政治
998:１３２人目の素数さん
21/12/18 14:35:10.60 .net
>>955
>敵の敵は味方だよ
でも共通の敵がいなくなると、敵になりますね
パリティの保存は利きませんな
999:１３２人目の素数さん
21/12/18 14:37:46.93 .net
>>954
＞「万人の万人に対する・・・」
トンデモ数学者の発
1000:言には興味ないです https://ja.wikipedia.org/wiki/%E3%83%88%E3%83%9E%E3%82%B9%E3%83%BB%E3%83%9B%E3%83%83%E3%83%96%E3%82%BA トマス・ホッブズは1655年に出版した『物体論 De Corpore』内で 円積問題の解を見つけたと公表し、数学者のジョン・ウォリスとの論争に発展した。 ホッブズの哲学は公理系を元に構築する幾何学的な考え方を元にしていたが、 円積問題については終始、本質を理解することができず、 誤りを自覚できずに死ぬまで激しい論争を続けた
1001:１３２人目の素数さん
21/12/18 14:39:31.35 aYt72M4b.net
囚人のジレンマとかなつい
1002:１３２人目の素数さん
21/12/18 14:43:37.24 cwQ14sHi.net
>>949
ペレルマンのその言葉はもう既に有名らしい。
知合いに書き物を送った時、「政治の話だ」というコメントをもらって
面くらったが、「これは数学ではない」という意味だったのだね。
1003:１３２人目の素数さん
21/12/18 14:46:07.15 2PvmONi/.net
>>949
数学が政治なんてのはここの妄想世界の住人の間でしか通用してない
リアルの数学世界では普通の数学者が普通の数学世界の運営を普通に行ってるよ
なんの不都合も発生してない
ここのアホ〜な連中が妄想ワールドでガタガタ言ってるだけ
1004:１３２人目の素数さん
21/12/18 15:14:48.49 8NcA4oZx.net
教祖様自身が政治的陰謀で云々言っておりますが。。。w
1005:１３２人目の素数さん
21/12/18 15:16:24.07 .net
>>960
もちろん数学はパワーゲームではなく相互扶助で生きてます
そのほうがお互いに利益があるからですね
望月新一氏が理解してないだけでしょう
1006:１３２人目の素数さん
21/12/18 16:54:11.26 2uW38KxY.net
FACTチェック
望月論文はAcceptされた
反対論文はAcceptされてない
1007:１３２人目の素数さん
21/12/18 18:46:42.72 cwQ14sHi.net
>>963
反対論文とは？
1008:１３２人目の素数さん
21/12/18 19:45:14.95 YQHQrj/Z.net
な、数学の世界の話できるレベルじゃないんだよ
どこの妄想ワールドの話してるのか
1009:１３２人目の素数さん
21/12/18 21:12:37.75 9dvEl+h1.net
次スレについて
スレ47の表記ですがスレ48です。
URLﾘﾝｸ(itest.5ch.net)
1010:１３２人目の素数さん
21/12/19 05:48:36.56 cJNsGn2+.net
abc予想とIUTTについてNHKスペシャルの番組取材が京大RIMS関連やDupuyを
対象に行われたとの情報が流れていた。
しかしなぜかDupuyのTwitterでNHKの
取材情報が削除された。
望月新一著「Inter-universal Teichmuller
Theory 1-4」(以下IUT論文)について、
このスレや過去スレにあるように
矛盾した事実.疑義 は存在する。
特に公共放送NHKの数学番組として
編集において放送法を遵守し
事実と対立意見を尊重.解明し公正な
番組を編集することは当然の義務で
ある。
放送法とIUT論文
放送法2章4条三
報道は事実をまげないですること。
・査読過程の疑義
・メディアとIUT論文の評価
放送法2章4条四
意見が対立している問題については
できるだけ多くの角度から論点を
明らかにすること。
IUT論文の位置づけと疑義
・ICM2022
・ショルツェスティクスレポート.
ショルツェレビュー
クァンタマガジン
・石倉朝日記者記事. 海外の発言
・海外の日本人数学者
・Some instructive
1011:１３２人目の素数さん
21/12/19 06:03:14.93 cJNsGn2+.net
>>967
続き
・「Some instructive mathematical
errors」 Richard P. Brent
他
1012:１３２人目の素数さん
21/12/19 06:32:55.79 PVQjjwRU.net
>>967
正直、NHKの能力で数学の最先端を完全に公平に扱えるとはおも�
1013:ｦん。できる方がおかしい。 適材適所じゃない。
1014:１３２人目の素数さん
21/12/19 07:56:26.84 XLV1DsE9.net
>>969
直接、
NHKへ数学番組作成の中止を申し込んだらいかがですか。
IUTは数学をめぐるスキャンダルです
1015:１３２人目の素数さん
21/12/19 11:00:47.17 .net
＞NHKの能力で数学の最先端を完全に公平に扱えるとはおもえん。
リーマン予想のときと同様の感じで誤魔化すんじゃないかな？
1016:１３２人目の素数さん
21/12/19 11:56:45.38 iBxzfJBo.net
NHKの取材力を舐めてはいけない。
なんなら、取材を通して系3.12のrigorousな証明が明らかになる可能性もある。
1017:１３２人目の素数さん
21/12/19 13:45:10.65 ndVfaXDS.net
査読論文載った後も数学として何も進んで無いから
部外者から見たらもう終わったとしか思えない
関係者の皆さんは頑張ってくだはい
俺が退職する三十年後までには何か進展あると良いですね
1018:１３２人目の素数さん
21/12/19 14:53:12.82 TgPx3ksE.net
ドブランジュみたいなオワコンの基地外大々的に取り上げた実績があるから、何も期待できないね。
ブンゲンの美辞麗句や取り巻きの素人しか誤魔化せない見苦しい言い訳をそのまま垂れ流すだけだろうな。
1019:１３２人目の素数さん
21/12/19 15:16:41.27 .net
>>973
＞俺が退職する三十年後
その頃まで人類が生き残れればね
1020:１３２人目の素数さん
21/12/19 15:41:12.35 xvdAjjMe.net
>>974
ちがいます
1
望月新一RIMS教授推薦
加藤文元IUT本.
RIMS「2021IUTTの拡がり」公式本
「IUT語。IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されている」
2
2020年4月3日
PRIMS特別編集委員会委員長.
IUT論文受理の記者会見
玉川安騎男教授
「全く新しい理論で、さらなるインパクトを生み出す可能性がある」毎日
柏原正樹特任教授
「ＡＢＣ予想を証明した望月氏の論文が正しいものであると判断した」産経
つまり全く新しい理論のIUTTより
abc予想は「証明」されたと宣言
した。
「科学的な観点から審査している」
「査読の過程はお墓に持っていく」
1と2から
RIMSとRIMS「2021IUTTの拡がり」
の公式見解は
「全く新しい理論のIUTTより
abc予想は「証明」された」
全く新しい！理論です～
「科学的な観点から審査している」
「査読の過程はお墓に持っていく」
非公開なのになぜ科学的な観点と
保証できるのかなあ～
1021:１３２人目の素数さん
21/12/19 16:27:52.02 9Uk+qOuC.net
>>972
>NHKの取材力を舐めてはいけない。
NHKはSTAP細胞発見を快挙と報道しましたよ？
1022:１３２人目の素数さん
21/12/19 16:34:09.38 9JKN6Wlf.net
実際本当なら快挙だしね
1023:１３２人目の素数さん
21/12/19 16:41:15.40 xvdAjjMe.net
「IUTTは全く新しい理論」とは
反論には「細かい」許せる範囲の修正
のみ受け付ける。
本質を問う質問にはそれは全く新しい
理論IUTTではなく間違いだ、
RIMSでIUTTを修行しろ。
対応の結果がわかっているから
反論しないと
→反論がないからIUTTは正しい
これは詭弁でしょ？
今後日本の数学界で流行るかしら？
1024:１３２人目の素数さん
21/12/19 17:23:17.03 9Uk+qOuC.net
>>978
「本当なら」という条件無しに快挙と報じました
まあそんな条件付けたらニュースになりませんからねｗ
1025:１３２人目の素数さん
21/12/19 17:57:18.43 AVzplLMe.net
1987年ごろNew York Timesにポアンカレ予想解決の快挙が
報じられたことがある。
2003年のニュースは新聞を通じてではなく
人づてに「今度は本当みたいですよ」という付け足し付きで知った。
1026:１３２人目の素数さん
21/12/19 20
1027::19:14.52 ID:2sd9oP9D.net
1028:１３２人目の素数さん
21/12/19 20:21:58.07 aiBRW9IQ.net
マスゴミはどこもそのくらい馬鹿ってことでしょ
1029:１３２人目の素数さん
21/12/19 20:26:00.55 5kl1h8NU.net
そもそもマスコミ関係ないし
外野がいくらガタガタ言っても関係ない
数学界の中で認められるか否かが全て
1030:１３２人目の素数さん
21/12/19 20:33:19.41 aiBRW9IQ.net
話の通じない人だ
1031:１３２人目の素数さん
21/12/19 20:37:35.98 Sv5za0Zc.net
話通じんのはこのスレのアホー連中全部だよ
1032:１３２人目の素数さん
21/12/19 20:41:18.62 2sd9oP9D.net
>2015年5月13日
中央教育審議会大学分科会大学院部会
日本学術振興会
グローバルCOEプログラム委員会
研究成果例 京大G08
宇宙際タイヒミュラー理論
「数論におけるブレークスルー」
>宇宙際タイヒミュラー理論を用いる
ことによってabc予想と呼ばれる
数論の難問が解決することが2012年
に発表 された。
日本の主な全国紙は言うに及ばず、
New York Times などでも報道され、
非専門家の間にも大きな話題 を提供
している。
宇宙際タイヒミュラー理論は数理解析
研究所の望月新一教授(GCOE事業推進者)の独創によるものであるがその解説
や応用には多くの若手研究者が関与 している。
↑
なぜか日本学術振興会はIUT論文を
研究成果例にあげている。
理由は内外のメディアがIUT構築より
abc予想の解決と報道したから。
この理解に苦しむ評価の詳しい経緯は
公共放送で報道されるのだろうか
1033:１３２人目の素数さん
21/12/19 20:42:26.43 pi/OUdpm.net
>>984
＞数学界の中で認められるか否かが全て
数学界での評価についてはその通りですが（そして既に決着しています）
社会的な評価はまた別の話です
予算が付くかどうか、ひいてはポストが増えるかどうか
といった問題は社会的な評価に大いに影響を受けます
1034:１３２人目の素数さん
21/12/19 20:46:04.42 2sd9oP9D.net
stap論文と類似だな
1035:１３２人目の素数さん
21/12/19 20:50:27.54 2sd9oP9D.net
再記しますと
1
望月新一RIMS教授推薦
加藤文元IUT本.
RIMS「2021IUTTの拡がり」公式本
「IUT語。IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されている」
2
2020年4月3日
PRIMS特別編集委員会委員長.
IUT論文受理の記者会見
玉川安騎男教授
「全く新しい理論で、さらなる
インパクトを生み出す可能性がある」
毎日
柏原正樹特任教授
「ＡＢＣ予想を証明した望月氏の
論文が正しいものであると判断した」
産経
つまり全く新しい理論のIUTTより
abc予想は「証明」されたと宣言
した。
「科学的な観点から審査している」
「査読の過程はお墓に持っていく」
1と2から
RIMSとRIMS「2021IUTTの拡がり」
の公式見解は
「全く新しい理論のIUTTより
abc予想は「証明」された」
全く新しい理論です
「科学的な観点から審査している」
「査読の過程はお墓に持っていく」
非公開なのになぜ科学的な観点と
保証できるのかなあ
1036:１３２人目の素数さん
21/12/19 20:59:54.85 lFfEUmbA.net
いい加減に内輪査察から卒業しないと
1037:１３２人目の素数さん
21/12/19 21:11:39.81 F9TBROZ9.net
NHKに期待する余地はないよ
文元本がモチーフだと思う
1038:１３２人目の素数さん
21/12/19 21:21:00.87 cx9fb6Sq.net
科学朝日サイアス残党兵
1039:１３２人目の素数さん
21/12/19 22:10:29.95 2sd9oP9D.net
ICM2022はRIMSから
偏微分方程式の研究分野で
招待講演者1名のみ。
非線型波動方程式.分散.散乱
非線型シュレディンガー方程式.
ソリトン.大域解の挙動の分類など。
古典的な分野で物理と関連し
地味だけど奥が深い。
これが世界の評価だわ
1040:１３２人目の素数さん
21/12/19 22:31:01.93 TgPx3ksE.net
8人招待で1人だけとは落ちぶれたな。
あんな基地が組織巻き込んで大暴れしてればそりゃ良識と実力ある人は避けるし出て行くわな。
1041:１３２人目の素数さん
21/12/19 23:15:08.47 iBxzfJBo.net
拓郎のほうは、1000ページの論文で海外からも認められたのに。
なぜ500ページの論文がこれほど拒絶されるのか。
1042:１３２人目の素数さん
21/12/20 07:
1043:21:29.31 ID:dK59f0/M.net
1044:１３２人目の素数さん
21/12/20 09:18:17.06 bqNSpK9I.net
RIMSと関係者はIUTTは全く新しい理論と公言したが、全く新しい理論とは
ギャップがありトンデモしかない。
ショルツェレビューでHT前の
遠アーベル幾何までとIUTTを分離して
整理した。
公共放送NHKはショルツェスティクス
レポート.ショルツェレビューを
尊重しなさい。
1045:１３２人目の素数さん
21/12/20 09:31:38.37 bqNSpK9I.net
RIMSと関係者はIUTTは全く新しい理論
と公言したが、全く新しい理論とは
RIMSと関係者はIUTTは全く新しい
理論と公言したが、全く新しい理論とは ギャップがありトンデモしかない。
RIMSはIUTT研究が中心の次世代幾何学
研究センターを解散しなさい
大きなギャップ断絶がありトンデモしかない。
RIMSはIUTの研究が中心の次世代幾何学
研究センターを解散しなさい
1046:１３２人目の素数さん
21/12/20 09:39:10.77 bqNSpK9I.net
RIMSと関係者はIUTTが全く新しい
理論と公言した。
全く新しい理論とはギャップ断絶がありトンデモしかない、
IUT論文は直ちに取り下げ
IUTの研究中心の次世代幾何学研究
センターは解散すること。
公共放送NHKは放送法を守り
数学番組を編集しなさい。
1047:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 63日 14時間 5分 27秒
1048:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています