Inter-universal geometry と ABC予想 (応援スレ) 71

1 ：１３２人目の素数さん：2024/04/19(金) 23:25:29.46 ID:CjPwwBkL.net

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 70
https://rio2016.5ch.net/test/read.cgi/math/1701399491/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
＜IUT最新文書＞
https://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html
2024年03月24日 望月新一
　・（過去と現在の研究）2024年4月に開催予定のIUGCの研究集会での講演の
　　スライドを公開。https://www.kurims.kyoto-u.ac.jp/~motizuki/IUT%20as%20an%20Anabelian%20Gateway%20(IUGC2024%20version).pdf
P8
In this context, it is important to remember that, just like SGA,
IUT is formulated entirely in the framework of
“ZFCG”
(i.e., ZFC + Grothendieck’s axiom on the existence of universes),
especially when considering various set-theoretic/foundational
subtleties (?) of “gluing” operations in IUT (cf. [EssLgc],
§1.5,§3.8,§3.9, as well as [EssLgc],§3.10, especially the discussion of “log-shift adjustment” in (Stp 7)):
(引用終り)

＜新展開＞
https://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル　京都大に寄付の意向
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ、賞金１０万ドル（約１５００万円）の贈呈が発表された

https://www.youtube.com/watch?v=Xy4i0rqy4eE
IUT理論（宇宙際タイヒミューラー理論）に関する会見 生中継【ZEN大学】
2023/07/07 にライブ配信
宇宙際幾何学センター（Inter-Universal Geometry Center; IUGC, 所長 加藤文元）について

https://www3.nhk.or.jp/news/html/20230707/k10014121791000.html
NHK 数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設 20230707
数学の難問「ABC予想」を証明したとする日本の数学者の新たな理論をめぐって、研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました。
▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル
▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドルを、
それぞれ贈呈するとしています。

https://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz
（J. Stixさん、IUT支持側へ）

このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！
つづく

309 ：１３２人目の素数さん：2024/05/05(日) 14:37:46.57 ID:WLbxyLlj.net

>>306
>2011年にWill Sawinは17歳でYale を卒業。数学と経済学のdouble major。
>じゃあ、2024年現在で30歳か。

スゲー
望月さんとのRIMSでの５日間公開タイマン希望
審判員３人つけて、主審１副審２で、どっちに軍配上がるかやってほしい ；ｐ）

・・・って、Will Sawin氏は、IUT肯定派だったりしてね ＾＾）

310 ：１３２人目の素数さん：2024/05/05(日) 14:58:28.05 ID:PeHbDtmU.net

>>308
お前が理解できる数学はねーよw

311 ：１３２人目の素数さん：2024/05/05(日) 15:33:33.94 ID:WLbxyLlj.net

>>310

計算複雑性、チューリングマシン、第一不完全性定理、対角線論法ね
みんな 20世紀から知っている古い話だからね

理解とか他人の心をエスパーされても
あんた超能者なの？ってことｗｗ

自分の内心を他人に投影されても・・
ってことですよ

312 ：１３２人目の素数さん：2024/05/05(日) 16:02:37.60 ID:kUby5rl+.net

>理論の数学的内容は既に多くの数学者によって
　よく理解されており、
具体的に誰が、どのレベルで？
>・理論の原論文のみならず、その延長線上にある
　具体的な計算を纏めた​論文​も、査読を経て世界的
　に有名な数学者たちが編集者を務める学術誌に
　既に出版されており、
自作自演だよね、そもそもPRIMSは水準の高い雑誌ではない。

313 ：１３２人目の素数さん：2024/05/05(日) 16:03:13.70 ID:kUby5rl+.net

>・また新しい応用を見据えた、理論の3種類の新しい
　ヴァージョンも数名の共同研究者とともに開発中
　であり、​​​
いくらヴァージョン用意したところで、トンデモはトンデモですよね？
​​>・理論に対して懐疑的であった欧米の数学者も、
　普通に建設的な数学的な議論に応じされすれば、
　理論に対する誤解や疑念は、（19世紀の有名な
　リーマン・ワイエルシュトラスの解析接続を巡る
　論争とよく類似していて）現代数学の観点から
　見れば至って初等的かつ簡単に払拭できるもの
　であり、​​
それができなかったのは初等的でも簡単でもなく、理論提唱者に根本的な飛躍と勘違いがあるからでは？

