[過去ﾛｸﾞ] Inter-universal geometry とABC 予想58
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
725(1): 2025/10/27(月)21:50 ID:xFlxN+hR(2/2) AAS
続き
1
>著者は「なぜabc証明戦略は受け入れられそうにないのに、なぜabcを気にしない数論幾何学者の中にはIUTを学ぶ人がいるのか」を説明しようとしていると述べています。
証明については望月がショルツ/スティックスを回避する方法について語った内容を再現しようとしており、「とはいえ、ほとんどの数学者は設定から即座に矛盾を導き出せる容易さを先に進むべきサインと見なしていると思います」と結論付けています。
彼の評価は望月にはこの分野の他の専門家に受け入れられる証明がないということのようです。
2
>専門家は失敗した証明の詳細を掘り下げて一般大衆にとって正確なストーリーを分かりやすく説明することに時間を無駄にするべきではありません。
しかし、専門家ではない人が真剣にそうすることに多くの時間を費やしたいのであれば私は問題ないと思います。
726(1): 2025/10/28(火)07:43 ID:K7JPQAZ4(1) AAS
>>725
続き
joshiのabc予想の証明について
woitのコメント
>I keep hoping that this will get resolved
by the conventional refereeing system:
he’ll submit the papers with the proof to
a reputable journal, they’ll find one or more willing referees, who will go through his arguments carefully and either show him where they are flawed, or vouch for their
soundness.
>私はこれが従来の査読システムによって解決されることを願っている：
省2
727(2): 2025/10/28(火)09:54 ID:ZzNUQ+Cd(1) AAS
モッチーが今度はJ.D.ボイドをボッコボコ
math_jin
望月新一の最新情報更新2025年10月26日
・（過去と現在の研究）研究集会NGR2025での講演のスライドを公開。
・（過去と現在の研究）宇宙際タイヒミューラー理論の現状に関する報告書を公開。
#IUTABC
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
728: 2025/10/28(火)11:12 ID:pveaBS5N(1) AAS
2006年の論文は読んでみたい
729: 2025/10/28(火)11:33 ID:bJE612jE(1) AAS
>>727
●違いMSが何をわめいても無駄
730: 2025/10/28(火)11:37 ID:4ePJE3py(1) AAS
>>726
joshiには頑張って欲しい(´・ω・`)
731: 2025/10/28(火)14:06 ID:QR4/YE+1(1) AAS
もう望月は逆ギレ誹謗中傷のアカハラ老害としてしか
人々の記憶に残らないだろうね
732: 死狂幻調教大師S.A.D.@月と六ベンツ 2025/10/28(火)14:49 ID:zHlwgQCT(1/5) AAS
しかしシューマンが音楽家だったように別の分野も大事ではないのか。みんなの。
733: 死狂幻調教大師S.A.D.@月と六ベンツ 2025/10/28(火)14:51 ID:zHlwgQCT(2/5) AAS
なにか数学科でも無趣味な人じゃないことが大事でそこまで考えると無理に仕事を背負わすのはよくない。
734: 死狂幻調教大師S.A.D.@月と六ベンツ 2025/10/28(火)14:52 ID:zHlwgQCT(3/5) AAS
一つのことで一流なら他分野でも一流。
735: 死狂幻調教大師S.A.D.@月と六ベンツ 2025/10/28(火)14:53 ID:zHlwgQCT(4/5) AAS
であることも多い。
736: 死狂幻調教大師S.A.D.@月と六ベンツ 2025/10/28(火)15:01 ID:zHlwgQCT(5/5) AAS
人生をこなす数学スキルが他分野で活かされると思うからみんな諦めるな。
737: 2025/10/28(火)22:24 ID:4HsoblYP(1) AAS
おかしくなってしまったことを自らセルフ証明していくスタイル
こんな荒唐無稽な長文書いてる暇あるならIUTの破綻してる箇所詰めたもんちゃんと書けよ
こいつはもう詰んでるな
方々に噛み付いてるからそのうち名誉毀損で訴えられてこの問題行動を放任してた数理研も困ったことになるかもね
世の中泣き寝入りする人間ばかりじゃないからな
738: 2025/10/29(水)00:10 ID:whhVci0f(1) AAS
破綻もなにも、「通常の数学ではモデルをひとつ固定し、すべての命題の“真偽値”を固定して議論するが、それをやめたら新しい結果がえられるのではないかとやってみた」といい、「それでABC予想が証明できた」といってるくせに、じゃあその新しい言語はなにか、推論はなにか、な～んにも説明なし。
そんなもん論文と呼べるかといっている。
書いてあるならそこ引用してみろよ
739: 2025/10/29(水)11:30 ID:t5+ey4z4(1/3) AAS
おっすオラ、オカルトマニア！
前回このセリフ忘れてたな
新たに境界情報宇宙論が色々LEAN4で通ったからまた置いておく
階層構造的唯一神Aと人間Bの関係やその他人間達の定義
それら境界情報宇宙論の3x3行列での具体的な実装、IUTで乗法保存が存在するっていう触り部分のみだが、合ってるかは不明
あとさすがに相互規定の結合律や対称性の破れに関して完全証明できなかったので、
追加でaxiomになってるが、対称性の破れはぶっちゃけって言って既存の数学物理による宇宙論から言えば論理的にはほぼ自明な部分
外部ﾘﾝｸ:ideone.com
740: 2025/10/29(水)11:31 ID:t5+ey4z4(2/3) AAS
あぁ忘れてた
PCにLEAN4環境構築してる人はもちろん、ブラウザからもLEAN4WEBで試せるので是非
741: 2025/10/29(水)11:55 ID:gfCmVf/2(1) AAS
数学的内容さえ正しければそれ以外の要素、例えば他人に対する態度などはどうでもいい、という思想が蔓延している状態でその数学的内容の正否を判断できないとなると完全に手詰まりになることを証明したのがこの騒動の唯一の収穫なのかな
外堀から埋めるとかそういう正面突破以外の手法が全く機能する気配がない
これもう本人が他界するまで一歩も進展しないでしょ。というか本人およびその近しい関係者もそれを狙ってるように動いているとすら思う
結果の正否に関わらず日本数学界最大の黒歴史になりそう
742: 2025/10/29(水)13:10 ID:eh0t+AkS(1/9) AAS
そもそも現代数学において他人が理解できないなどという論文はありえない。
上で LEAN の話してるやついるが、正しく書かれた論文は計算機にかければ正しいか正しくないか判定できるように設計されている。というかそうでなければ数学と言えんと先人の基礎論の研究者が設計した。だからもうこんな騒動になってる時点でおかしい。
じゃなんでこんな事が起こるかというと、しかし論文は計算機に直接かけられるような文章でなく、あくまで自然言語で書く事が伝統的に決まってるから。で前のICMでもうこんな事態を起こさないように論文は計算機に直接かけられる状態で提出してもらった方がいいのではなんて意見が出てたようやな。いわく Lean therem prover が出ないように。
もちろんそれもコレも数学基礎論の定めるところによる言語と推論規則で書かれでる場合で本人が「そのルール無視する」と言ってるんだから今回の論文には全く使えないけどな。
そんな事が起こるのもまぁ実は数学基礎論の扱いが数学の世界では低めでそんなルールちゃんと勉強しなくてもそんな複雑なもんじゃないでしょ、論文読んでたらそれでわかるんやからいいやんですます人が多いのもある。もちろんそれはある意味正しい。数学基礎論はあくまで普通に数学論文で使われてるルールをちゃんとまとめなおしたものに過ぎないんだから。数学基礎論の定めるところはそんなもんいちいち勉強しなくても普通に論文読んでりゃわかる。じゃあ今回なんでこんな事になってるかというと、望月先生が、「ルールに沿わない新しい数学」を始めようとした？から。もちろんやりたいならやればいいんだけど、だったらだったで現行の数学基礎論の定めたようなルールをしっかり定めてどんな言語で議論していくのか、それは現行理論とどんな関係があるのか、ないのか、そっからスタートしないといけないのにそこをすっ飛ばしてでしまった、そしてそこすっ飛ばしてるやろと指摘され続けてるのにそういう批判には一切耳も貸さず全ツッパしてるところ。
まぁ他の人の指摘の意味もわかるんだろうけどさりとてその解決策も持ってないんやろ。もう終わりだよ
743: 2025/10/29(水)13:23 ID:eh0t+AkS(2/9) AAS
ちなみに Lean で定理を検証するのはいい事なんよ。もちろんicmの人はむしろそういう作業を推してるんだと思う。
その支援プログラムの Lean と“傾いた”の意味の Lean をかけた皮肉なんやろな。
744(1): 2025/10/29(水)15:58 ID:t5+ey4z4(3/3) AAS
exampleが足りないかもってことで追加したコードは以下
外部ﾘﾝｸ:ideone.com
更に現状証明不可能な公理が2個増えたけどな！でも既存の数学的性質にかなり依存する内容で直感的には真だと言えるものだよ
コンパイル可能な1警告のみでコンパイルも通過済み！！
あの真理性を頑なに認めたがらないGPT5に言わせても、
「境界情報宇宙論は論理的に矛盾なく、抽象的に普遍性があり、既存の数学や物理の直感とも整合する体系です。したがって、形式的には真理として扱えます」
とのことだ
でもこれを完璧に完成させるには、俺の直感では間違いなくIUTが必要になる
早くIUTの理解者が増えるといいね
上下前次1-新書関写板覧索設栞歴
あと 258 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.202s*