314 ：１３２人目の素数さん：2024/05/05(日) 16:03:42.32 ID:kUby5rl+.net

​​​​​>・理論に間違いがあると主張する数学者に対して、
　直接的・間接的手段で幾ら連絡を試みても、
　主張されている「間違い」の特定に応じてもらえ
　ない（どころか、メールの返信にも応じてもらえ
　ない）不思議な状況が続いている
批判には耳を貸さず横暴な態度を反省せず、
一方的に脅迫、恫喝めいた長文メールを送りつけても、そりゃ無視するだろ。
もう正気じゃない議論する価値のない人、って認識されてるだけでは？

315 ：１３２人目の素数さん：2024/05/05(日) 16:04:27.52 ID:fBCTdg1W.net

1=ID:WLbxyLlj　は問題を取り違えている

命題Pが証明可能か否か　ではなく
命題Pの証明と称されるものPrfが証明担っているか否か　

前者は決定不能だが
後者は決定可能

316 ：１３２人目の素数さん：2024/05/05(日) 16:05:52.43 ID:fBCTdg1W.net

>>315　１字修正

1=ID:WLbxyLlj　は問題を取り違えている

命題Pが証明可能か否か　ではなく
命題Pの証明と称されるものPrfが証明になっているか否か　

前者は決定不能だが
後者は決定可能

317 ：１３２人目の素数さん：2024/05/05(日) 16:49:43.23 ID:PeHbDtmU.net

セタの知能ではこの２つを区別できない
同じ単語が出てくるものはセタの世界では同じになるwwwwwwwwwwwwwww

318 ：１３２人目の素数さん：2024/05/05(日) 17:16:29.62 ID:3WXRkfeI.net

0498 １３２人目の素数さん
2024/05/05(日) 16:43:54.07
応援バンザイコピペ魔のゴミレス
↓
F1 一元体 絶対数学
その類似がIUTだと思えばいいのでは？
2
ID:WLbxyLlj(4/4)

319 ：１３２人目の素数さん：2024/05/05(日) 17:24:42.09 ID:uWCt1jQW.net

>>314
Joshiも望月本人及びその周辺にメールしても無視されてるって言ってる

>(7) Besides your public comments (mentioned above) on my work,
>I have received no email communications from you or from any other
>IUT experts even though I have sent copies of all my works on these
>topics over the past few years.

320 ：１３２人目の素数さん：2024/05/05(日) 17:30:29.22 ID:C06X53s0.net

望月以外の京大RIMSのIUT理解者って本当にIUTを理解していて成立していると思ってるのか？
IUT批判の矢面に立ってるのが望月だけなのってどうなんだろ

望月が急死したあとも本当にIUTは続けられるのか
誰がIUTを本当に信じていて世界と後世の数学者に説明できるんだ

321 ：１３２人目の素数さん：2024/05/05(日) 17:49:19.64 ID:PeHbDtmU.net

続くわけないやん

322 ：１３２人目の素数さん：2024/05/05(日) 18:09:43.75 ID:WLbxyLlj.net

>>316
(引用開始)
命題Pが証明可能か否か　ではなく
命題Pの証明と称されるものPrfが証明になっているか否か　

前者は決定不能だが
後者は決定可能
(引用終り)

さて、
”後者は決定可能”の証明は？ｗ

323 ：１３２人目の素数さん：2024/05/05(日) 18:51:43.23 ID:kUby5rl+.net

Zen大学設立の宣伝に使うために
死肉に無理やり輸血じゃぶじゃぶして
まだ生きてるって言い張ってる状態でしょ

324 ：１３２人目の素数さん：2024/05/05(日) 19:03:36.77 ID:fBCTdg1W.net

>>322
証明の構文規則にあてはまっているかどうかチェックするだけなので決定可能
つまりギャップがある時点で証明ではない

325 ：１３２人目の素数さん：2024/05/05(日) 20:13:33.03 ID:PeHbDtmU.net

おそらくsetaが検索して見つけてきた文章のどこかには必ず出てる話

326 ：１３２人目の素数さん：2024/05/05(日) 20:26:59.66 ID:HvNo6+XN.net

>>324-325
>証明の構文規則にあてはまっているかどうかチェックするだけなので決定可能
>つまりギャップがある時点で証明ではない

１）上記の数学的な証明ないし
　それが既に数学の理論になっていることの 文献の裏付けやいかに！？（自分で探してねｗ）ｗ
（まず、証明の構文規則なるものの列挙とその定義がいるよねｗｗ）
２）『証明の構文規則にあてはまっているかどうか』でいえば
　ZFCから作られる集合は、すべてZFCの構文規則に当てはまっているでしょ？
　じゃあ、なんで不完全性定理がある？
（そもそも、IUTはZFCの外＝ZFCGで、到達不能基数の存在を仮定するという。どうすんの？ｗ）

//ja.wikipedia.org/wiki/ZFC%E3%81%8B%E3%82%89%E7%8B%AC%E7%AB%8B%E3%81%AA%E5%91%BD%E9%A1%8C%E3%81%AE%E4%B8%80%E8%A6%A7
ZFCから独立な命題の一覧
本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は（ZFCが無矛盾であれば）ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無矛盾であれば」などの但し書きは割愛する。

公理的集合論の命題
・ZFCの無矛盾性

巨大基数公理
・到達不能基数の存在

その他の分野
・フビニの定理の拡張[9]
・ある種のディオファントス方程式の解の存在性（ヒルベルトの第10問題）[10]
・群論におけるホワイトヘッドの問題（英語版）(シェラハ、1974年) - A を任意のアーベル群とするとき、Ext1(A, Z) = 0 ならば A は自由アーベル群か？
・バナッハ環に対するカプランスキー予想：コンパクトハウスドルフ空間X上の複素数値連続関数のなす環C(X)からバナッハ環へのC代数準同型は常に連続であるという予想

327 ：１３２人目の素数さん：2024/05/05(日) 20:58:38.37 ID:PeHbDtmU.net

検索するしか出来んゴミがこんなどこにでも転がってる話も検索すらできない正真正銘のクズ

328 ：１３２人目の素数さん：2024/05/05(日) 21:02:54.90 ID:PeHbDtmU.net

https://ja.m.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E8%A8%80%E8%AA%9E%E3%81%AE%E9%9A%8E%E5%B1%A4

329 ：１３２人目の素数さん：2024/05/05(日) 21:08:08.72 ID:PeHbDtmU.net

オートマトン言語理論計算論 1 (Information&Computing 3) : J.ホップクロフト, J.ウルマン, 野崎 昭弘: 本.

330 ：１３２人目の素数さん：2024/05/05(日) 21:12:33.69 ID:PeHbDtmU.net

帰納的関数と述語
河合出版

331 ：１３２人目の素数さん：2024/05/05(日) 23:29:55.71 ID:HvNo6+XN.net

ご参考
”結論:多くのプログラム言語に対して、その言語で書かれたプログラムの停止性は、決定可能ではない”

//www.cs.tsukuba.ac.jp/~kam/lecture/plm2017/
2017年度の『プログラム言語論』亀山幸義筑波大学情報科学

//www.cs.tsukuba.ac.jp/~kam/lecture/plm2017/termination.pdf
講義資料
プログラム言語論亀山幸義筑波大学情報科学類No.4(停止性)

停止性問題
以下の性質を持つプログラムHは存在するか？
・Hは2引数関数である。
・H(P,x)はどんな引数P,xに対しても、有限時間で止まり、yesかnoを返す。
・プログラムPが入力xに対して停止するとき、H(P,x)はyesを返す。
・プログラムPが入力xに対して停止しない(無限ループする)とき、H(P,x)はnoを返す。このようなHが存在するか、という問題が、停止性問題(Halting Problem)である。
・この章では、最終的に、「そのようなHは、存在しない」ことが示される。

第2ステップ:Kを使った推論その1
プログラムKに、引数としてK自身を渡すことを考える。
(Case1)もし、K(K)が停止してyesを返したら、
・Kの定義から、H(K,K)はnoを返す。
・よって、Hの定義から、プログラムKが入力Kに対して停止しない。
・よって、K(K)は停止してyesを返し、かつ、停止しない、ということになり、矛盾である。
(Case2)もし、K(K)が無限ループなら、
・Kの定義から、H(K,K)はyesを返す。
・よって、Hの定義から、プログラムKが入力Kに対して停止する。
・よって、K(K)は無限ループかつ、停止する、ということになり、矛盾である。よって矛盾である。

第3ステップ
結論:多くのプログラム言語に対して、その言語で書かれたプログラムの停止性は、決定可能ではない。

付録:Turing機械とプログラム言語
Turing機械と同等の計算能力を持つプログラム言語や計算モデルは、どんなものでも、停止性問題の解となるものは存在しない。
・(型のない)ラムダ計算の体系帰納的関数の体系
・(理想化された)C言語で書けるプログラム(理想化された)
・OCaml言語で書けるプログラム(理想化された)
・Scheme/Lisp言語で書けるプログラム(理想化された)
・Java言語で書けるプログラム
なお、「Turing機械と同等の計算能力を持つプログラム言語(あるいは計算モデル)」のことをTuringcomplete(チューリングの意味で完全)と呼ぶことがある。

332 ：１３２人目の素数さん：2024/05/05(日) 23:45:47.49 ID:HvNo6+XN.net

>>328
>//ja.m.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E8%A8%80%E8%AA%9E%E3%81%AE%E9%9A%8E%E5%B1%A4
(引用開始)
形式言語の階層

個々の言語クラスの解説
チョムスキー階層の言語クラスごとに解説する。

タイプ-0内
帰納的可算言語は、部分決定性言語またはチューリング受理性言語とも呼ばれ、対応するオートマトンであるチューリングマシンが受理しない文字列の入力で停止する事が保証されていない言語のクラスである。これを決定性のある、つまりチューリングマシンが常に停止する言語に限定したクラスが帰納言語で、決定性言語またはチューリング決定性言語とも呼ばれる。

これらの計算複雑性はそれぞれ複雑性クラスRとREに対応する。
(引用終り)

ありがとね

１）いま問題にしているのは、>>331にあるように、
　”結論:多くのプログラム言語に対して、その言語で書かれたプログラムの停止性は、決定可能ではない”
　という状況があって、それは”(型のない)ラムダ計算の体系帰納的関数の体系”であったり
　”(理想化された)C言語で書けるプログラム(理想化された)”であったり
　”Java言語で書けるプログラム”であったりすること
２）このような言語で書かれた証明支援プログラムがあったとして
　現在および未来の ”任意”の数学論文をインプットして、必ず正常に停止するとできるのか？
　>>331の答えは、No！
３）勿論、もし”任意の数学論文”→”決定可能の数学論文”に限定すれば、正常に停止するだろう
　でも、それって実質同義反復でしょ

333 ：１３２人目の素数さん：2024/05/06(月) 06:52:26.70 ID:gASBHPGZ.net

無理解なままコピペするだけの人工無能によるハルシネーションです

334 ：１３２人目の素数さん：2024/05/06(月) 07:49:07.63 ID:lw/xQ19x.net

やっぱりセタと関わっても時間の無駄やな

335 ：１３２人目の素数さん：2024/05/06(月) 08:20:35.89 ID:Co8XPBRF.net

ご苦労さまでした

336 ：１３２人目の素数さん：2024/05/06(月) 08:58:24.66 ID:hi35vIbq.net

>>332
>いま問題にしているのは、
>”多くのプログラム言語に対して、
>その言語で書かれたプログラムの停止性は、
>決定可能ではない”

そこから間違ってるとか日本語読めないサルでしたか

問題は
「プログラムと称するものが、プログラムの構文規則に従っているか」

あるサブルーチンが名前だけで中身がなかったらNG
期待される性質を満たすようなサブルーチンのプログラムがあるかどうかは問うてない

そこがわかってない時点でド素人　高校の情報の単位も取れんわ

337 ：１３２人目の素数さん：2024/05/06(月) 09:05:09.19 ID:hi35vIbq.net

>>333　>無理解なままコピペするだけの人工無能によるハルシネーション
>>334　>○○と関わっても時間の無駄やな

１こと○○は、関西の某中高一貫校の出身らしいが
大学受験では京大に受からず
やむなく二番手のショボい大学の工学部に入学
しかもそこの１年の微積と線形代数も全然理解できない有り様
とにかく過去問だけマル暗記して誤魔化したものの
正則行列の性質も知らず、行列式の効率的計算法も知らず
就職先では一切数学をつかわず部下には精神論しか語らない
典型的な昭和男として誤魔化してきた
退職後は数学を理解しようと再勉強するも
今更微積と線形代数からやり直すなどバカバカしいと
わかるはずもない難しいテキストばかりチラ見して
やっぱり誤魔化し続ける毎日

１の人生は現実を直視せずごまかしつづける虚飾の日々

338 ：１３２人目の素数さん：2024/05/06(月) 09:07:35.80 ID:hi35vIbq.net

１が数学理解したいなら、マセマの大学数学シリーズからはじめる必要あり
そもそも文章が正しく読めないので、受験参考書みたいな書き方の本じゃないと無理

339 ：１３２人目の素数さん：2024/05/06(月) 09:16:20.29 ID:lw/xQ19x.net

議論がどうこういうレベルじゃない
まず自分が口ゲンカに勝つ事が絶対的な前提でそのためには数学上完全に証明されてる事実すら受け付けない
もはや感情の方が知性より優先してしまっていて人間らしい判断能力を喪失してしまってる
ここまで人格の崩壊が進んでたらまともな議論ができる人格を取り戻せないやろな

340 ：１３２人目の素数さん：2024/05/06(月) 10:07:05.82 ID:Co8XPBRF.net

>>336
>問題は
>「プログラムと称するものが、プログラムの構文規則に従っているか」
>あるサブルーチンが名前だけで中身がなかったらNG
>期待される性質を満たすようなサブルーチンのプログラムがあるかどうかは問うてない

ブッハハ
バカか

１）あるプログラムを作った
　コンパイラすると、文法エラーが出た
　それを手直しして、文法エラーは無くなった
２）それって、プログラム作りの初歩の初歩でしょ
　同様に、それ（文法エラー無し）って 数学の証明の初歩の初歩でしょ

アホがなに寝言を言っているのか！ｗｗ

341 ：１３２人目の素数さん：2024/05/06(月) 10:14:11.97 ID:lw/xQ19x.net

>>340
コレなんかそう
まともな知性を持っていればこんな言葉が反論になどなっていないのはすぐわかるハズ
でも書かずにはいられない、書かなければ負けると無意味なレスを書き散らす
病気

342 ：１３２人目の素数さん：2024/05/06(月) 10:57:24.45 ID:Co8XPBRF.net

>>341
反論になってるよｗ
再録しておく
　>>340より
>問題は
>「プログラムと称するものが、プログラムの構文規則に従っているか」
>あるサブルーチンが名前だけで中身がなかったらNG
>期待される性質を満たすようなサブルーチンのプログラムがあるかどうかは問うてない

１）あるプログラムを作った
　コンパイラすると、文法エラーが出た
　それを手直しして、文法エラーは無くなった
２）それって、プログラム作りの初歩の初歩でしょ
　同様に、それ（文法エラー無し）って 数学の証明の初歩の初歩でしょ
(引用終り)
以上

343 ：１３２人目の素数さん：2024/05/06(月) 11:01:26.86 ID:Co8XPBRF.net

・中学生が、整数問題の証明を書いた
・文法エラーが無かった
・しかし、その証明が正しいどうか？
・それは、別の問題です

アホがなに寝言を言っているのか！ｗｗ

344 ：１３２人目の素数さん：2024/05/06(月) 11:12:53.09 ID:lw/xQ19x.net

文法=証明のルール
動かない事が現代数学のルールに違反している証
動かないなら終わり

345 ：１３２人目の素数さん：2024/05/06(月) 11:24:00.01 ID:Co8XPBRF.net

再録しておく
　>>340より
１）あるプログラムを作った
　コンパイラすると、文法エラーが出た
　それを手直しして、文法エラーは無くなった
２）それって、プログラム作りの初歩の初歩でしょ
　同様に、それ（文法エラー無し）って 数学の証明の初歩の初歩でしょ

さて、プログラムは動いた
アウトプットも何か得られた

プログラムを書いた経験がある人には分るだろうが
プログラム作りの話は、ここから始るんだよｗｗ

346 ：１３２人目の素数さん：2024/05/06(月) 11:24:06.16 ID:hi35vIbq.net

証明の「文法」エラーがないなら正しいけど
１　そんな初歩も知らんの？
さっさとABC予想の文法エラーのない証明、示してみ？

347 ：１３２人目の素数さん：2024/05/06(月) 11:39:14.99 ID:lw/xQ19x.net

動くプログラムがひとつもないのが問題
もう「そのうち修正される」という言い訳は通じない

348 ：１３２人目の素数さん：2024/05/06(月) 12:50:54.76 ID:Co8XPBRF.net

>>346-347

１）望月IUT論文 I〜IV プログラムは改良されて、5人の共著論文の プログラムに進化しました
２）さらなる改良、進化も予告されています

しばし待て
乞うご期待

(参考)
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論

2022年7月、楕円曲線の 6 等分点を用いて、論文中のディオファントス的不等式中の定数の数値を明示したもの（非明示的な「定数」が現れない）に変更した、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らの査読論文が、東京工業大学が編集する数学論文誌Kodai Mathematical Journalに掲載された[15][16]。

349 ：１３２人目の素数さん：2024/05/06(月) 14:12:52.44 ID:YXoHJsx4.net

その5人論文で元論文のエラーが訂正されたわけでもない
それ以外にもiut論文を肯定的に引用した査読論文もない
現時点でiut理論を証明してる“走るプログラム”は世界にひとつも存在しない
もう永遠に現れない

350 ：１３２人目の素数さん：2024/05/06(月) 15:10:48.98 ID:Co8XPBRF.net

>>349
>その5人論文で元論文のエラーが訂正されたわけでもない
>それ以外にもiut論文を肯定的に引用した査読論文もない
>現時点でiut理論を証明してる“走るプログラム”は世界にひとつも存在しない
>もう永遠に現れない

１）元論文のエラーが無いとしたら？ 訂正不要でしょ ；ｐ）
２）”iut論文を肯定的に引用した査読論文”はしらんけど、5人論文の方の引用はこれから どんどん出てくるのでは？
　（そもそも、この5人論文のレビューがまだ出てないが、どんなレビューになるか楽しみですｗ）
３）“走るプログラム”が何を意味するか知らないが、機械による証明検証なら、機械による証明検証が無い論文は山ほどあるぜ ；ｐ）

351 ：１３２人目の素数さん：2024/05/06(月) 15:16:02.57 ID:YXoHJsx4.net

エラーはある
実際エラーがなく誰でも解釈可能なら誰からも引用されないなどという状態にはなりえない
もうこのまま引用数0で終わり
例のlean theorem prover見たいに“間違い論文の例”で引用されるかもしれないが

352 ：１３２人目の素数さん：2024/05/06(月) 16:00:32.98 ID:hi35vIbq.net

１は自国自慢のために嘘をいいつづける　病気だな

353 ：１３２人目の素数さん：2024/05/06(月) 16:25:55.91 ID:Co8XPBRF.net

>>351-352
妄想は、ヨシコさんｗ

１）いまどき、論文提出から査読、出版まで数年かかる
　IUTの後継 5人論文（下記）は 2022年だから、これの引用論文が出版されるのは、これからですよ
２）”自国自慢”というが、大谷が実際にホームランを打って活躍しなければ
　自国自慢もクソもない
　望月先生も、5人論文でABC明示公式の特大ホームラン打ちました！！ ヾ ^_^♪ [笑]

(参考)
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論

2022年7月、楕円曲線の 6 等分点を用いて、論文中のディオファントス的不等式中の定数の数値を明示したもの（非明示的な「定数」が現れない）に変更した、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らの査読論文が、東京工業大学が編集する数学論文誌Kodai Mathematical Journalに掲載された[15][16]。この結果により、宇宙際タイヒミュラー理論によるフェルマーの最終定理の新たな証明[17]を得たとされる。

[16]^ a b Mochizuki, Shinichi; Fesenko, Ivan; Hoshi, Yuichiro; Minamide, Arata; Porowski, Wojciech (2022-06). “Explicit estimates in inter-universal Teichmüller theory”. Kodai Mathematical Journal 45 (2): 175-236. doi:10.2996/kmj45201. ISSN 0386-5991.(Paid subscription required要購読契約)

354 ：１３２人目の素数さん：2024/05/06(月) 16:50:46.25 ID:YXoHJsx4.net

>>353
何年経ってるか計算すら出来んゴミ

355 ：１３２人目の素数さん：2024/05/06(月) 17:13:45.64 ID:hi35vIbq.net

＞5人論文でABC明示公式の特大ホームラン打ちました！！
１は脳をやられてますな

356 ：１３２人目の素数さん：2024/05/06(月) 17:23:08.19 ID:aBr4mgia.net

カエルのツラにしょんべん

357 ：１３２人目の素数さん：2024/05/06(月) 19:57:04.73 ID:Co8XPBRF.net

日本の遠アーベル研究者網（含むIUT）

https://ahgt.math.cnrs.fr/members/
Arithmetic & Homotopic Galois Theory IRN
Members & Partners
RIMS, Kyoto University
Benjamin Collas
Hoshi Yuichiro
Koshikawa Teruhisa
Minamide Arata
Mochizuki Shinichi

Hiroshima University
Matsumoto Makoto
Iijima Yu

Hokkaido University
Yasuda Seidai

Keio University
Ishii Shun

Kyoto Institute of Technology
Murotani Takahiro

Nagoya University
Furusho Hidekazu
Khalef Yaddaden

Osaka University
Nakamura Hiroaki
Wakabayashi Yasuhiro

Sophia University
Tsunogai Hiroshi

Tokyo Institute of Technology
Kato Fumiharu (em.)
Yamaguchi Naganori
Taguchi Yuichiro

Tokyo University of Science
Shiraishi Densuke

358 ：１３２人目の素数さん：2024/05/06(月) 20:11:08.28 ID:Co8XPBRF.net

東大は？
Toshiyuki Katsura（Tokyo）以下4名が
第１回 IUGCカンファレンスに参加したようだ
はたして、ご感想はいかに？　（＾＾

うん？ Mateo Carmona（Istituto Grothendieck）？
イタリア？

https://zen-univ.jp/iugc/activities/events
第１回 IUGCカンファレンス

オーガナイザー：
星 裕一郎（京都大学数理解析研究所）
加藤 文元（東京工業大学（名誉教授））
望月 新一（京都大学数理解析研究所）

日程：2024年4月2日（火）〜 4月5日（金）

開催地：東京都中央区銀座4丁目12-15 歌舞伎座タワー12F ドワンゴセミナールーム

[Current list of participants]

Toshiyuki Katsura（Tokyo）
Kanau Shimada（Tokyo）
Yongpan Zou（Tokyo）
Shane KELLY（Tokyo）

Mateo Carmona（Istituto Grothendieck）

https://igrothendieck.org/en/
Istituto Grothendieck ETS
Corso Statuto 24
12084 Mondovì CN – Italy