Inter-universal geom ..
157:１３２人目の素数さん
22/11/03 15:41:07.53 79a/gBs6.net
なんでRoberts先生の指摘がいつまでもいつまでもいつまでも理解できないアンポンタンがいるんだろうねぇ
あんなに丁寧に解説してやったのに
考える力ないのかね？
158:１３２人目の素数さん
22/11/03 17:16:27.07 QhLe6/wD.net
理解できるかどうか以前に
役不足の問題があるだろう
Faltingsは否定しているわけではないので
159:１３２人目の素数さん
22/11/03 17:37:08.32 mnQ/dbWM.net
この人は有名な人、偉い先生、だからこっちの人の言ってる事の方が正しい
よくそれで数学板にものが書き込めるねぇ
160:１３２人目の素数さん
22/11/03 17:40:59.21 jJUUNPxd.net
>>122、>>152
北大は東大や京大のしもべだから良いとしても
自称天下一品の東大は何してんの？
もはや IUTT の真贋論争の足元にも及ばないレベル？
哀しい・・・
161:１３２人目の素数さん
22/11/03 17:53:25.28 ByC+yFre.net
東大はストリング理論とラングランズがメインだからね
IPMUが一時期IUTを取り上げたけどもうあまり接点ない
162:１３２人目の素数さん
22/11/03 18:36:33.19 Vu/pp7i/.net
faltings博士は、(IUT)論文は理解できなかった. 自分の研究に
時間を割くことにした、(2021.7.21.石倉朝日徹也取材) だから。
だめ
163:１３２人目の素数さん
22/11/03 18:37:00.20 QhLe6/wD.net
>>156
Roberts先生がFaltingsより偉くても
Faltingsが否定しなかったことの意味は大きいと思うのだが
どうですか？
164:１３２人目の素数さん
22/11/03 18:38:38.55 Vu/pp7i/.net
> 159 ダメだし
165:１３２人目の素数さん
22/11/03 18:39:29.98 ei6OgMEw.net
>>160
>>159
166:１３２人目の素数さん
22/11/03 18:40:27.36 8HW9bynv.net
wikiのABC予想で、英語版の翻訳してた版が
引用箇所の明示が不適切とかいう些細な理由で
削除になったね
管理者はあれで「一つ大仕事をした」とか
マジで思ってるならイタイな
167:１３２人目の素数さん
22/11/03 18:52:16.12 f2uWvcTj.net
>>163
自警が作った日本語版の独自ルール
676 名無しの愉しみ (ﾜｯﾁｮｲ 6fe3-mb1A) sage 2022/10/10(月) 14:35:25.00 ID:XQ9EokbT0
jawpは管理者不足なのに他言語版と比べて念のための削除が非常に多いのは釈然としないところもある
例えば履歴不継承についても、英語版では削除不要となっているのだから、英語版から履歴不継承で翻訳したところで英語版の利用者が訴えてくる可能性はないだろうし、一体何を守るための削除なのか疑問に思う
面倒臭いから表で問題提起なんてしないけど
700 名無しの愉しみ (ﾜｯﾁｮｲ 83f0-h3BA) sage 2022/10/10(月) 18:23:12.46 ID:PMxfE7Ug0
>> 676
中国語版の記事って結構日本語版からの転載多いけどあれって訴えたら消せるんだろうか
704 名無しの愉しみ (ﾜｯﾁｮｲ 6fe3-mb1A) sage 2022/10/10(月) 18:33:25.46 ID:XQ9EokbT0
>> 700
中国語版の事情は知らないけど無理なんじゃないかな
履歴不継承の場合は、履歴補遺されるまでは著作権侵害状態だけど、履歴補遺されたらその時点から履歴ページorノートページで著作者の名前を全て追えるようになるから、それ以上に何かをする必要はない、というのが利用規約を作った財団の見解で、この利用規約に同意してみんな投稿しているんだから、本来は削除しなくても法的リスクはないんだよ
ただ、jawpでは自警が無駄な仕事を増やして自分たちの居場所を確立するために「一度履歴不継承になった版は後から補遺をしても著作権侵害状態は解消されないんだ！」という謎の論理を唱えて削除することにしてしまっただけ
168:１３２人目の素数さん
22/11/03 19:05:30.96 Quho1ooJ.net
他言語版には通用しないjawp独自の常識
報道済み犯罪者の氏名を記載したら削除
履歴不継承は削除
機械翻訳そのままなら削除
169:１３２人目の素数さん
22/11/03 19:07:49.02 If8RLFJK.net
>>164
jawpってのが日本版wikiのことかな？
にしても自警って本当に悪いことしかしないんだな
170:１３２人目の素数さん
22/11/03 19:12:42.15 Ol5ll1ep.net
>>160
Roberts先生がダメだと言ってる意味がちゃんとわかってたらiutの論文のダメさ加減がちゃんとわかる
Faltings先生が否定してないなどという事がなんの意味もない事がわからんのはRoberts先生の指摘の意味が1ミリもわかってない証拠
171:１３２人目の素数さん
22/11/03 19:24:58.89 zZpO1fLL.net
山本竜太
172:１３２人目の素数さん
22/11/03 19:28:17.92 QhLe6/wD.net
>>167
Roberts先生のいうことがわかるかどうかの問題ではないと思う
173:１３２人目の素数さん
22/11/03 19:37:00.29 RTEwwFIV.net
⤴
「出世の悦びを知りやがって！
許さんぞ！」
抑えきれない(非出)セｨをぢさん💢ﾑｷｷｷｷｨｨｨｨ!💢
ｺﾁﾗ側ﾉﾄﾞｺｶﾗﾃﾞﾓｷﾚﾏｽ
↓↓↓↓↓↓↓↓↓↓↓
174:１３２人目の素数さん
22/11/03 19:37:52.97 pMBCMI2d.net
望月は証明に失敗したという問題ですね
175:１３２人目の素数さん
22/11/03 19:39:27.82 RTEwwFIV.net
じゃあ、それ
証明すればいいじゃんアゼルバイジャン
↓↓↓出来ません↓↓↓
176:１３２人目の素数さん
22/11/03 19:40:32.11 pMBCMI2d.net
その通り、さっさと望月がギャップを埋めればいいだけ
177:１３２人目の素数さん
22/11/03 19:45:39.96 RTEwwFIV.net
違いますよ
＞望月は証明に失敗したという問題
これ⤴を断定するなら、断定する側に失敗しているという証明が課せられます。
彼らは失敗したという認識は発してませんよ？
失敗している証明
が要求されてます。
178:１３２人目の素数さん
22/11/03 19:47:49.47 8jyGPlSq.net
俺がABC予想を証明したよ
嘘だと思うなら証明できてないことを証明してね
179:１３２人目の素数さん
22/11/03 19:48:23.97 If8RLFJK.net
>>173
あれだけ言われて何もしないんだから永久に何もしないでしょ
埋められるギャップならとっくに埋めてる
180:１３２人目の素数さん
22/11/03 19:48:27.83 RTEwwFIV.net
間違いを認識していない人より、間違いを断定できる人の方がその間違いは証明しやすいはずです。
人の脳は間違い探しに向いてるように出来てるそうですし、確かに間違いなく
前人未到のポストモダン数学
を開発する事に成功しているより、その間違いを証明する事の方が成功しやすく見えますよね？
証明して、どうぞ⤵
181:１３２人目の素数さん
22/11/03 19:49:07.10 dYz84+eN.net
「論文は理解できなかった。 自分の研究に時間を割くことにした」
これを「否定しなかったことの意味は大きい！」とホルホルに利用するのはアクロバットすぎるわ
182:１３２人目の素数さん
22/11/03 19:51:53.37 3E9MSoMa.net
コンセンサスを得られずもはやまともに相手にもされなくなったけど証明には成功したんだ！というのは
まぁそう言い張りたければご自由にとしか・・・
183:１３２人目の素数さん
22/11/03 19:54:39.30 RTEwwFIV.net
⤴💢ﾑｷｷｷｷｨｨｨｨ!💢をぢ怒りの猛反撃⤵
184:１３２人目の素数さん
22/11/03 19:55:56.60 3E9MSoMa.net
あーあ壊れちゃった
185:１３２人目の素数さん
22/11/03 20:01:16.64 RTEwwFIV.net
⤴そこはかとない🌺なんとなくな儚い夢とか、愛とか、幻とか、浪漫とかの、雰囲気を大事にしたい🌸ぽぇ夢を語りたぃぉ年頃。をぢさん🌼💛たちの紡ぐ果てなきぽぇ夢の欠片たち𓂃 𓈒𓏸◌*｡*🌷⤵
186:１３２人目の素数さん
22/11/03 20:02:02.61 ByC+yFre.net
まあ有能な数学者はIUTを尻目に正攻法を考える。それが全て
187:１３２人目の素数さん
22/11/03 20:39:30.26 GDgyODn/.net
ファルティングスの態度が賢い。
「金持ちケンカせず」
自分の時間を無駄にせず
論争に巻き込まれず、もっちーから
逆恨みされることもない。
海外の数学者はそれでもいいが
問題はRims。そんな論文を受理した
日本の数学界の信用はガタ落ちで
日本の数学関係者には責任も利害もある。
もっちーに対する嫉妬とかいう話ではない。
ID:RTEwwFIVはエモとかいうBBAで、こいつが
もっちーを応援するのはセタと同じ理由。
要するに自分の賭けた馬券がハズれた口惜しさであり
男を見る目が無かった、ひいては今に至るまで
続いている不幸の原因が「それだったのか！」
と再認識することになるからｗ
188:１３２人目の素数さん
22/11/03 21:02:31.86 8HW9bynv.net
エモジBBAはアタマ悪いくせにアタマいい人が好きらしいが
実はアタマいい人を見抜く能力が皆無で
他人の言葉にコロっと騙される💩BBA
哀れな更年期BBA エモジに愛の手をｗｗｗｗｗｗｗ
189:１３２人目の素数さん
22/11/03 21:06:29.49 8HW9bynv.net
もっちーは正直言って正常ではない
玉川は半信半疑
カトブンはもっちーを利用して自分が儲けることしか考えてない
弟子はいままでご利益にあずかってきたので正面切って問題点を指摘できない
ゴーはポストにありついた嬉しさでリーマン予想も解けるとか発●中（やべぇ）
190:１３２人目の素数さん
22/11/03 21:59:47.85 S8bmifBI.net
まずそもそも現代数学とは何か、いかに規定されるべきものかという事が20世紀初頭に盛んに議論、研究がされた
すなわち策定する概念、公理等の決め事を絞りこんでおくと理論に矛盾が入り込む危険を軽減できるが不便で仕方なくなり、かといって多くしすぎると矛盾が紛れ込む可能性が高まる、現代数学を記述するのに十分な表現力があり、しかし矛盾しない体型でなければいけない、どうすべきか実例で見よう
191:１３２人目の素数さん
22/11/03 22:00:07.71 S8bmifBI.net
今NBGC₀を個体記号Φのみをもち関数記号なし、述語記号∈,=のみ、公理はよく知られたNBGCの公理とする理論とする、∪、∩、⊂などを持たない分適当に公理を変更しておく
NBGCはこれに∪、∩、⊂、 ︦を加えた標準的なNBGCとする
ここで命題
「Aが空集合であるとき任意のBに対してA∩B=Aである」
というものを考える
これらはNBGC₀においては
∀A∀B∀C( ∀x ( x∉A )、∀x (x∈A∧∀x∈B ⇔ x∈C ) → A = C )
と表現されるしNBGCにおいては
∀B Φ∩B = Φ
と表現される
明らかにNBGC₀による表現よりNBGCにおける表現の方が直感的で見やすく、しかも各々どちらも定理であるがその証明もNBGCにおけるそれの方がNBGC₀のそれより見やすいものとなる
このような小さい例においても論理の表現力の差は重要な意味を持つので単に無矛盾性に対する安全性だけを根拠に「概念、公理は少なければ少ないほど良い」などとは言えないとわかる
いかに処理すればよいか
192:１３２人目の素数さん
22/11/03 22:00:23.36 S8bmifBI.net
さてこの例で着目したいのは
・NBGC₀の項、命題は全てNBGCの項、命題である
・NBGC₀の証明はそのままNBGCの証明となる、特にNBGC₀の定理は常にNBGCの定理である、すなわちNBGCはNBGC₀の拡大である
・NBGC₀の命題でNBGCの定理となるものは常にNBGC₀の定理でもある、すなわちNBGCはNBGCの保存拡大である
という事が成立することである、よって我々はたとえNBGC₀において提起された問題であっても必要があればNBGCにおいて議論し、そこで証明が与えられれば元のNBGC₀においても証明が与えられると考えてよい、とくにNBGC₀が無矛盾ならNBGCも無矛盾であると言える、すなわち我々はNBGC₀の安全性とNBGCの利便性を両立させうる事がわかる
193:１３２人目の素数さん
22/11/03 22:00:41.27 S8bmifBI.net
何故このような事ができるのかが次に考えるべき事である、これはNBGC₀とNBGCの公理の差を考えると明らかとなる
NBGCはNBGCに個体記号Φと関数記号∩、∪、⊂、 ︦と公理
∀x ( x∉Φ)
∀A ∀B ∀x ( x∈A∩B ⇔ x∈A∧x∈B )
∀A ∀B ∀x ( x∈A∪B ⇔ x∈A∨x∈B )
∀A ∀B ∀x ( A⊂B ⇔ A=A∩B )
∀A ∀x ( ∃B x∈B → x∈A⇔x∉A̅ )
を追加した理論である
実はここに挙げた4個の公理は俗に∩、∪、⊂、 ︦の定義式と言われるものでこれらによって個体記号Φ、関数記号∩、∪、 ︦、述語記号⊂が"well-definedに"定義されているとわかる、そしてこれこそがNBGC₀とNBGCが上記のような望ましい関係にある理由である、すなわちNBGCはNBGC₀にwell definedな個体記号、関数記号、述語記号のみを追加して拡大した理論であるからこそ我々はNBGCの表現力を存分に利用する事ができるわけである
そして現代数学はこの技術を用いて理論の暫定的ではあるが安全性と豊かな表現力を持つ数学という学問を楽しむ事ができる
すなわち何か新しい記号を導入したいと思えばwell definedに定義されている概念の範囲においては自由にいくらでも新しい概念を導入して議論して構わないわけである
194:１３２人目の素数さん
22/11/03 22:00:56.68 S8bmifBI.net
しかし誤ってはいけないのは「従ってNBGCにwell definedな概念のみを追加したものだけが現代数学でありそれ以外は全て異端である」などとは言えない事である、その事について考えるためにやはり実例を持って考えよう
𝓝=({0,1},{+},{=},～)をペアノ算術、すなわち1番基本的な整数論とする
今関数記号“／”を定義式
∀x∀y∀z ( x = y/z ⇔ xz = y )
の元に導入した理論を𝓠としよう、𝓠は𝓝の拡大である、保存拡大であろうか？もちろん違う
2を1+1とし、3を1+1+1として命題
φ: ∃x (2x = 3)
を考えるとこれは𝓝の定理ではない、実際これを満足するxを𝓝は一般にはもち得ない(持たないモデルがある)が𝓠においては3/2がこの方程式の解であるからφは𝓠においては定理式である、すなわち𝓠は𝓝の保存拡大ではないし𝓠において正しいからと言って元の𝓝においても正しいなどとは言えない、すなわち𝓝における問題を𝓠において行う事はこのままではできない
195:１３２人目の素数さん
22/11/03 22:01:15.95 S8bmifBI.net
もちろんこのような事が起こったのは"/"の定義式
∀x∀y∀z ( x = y/z ⇔ xz = y )
がwell definedな“関数/”を定義しない事にある、すなわち𝓝においては一般に“割り算”を導入する事ができないからだ、すなわち𝓠は𝓝より大きな項の領域を要求してしまうのである
ではこのように”前の理論”においては定義できないような関数を新しく導入した新しい理論で“前の理論”の問題を論ずることはできないのであろうか？実はそんな事はない
今𝓠に新しい述語ℤ(x)を導入して公理スキーマ
( ∀x∀y (ℤ(0)∧ℤ(x)∧y=x±1→ℤ(y) ) )
( ∀x∀y (φ(0)∧φ(x)∧y=x±1→φ(y) ) ) → (∀x ℤ(x)→φ(x))
すなわち「xは整数である」を意味する述語記号ℤ(x)を導入する、そして𝓝の命題φに対してその量子化子∀x、∃xを“ℤ(x)を満たすxについて”という但し書き付きの量子化子に変更した命題をφ†とかくとすれば
𝓠├φ† → 𝓝├φ
は成立する事がわかる、すなわち「φが 𝓝で成立する事」の十分条件として(実はこれは必要条件でもあるが)「φ†が𝓠において成立する事」を用いる事により𝓝の問題を𝓠の問題に還元できる事がわかる
この例は必ずしもwell definedな定義を持たない概念を導入したからと言って新しい理論が古い理論と縁もゆかりもない論理体系であるというわけではなく、場合によってはある意味前の理論を含む理論体系となる事もあり得る実例となっている
196:１３２人目の素数さん
22/11/03 22:01:29.44 S8bmifBI.net
しかしながら前例を見ればわかるようにこのような場合には一般には「前の理論の問題」を「新しい理論における問題」に還元する場合にはその“翻訳”をしてやる必要があり、そしてそのような“翻訳”が必ずしもしも存在するとは限らない、少なくともそのような翻訳の存在を保障するような理論は存在しない事に注意しなければならない
従って“前の理論”での問題をそのようなwell definedではない概念によって拡張された理論上の問題に“すり替えて”議論する場合にはそのような“翻訳”をどのように定めればよいのかを見つけておかなければならない事がわかる
197:１３２人目の素数さん
22/11/03 22:01:51.56 S8bmifBI.net
さてではABC予想について考えよう
ABC予想はもちろん普通の数学の上で提起された問題ですなわち
「NBGC├ABCを示せ」
である、しかしもちろんNBGCにこだわる必要はない、普通の数学の教科書、論文でwell defined性が確認済みの概念ならばいくらでも導入して膨らませた理論Tを用いて「T├ABC」が示されればよい、その証明を“翻訳”してNBGCの証明に落とし込める事は既に初頭基礎論において確認されているからである
しかしながらもしTとしてNBGC上“well-defined”な概念でない概念を含む理論を利用するのであればTの証明をNBGCの証明に“翻訳する”方法は与えておかなければならない、その作業を肩代わりしてくれる基礎論の先行研究などがない限りは
198:１３２人目の素数さん
22/11/03 22:02:07.97 S8bmifBI.net
ではIUTTはどうであろうか？IUTTはNBGCの保存拡大であろうか？否であるというのがRoberts先生の指摘である
何故か？NBGCはいわゆる“等号を持つ理論”である、そして等号を持つ理論上にwell definedな概念を追加して得られる理論もまた自動的に等号を持つ理論になる事が知られているのである、そしてIITTは望月先生ご自身が認めておられる通り等号を持つ理論ではない、すなわちNBGC上のwell definedな概念を追加してできた理論では絶対にあり得ないとわかる
よってもし問題「NBGC├ABC」をIUTTでの証明に翻訳するので有れば
199:IUTT├φ† → NBGC├φ となるような翻訳φ†をまず与えてやらなければ話しにならない、そして望月論文にはそのような翻訳はないようである、私は望月論文をチラ読みしかしてなから断言まではできないが、少なくともRoberts先生は見つけてないし、加藤先生もそのような議論が必要である事を認めておられる 従って今現在時点では望月論文においてそもそも論としてABC予想をIUTTの問題に還元したと言える状態にすらないと言えるだろう ABC予想は未だ予想であると言える
200:１３２人目の素数さん
22/11/03 23:02:08.09 8HW9bynv.net
>>187-195
なんかド素人が集合論の初歩文章をコピペしてイキ違ってるなｗ
Robertsは「IUTTはNBGCの保存拡大であろうか？」なんて
ペダンティックな馬鹿語は使ってない
単純にａ＝ｂかつａ≠ｂなんて矛盾はアウトとズバリ言ってるだけ
で、それは実はScholzeが言い出したことでRobertsは只の受け売りｗ
201:１３２人目の素数さん
22/11/03 23:05:16.06 8HW9bynv.net
はっきりいって、Cor3.12自体がおかしな命題であって
それをおかしな屁理屈で正当化しようとしたのがIUTT
もしCor3.12自体が偽だと明確に示されたら
IUTTも全く無意味として抹殺できる
いずれ誰かが示すだろうがね
202:１３２人目の素数さん
22/11/03 23:06:35.11 CAwyAIbx.net
⤴こういうのでいいんだよ
（品行方正な証明使用悪口はｽｩｩ…楽人の習性）
＼男見る目🍐!／
＼ﾊｽﾞﾚ券!／
(>>185)ﾊﾟﾝｯ!(>>184)
・Σ(ーΣ)ーー🔥(🔫∝)
ヾヾ √√
203:１３２人目の素数さん
22/11/03 23:08:08.34 8HW9bynv.net
いわゆる「エッシャーの階段」にあたるウソ論法を具体的に特定すれば
Cor3.12の具体的反例が構築できる筈
204:１３２人目の素数さん
22/11/03 23:08:46.23 CAwyAIbx.net
⊂(>>185⊂) )⊃
205:１３２人目の素数さん
22/11/03 23:09:38.64 8HW9bynv.net
エモジの人を見る目は全然ないが
エモジの使い方はセンスがあるｗ
206:１３２人目の素数さん
22/11/03 23:12:15.46 8HW9bynv.net
エモジが五百城茉央くらい可愛くて性格もよければウレシイんだがｗ
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
207:１３２人目の素数さん
22/11/03 23:14:41.30 CAwyAIbx.net
＼ｧﾀﾏｨｨ人見抜ｸ能力皆無!／
・ー(>>185)Σ🔫
( )∨
ヾヾ
208:１３２人目の素数さん
22/11/03 23:19:02.90 CAwyAIbx.net
…こうして>>185は2度しんだ…
イキナリ直ぐ上の人物から撃たれ、自らを撃ち抜いてしんだ…
運が悪く、アタマもそれほど良くﾅ…ｹﾞﾎｯ…
急に撃たれて>>185ｯﾁｬﾏ…ｶｧｨｿｩ…ｶｧｨｿｩ…
自分で自分を撃っちゃって…
…ｶｧｨｿｩ…ｶｧｨｿｩ…
209:１３２人目の素数さん
22/11/03 23:23:08.77 CAwyAIbx.net
よゐｽｩｩ…楽人の皆ｯﾁｬﾏゎ、良く考えなぃで勢ぃでぉ話しちゃって、ぉ隣の誰かを気まずくさせなぃょぅに、気を付けてぉ話、しょぅね!
嵐とのぉ約束だょ!?ｮｯ!?
|=3
210:１３２人目の素数さん
22/11/03 23:35:07.04 8HW9bynv.net
ところで、最近このコもいいんじゃないかと思ってるｗ
正源司陽子
URLﾘﾝｸ(www.dailymotion.com)
空手、カッケェ―ｗ
211:１３２人目の素数さん
22/11/03 23:40:26.97 dqQ9wuqV.net
そぅ、🍄が勘着く時が来たのﾀﾞ…
>>185ｯƾｬﾏにゎ、Cor3.12自体を偽(だと明確に証明ゎでき)なぃです。
とぃぅことに…
うっかり階下の住人を撃ってしまぅぅっかり者の>>184ｯﾁｬﾏと、うっかり自⚫してしまぅぅっかり者の>>185ｯƾｬﾏ達でゎあったが、その定義に間違ぃゎ、無かったのだ！
定義だもの。
212:１３２人目の素数さん
22/11/03 23:42:48.04 dqQ9wuqV.net
もぅ寝るぉ
213:１３２人目の素数さん
22/11/03 23:43:17.20 8HW9bynv.net
んー、Scholzeにはできるんじゃないかなｗ
ま、別にフィールズメダリストじゃなきゃできないほどむずかしい話じゃなくて
学部生レベルでできそうなチャチいもんだと思ってますがｗ
214:１３２人目の素数さん
22/11/03 23:44:15.13 8HW9bynv.net
オレも寝るわ じゃあな エモジｗ
215:１３２人目の素数さん
22/11/03 23:49:39.10 CAwyAIbx.net
|ﾎﾟｨｯ!🐑Σ(>>210)
|彡 ∝( ))
| √√
216:１３２人目の素数さん
22/11/03 23:53:40.93 CAwyAIbx.net
🐑持ってぁく寝るんだょ
ぁくしろょ!
ナマギリ女神に出会ぃ系すんだょ。
Corﾅ312🦠退治すんだょ
ぁくしろょ
ｧｸｧｸｧｸｧｸｧｸ…
ぉｬｽﾐﾅｯｽ!
217:１３２人目の素数さん
22/11/04 18:40:08.29 VyrDCXrk.net
,.,.,.,.,.,.,.,.,__
.,,;f::::::::::::::::::::::ヽ
i::::::::./'"￣￣ヾi
|:::::::| ,,,,,_ ,,,,,,|
|r-==（＞);（＜)
.¨.､,_,,､_,,r_,ノ′ ＜ 助けてくれさ～ このままじゃウンコになっちまうのさ～
/;:;":;.:;";i; '',',;;;_~;;;′.ヽ
ﾞ{y､､;:...:,:.:.､;:..:,:.:. ._ ､｝
".¨ｰ=v ''‐ .:v､,,､_,r_,ノ′
/;i;i; '',',;;;_~⌒¨;;;;;;;;ヾ.ﾐﾞ´ﾞ^′..ヽ
ﾞ{y､､;:...:,:.:.､;､;:.:,:.:. ._ .､） ､｝
".¨ｰ=v ''‐ .:v､冫_._ .､,_,,､_,,r_,ノ′
/i;i; '',',;;;_~υ⌒¨;;;;;;;;ヾ.ﾐﾞ´ﾞ^′.ｿ.ヽ
ﾞ{y､､;:..ゞ.:,:.:.､;:.ﾐ.:,:.:. ._υﾟo,,'.､） ､｝
ヾ,,..;::;;;::,;,::;):;:;:; .:v､冫_._ .､,_,,､_,,r_,ノ′
218:１３２人目の素数さん
22/11/04 18:41:25.34 VyrDCXrk.net
／ ￣｀Y ￣ ヽ
/ / ヽ
,i / // / i i l ヽ
| // / l | | | | ﾄ､ |
| || i／ ⌒ ⌒ | |
（Ｓ|| | （●） （●） | 取り戻したぞ、アタイの肉体！！
| || | .ﾉ ）| 妨害厨（アンチ）どもを皆殺しだ！！
(( | || |ヽ､＿ ∀'_／| |
ノ ーﾆ- （≒） ' (( （≒）
（ |､ ,l || ＼ ｡|| ))
丶＼V （ ）＼＼／∈)
丿丶丶／／ ＼／
=＝＝=＼／＝===
（ つ ＼ ♪
＼ ＼ ＼
＼ ） ）
／ ／ ／
( ヽl ヽl
Vヽ_つ､_つ
219:１３２人目の素数さん
22/11/04 18:41:51.04 VyrDCXrk.net
,.,.,.,.,.,.,.,..,.,.
.,;f::::::::::::::::::::::::T
i:::/'"￣￣ヾ:::i
|/ ノ.. .⌒_ヾ|
.. |=（へ)=（へ)=|
{ ､/( ,_､)ヽ .｜
', .,ｨｪｴｦ ', ●
＼＿＿_ ／ ● ∂
（￣￣￣￣┴- ●
| （ *≡≡≡≡三゛。・ ブシャー！！！
/ / ∧ ＼ ● ●
/ / / ＼ ＼
/ / （￣） | |＼ （￣） ●
/ （ ノ （ | | ＼ ﾉ （
⊂- ┘（ ） └--┘ （ ）
ＵＵＵＵ ＵＵＵＵ
220:１３２人目の素数さん
22/11/04 18:42:10.17 VyrDCXrk.net
ィ⊃
じ :∩
) ) ) ⊂ヽ ヽヽ
( ( ( ):) :∩ ｀J
人 喰らえ～ウンチ花火 じ :ヽヽ プポポポポポポポ～ン
（;;;;;;;;） :∩ ∴ じ ・∴ﾟ
（;;;;;;;;;;;;;;;;） タマヤ～ ヽヽ ⊂ヽ
（;;;;;;;;;;;;;;;;;;;;;;;） じ :∩ :):)
i::::::::::::::::::::::::ｉ っ ﾟ∩ :ﾉﾉ ﾟ し′
i:::/'"￣￣ヾ:::| っ ﾉﾉ ∪ ∩
|/ ノ.. .⌒_ヾ| ｡:∪・ ⊂ヽ ﾉﾉ :∩
|=（へ） （へ）=|ﾉ⌒Y⌒＼ :）:） じ :ﾉﾉ ｡
| ､/( ,_､)ヽ | ノ ） じ :∩ 。 ( (
ヽ ,ｨｪｴｦ / ｜ . ヽヽ ヽj
＼＿＿_／ | ノ | ∩ じ ∩ :∩
| |―| |￣~| ﾚ⌒ヽ ﾉﾉ :ﾉﾉ ∵ :ヽヽ
221:１３２人目の素数さん
22/11/04 18:43:17.46 VyrDCXrk.net
,;f::::::::::::::::::::::::::ヽ
i/''￣￣ヾ:::::::::::i
|,,,,_ ,,,,,,_ |::::::::|
ゝ::｡:);（＜)==r─､| ひ～ん
. （''''(__..:: ,,,U/ ノ もう我慢できないのさ～
. ',┃=-(;;;;ノ/'
!＿＿_／_>､,,..- ､
rｰ―__―.' .-'' 々i
! ﾒ ￣｀. ´ ￣｀ .ﾉ
.'- .ｨ # .「 , '
. | :｡:: ﾒ :｡:: ! i ﾄﾞｩｸﾄﾞｩｰﾝ!!
ノ # ﾒ ヽ、
, ' ヽζζζ , ' ヽ
.{ _.ト、 Yl| |iY # ,イ .}
'､ >.ト. ' Ｕ. ' イノ .ﾉ
' .,,_ ___ ノ-^-`､ ___.... - '
、∥
●●● ﾌﾞﾁｭｯ ﾌﾞﾘｭﾌﾞﾘｭ
●● ●● ● ●●
222:１３２人目の素数さん
22/11/04 19:33:23.25 UBcMYJ10.net
>>176
PRIMS特別編集委員会は全く新しい理論IUTTのIUT論文は完全
でabc予想が証明されたと断定した。
全く新しい理論IUTTと現代数学のギャップは論文が完全だから
固定され今後修正は禁止された
223:１３２人目の素数さん
22/11/04 19:47:19.82 JXuShp4/.net
>>218
宗教の経典ですかね……
あるいはプログラミング言語の仕様書とか。
224:１３２人目の素数さん
22/11/04 19:57:55.75 Y5zaFpPJ.net
>>219
>プログラミング言語の仕様書
なるほどw
225:１３２人目の素数さん
22/11/04 20:04:26.54 M61JPxJy.net
>>216
IUTを擁護しようとすると
こんな書き込みしかできねーわな
哀れ
226:１３２人目の素数さん
22/11/04 22:53:53.90 Mvqfy0HP.net
アンチの偽旗作戦に決まってるでしょ
バカなの？
アンチなの？
227:１３２人目の素数さん
22/11/05 06:56:33.43 l3k4aC6N.net
全く新しい理論なるIUTTは数学から派生した数学もどきでなんでもあり、
IUT応援サポの信者たちが数学と科学を打ち壊している
228:１３２人目の素数さん
22/11/05 07:07:38.26 PRE5ljdK.net
>>223
今のところ全然壊れてないけど？
229:１３２人目の素数さん
22/11/05 07:17:19.69 Kf7ACvRs.net
,.,.,.,.,.,.,.,.,__
,;f::::::::::::::::::::::::::ヽ
i/''￣￣ヾ:::::::::::i
|ノ ::::: 〆 |::::::::::|
（＞);（＜)==r─､| ／￣￣￣￣￣￣￣￣￣￣
{/( ,_､)ヽ / ノ′ ＜ 盲ひと踏ん張りで
',,ｨｪｴｦ ノ ＼＿＿＿＿＿＿＿＿＿＿
/￣ !＿＿_／ ⌒ヽ
/ ＿ / |
'、＿＿ヽ （ ￣￣ ＿/
/ ＼ /￣￣ヽ .|
| 、 | |
、 ＼＿_| | /
＼＿ | | ＿ /?´
（＿＿/ （＿＿）
,.,.,.,.,.,.,.,..,.,.
.,;f::::::::::::::::::::::::T
i:::/'"￣￣ヾ:::i
|/ ノ.. .⌒_ヾ|
.. |=（へ)=（へ)=|
{ ､/( ,_､)ヽ .｜
', .,ｨｪｴｦ ',
／ ＼＿＿_ ／、
.／ ｀ ⌒ヽ
/ ＿ / |
'、＿＿ヽ （ ￣￣ ＿/
/ ＼ /￣￣ヽ .|
| 、 | | ∬∬
、 ＼(;;U;;| | / 人i
＼＿ | | ＿ /～´ノ:;;,ﾋ=-;､～∞
.（＿＿/ （＿＿） (~´;;;;;;;ﾞ'‐;;;）
230:１３２人目の素数さん
22/11/05 07:57:37.01 cEuYpoO9.net
>>224
abc予想を打ち壊しているな
231:１３２人目の素数さん
22/11/05 10:24:18.68 9yxh32zi.net
もう人種差別カード切るしかない
コケイジアンに差別される可哀想なエイジアンってことで馬鹿な大衆は騙される
数学界の中でのダメージは既になされたので今後一般大衆へのダメージコントロールが重要
PRIMS編集委員会は過去ショルツがしたアジア人への差別発言を探し出せ
存在しないなら他の黒人等マイノリティーへでも可だが押しは弱いか
いずれにせよポリティカルコレクトネスに全賭けするんだ
232:１３２人目の素数さん
22/11/05 10:37:34.08 n7Swb/Pp.net
朝から斬新な知見の書き込み素晴らしいです
数論を極めてらっしゃる方は違いますね
ご講説についていけるように勉強させていただきます
233:１３２人目の素数さん
22/11/05 10:56:06.97 n7Swb/Pp.net
日本の数学界にもまだまだこれだけ有望な先生方が控えてらっしゃるので安心致しました。
これでRIMSの先生達がコケても後任にはこういう有能な方々がいくらでもいらっしゃるようですから数論の発展が期待できますね
234:１３２人目の素数さん
22/11/05 12:09:13.14 UtpMQnRZ.net
寂しい老後を送られるんだろうな。お察しします
235:１３２人目の素数さん
22/11/05 12:16:29.64 mxwLEYrW.net
本当にコケてしまったのか？
236:１３２人目の素数さん
22/11/05 13:53:35
237:.77 ID:BsjNNB81.net
238:１３２人目の素数さん
22/11/05 14:14:59.56 pkc16DFq.net
>>231
何？まだイケると思ってるのか？
239:１３２人目の素数さん
22/11/05 14:23:14.81 mxwLEYrW.net
論文が取り下げられるまでは
240:１３２人目の素数さん
22/11/05 16:53:47.22 gnngaRd1.net
まぁ論文は取り下げないんだろうな
別スレで整数論のサマースクールのプログラム貼ってたけどズラッとrimsの面々の名前が並んでた
プログラム責任者がiutの周辺の人で予算もそっちの方から来てるんやろ
iut論文取り下げたら予算回ってこなくなるし、結果こういう研究発表の場もぐっと制限されてしまう
そもそも望月論文はiut系の研究全ての根拠論文でこれがこけたらiutという研究分野全体の根幹の部分がこけることになって予算云々以前に研究分野としての存続意義が疑われてしまう
241:１３２人目の素数さん
22/11/05 16:58:41.57 mxwLEYrW.net
このスレの存続意義は那辺にありや
242:１３２人目の素数さん
22/11/05 18:00:33.45 GdZr46Ql.net
>整数論のサマースクール
すでにこのスレにレスがあったよ
RIMSは遠アーベル幾何学とIUTの違いを
明確に説明すべきだね
243:１３２人目の素数さん
22/11/05 18:06:33.74 HtRP2sLi.net
>>235 それこそ墓場まで持っていくんでしょうね
あいつらみんな地獄行きだな
244:１３２人目の素数さん
22/11/05 18:14:27.70 Q6gsdgP6.net
互いに互いを参照することで信用を高めていく作戦じゃないかな
245:１３２人目の素数さん
22/11/05 18:26:42.04 b+W23d63.net
>>235
＞まぁ論文は取り下げないんだろうな
まぁショルツェがCor3.12の「初等的反例」を示して
「望月新一のパラドックス」とかいう名前で
永遠に語り草にされるんだろうな・・・自業自得だけどｗ
246:１３２人目の素数さん
22/11/05 21:11:19.84 GdZr46Ql.net
・文科省中教審日本学術振興会資料の研究成果例.
IUTT数論のブレイクスルーの流れでRIMSの予算人事もあり
RIMSはIUTの研究を中心とした望月新一所長の次世代幾何学研究センター
まで設置した。
・望月氏はブログで内部告発として査読ではokかつ∧とvを解説し
IUT論文の早期受理を主張した。
PRIMSは、望月氏の内部告発を踏まえIUT論文受理の記者会見を開く。
全く新しい理論IUTTによるIUT論文は完全でabc予想が証明されたと。
・これはstix氏も専門の遠アーベル幾何学は現代数学の原理原則
A=BはあくまでもA=Bだが、遠アーベル幾何学≠IUTTで望月新一氏が
全く新しい理論IUTT(現代数学の禁じ手A=BながらA≠B)へ装置として遠アーベル幾何学を応用したことを意味する。
また IUT論文は完全だから以後修正は禁止だ。
・遠アーベル幾何学とIUTTの違いはscholze stixレポートが示している。
望月氏はscholze stix氏が矛盾を示した点を過度の単純化が
原因と発言するも望月氏の追加箇所の根拠を明確に説明できない、
理由はIUTTが全く新しい理論だからだ
247:１３２人目の素数さん
22/11/05 21:23:57.85 WNfrMpg7.net
任期付きの定理
248:１３２人目の素数さん
22/11/05 21:41:50.08 e/p+OVDI.net
249:誰かq>1.5の部分の表を書いてよ。 c<10^19より大きなcの部分も。
250:１３２人目の素数さん
22/11/05 22:09:34.61 e/p+OVDI.net
wikiのabc予想のページから林瑠奈の記述が消されちゃったな。
251:１３２人目の素数さん
22/11/06 13:07:10.59 eNAxW3hg.net
IUTT 関係者と思しき人が書き込むとアンチが雲散霧消・散蜘蛛子しますね
252:１３２人目の素数さん
22/11/06 13:17:50.70 MQUCmJNZ.net
はぁ？こんなのが関係者だぁ？いくらIUTTが言い訳のしようが無い所まで追い詰められてるからって
関係者ならもっとマシな書き込み出来るだろ？何だまた、信者が自ら
関係者の格を下げる様な書き込みして｡
やっぱり、どこの業界でも、どんな擁護でも、浅ましく無理矢理な擁護は、アンチ以上のネガキャンに成るな｡
253:１３２人目の素数さん
22/11/06 15:56:43.66 C0Hvks2+.net
アンチは応援サポレベルの用語
254:１３２人目の素数さん
22/11/06 19:42:56.71 3oKylFl8.net
本人ももうダメと思ってるじゃないのかな？
それで死ぬまで、たまにテレビとかに取り上げられて
一喜一憂して、躁鬱みたいな状態を繰り返すんじゃないかな？
255:１３２人目の素数さん
22/11/06 21:15:39.30 wcZTKbBb.net
リーマン予想も解けたつもりになっているかもしれない
256:１３２人目の素数さん
22/11/07 10:01:43.92 XJmeTcYS.net
>>242
そろそろ無期転換かな
257:１３２人目の素数さん
22/11/07 10:06:13.15 NgHOXSSh.net
散蜘蛛子って「蜘蛛の子を散らす」という意味なんだろうけどこんな言い方するの？
ググっても出てこない
258:１３２人目の素数さん
22/11/07 12:01:37.21 quGd4Ht+.net
PRIMSはIUT論文は全く新しい理論IUTTによる。論文は完全だからabc予想が証明された、として論文を受理した。
一方IUTT共同構築者加藤文元氏から「IUTTは、現今の数学との
違いをきちんと完全に言語化する、新しい数学の言語体系を、
早急に作らなければいけない」とNスペでコメントしIUTTによるIUT論文は未だに不完全性と指摘した。
全く新しい理論IUTT望月コミュニティ内でデュプイも含め
意見の相違があるね、、
信奉者のデュプイによれば謎のIUT語が望月コミュニティ内で
完成するのは200年のちみたい
259:１３２人目の素数さん
22/11/07 13:42:17.47 4u7Yd2qR.net
そうだ（ピコーン💡）
弟子たちの手でABC予想をちゃんと証明するって解決策はどうよ？
日本の恥のままにもならないし
ちゃんとした数学に貢献できるし
良いこと尽くめのソリューションの気がする
260:１３２人目の素数さん
22/11/07 13:54:14.68 sdqTqJEo.net
蜘蛛の子を散らす様に逃げる
は中国語訳でも
向四處逃散
と書く様だな
下手気に自己流に漢文化して書いてみちゃったのか？
261:１３２人目の素数さん
22/11/07 15:35:52.80 r4hUlfAE.net
) ) )
人
（;;;;;;;;）
（;;;;;;;;;;;;）
（;;;;;;;;;;;;;;;;）
（;;;;;;;;;;;;;;;;;;;;）
（;;;;;;;;;;;;;;;;;;;;;;;） 皆いつも応援ありがとうなのさ～
（;;;;;;;ω;;;ω;;;;;;）
（;;;;;;;;;;;;;;;;;;;;;;;;;;;） つ いにみ かぎられたけど障がないさ～
', ー=ー /
/ ヽ＿＿_／ヽ∩
/ l三 |
l ∩ ヽ.__|
＼ ( ) ／
ヽ i! /
（___／ ＼___）
262:１３２人目の素数さん
22/11/07 15:35:59.16 r4hUlfAE.net
ノ）
（;:.:.__）
（;;:::.:.__::;）
（;;:_:.__ﾟ.:.:⌒)
（;;;::｡:.. :;+;::;;｀）
,;f::::::::::::::::::::::::::ヽ
i/'"￣￣ヾ:::::::::::i
|,,,,_ ,,,,,,_ |::::::::|
（＞);（＜)==r─､|
{ (__..:: / ノ′ いっぱいでるのさ～
', ==一 ノ
!＿＿_／_>､,,..- ､
rｰ―__―.' .-'' 々i
! ﾒ ￣｀. ´ ￣｀ .ﾉ
.'- .ｨ # .「 , '.
| :｡:: ﾒ :｡:: ! i
ノ # ﾒ ヽ、
, ' ヽζζζ , ' ヽ
.{ _.ト、 Yl| |iY # ,イ .}
'､ >.ト. ' Ｕ. ' イノ .ﾉ
' .,,_ ___ ノ‐i !- ､ ___ ...- '
. i;!;|:.
. -=::;:..;:|:i::i;:~:..:;;.:ﾆ=-
-=ﾆ::;;:~:;;::_i:;:|:li:~::;;:_ﾞ;::ﾆ=-
. . .:. .:..:,:,: :;:.;;':,:,.,:';;';;';';;;:;.:..::....
263:１３２人目の素数さん
22/11/07 15:48:06.93 NKH32F7r.net
>>243
q>1.6の部分もね。
q>1.7の部分が全て0になるというのも書けるだろう。
しかし書かない理由は、分かりやすくなってしまうから。
分かりやすくしすぎないというのも手口なんだよな。
264:２４５
22/11/07 15:57:45.09 Oehrvnp7.net
>>254
大正解！！
おめでとう、アナルおそうじ券差し上げます。
歌舞伎町で待機お願いいたしやす。
265:１３２人目の素数さん
22/11/07 16:00:00.72 NKH32F7r.net
本来の論点はcが大きな場合だな。
なにしろ計算機科学で大きな桁数の値の素因数分解が難しいという背景がある。
現在、python3のdecimalで桁数が999999999999999999までの値を扱える状態だが、
もっと大きな桁数の計算をしなければいけないところまで持っていく必要がある。
266:１３２人目の素数さん
22/11/07 16:10:32.07 qWer/HiA.net
日常ではもうIUTの話題を挙げるなんて、まだそんなこと言ってるの？って、恥ずかしくて出来んわね。世界中でここだけやな
267:１３２人目の素数さん
22/11/07 16:24:49.69 NKH32F7r.net
ABC予想については少なくとも毎年話題にするだろ。
進学したりする奴らに数学的な話題も提供しなきゃいけないからな。
その時にIUTが付いてくる。そういう意味で使いやすいんだろう。
268:１３２人目の素数さん
22/11/07 16:34:35.39 NKH32F7r.net
長年経っているが、
log(23^5)/log(2*3*109*23)
の計算式がwikiのABC予想のページに載っていないな。
この式を書けばもっと分かりやすい。
新発見が前提だったのかもしれないが、長年新発見されていない。
269:１３２人目の素数さん
22/11/07 16:57:01.43 Z/ONFi4o.net
結構物凄い面白いネタなのは確かだな
何せあれだけの膨大な論文書いてんだぜ？前代未聞だよ
270:１３２人目の素数さん
22/11/07 17:39:18.23 NKH32F7r.net
Πについての呼び方が定まっていない。
キャピタルパイ・ラージパイ・ピー(π「パイ」と異なる呼び方であればよいという風潮)。
271:１３２人目の素数さん
22/11/08 08:32:53.40 JrB29meO.net
>>253
弟子ならHAに行き詰まり全く新しい理論のIUTTになったから
現代数学とIUTTの違いを言語体系IUT語から完成させるしかない。
PRIMSはIUTTによるIUT論文を完全とし受理したから先ずIUT論文を
取り下げIUTTを根本的に修正するしかない。
望月IUTTコミュニティ内部から全く新しい理論IUTTでもabc予想の証明が
未完成と指摘されたことには呆れた
272:１３２人目の素数さん
22/11/08 18:54:25.74 Q+g0m3oh.net
双子素数で成果をあげたあの数学者がリーマン予想にも挑戦していた
URLﾘﾝｸ(gigazine.net)
273:１３２人目の素数さん
22/11/08 19:30:16.46 Obden0Fw.net
日本にもパンチのきいた数学者いねーのか？
274:１３２人目の素数さん
22/11/08 19:49:47.28 thA/7m8q.net
2022て…
275:１３２人目の素数さん
22/11/08 21:21:43.02 jUgL9Yxn.net
>>267
いない
ブラジルから有名な天才数学者が殆ど出てこないのと日本は同じ
数学先進国でない国から突然天才が降って湧いてきたりはしない
276:１３２人目の素数さん
22/11/09 13:15:50.76 o69fbHeU.net
ブラジルって熱帯幾何学の発祥地じゃなかったか？
AITのチャイティンもリオだったような
277:１３２人目の素数さん
22/11/09 13:52:49.43 EVKDS5cj.net
>>260
キミのような輩が滅ばん限り永遠に不滅なんだわ www
278:１３２人目の素数さん
22/11/09 14:13:41.81 0OlH/AbL.net
伊原エッセイは興味深い。
伊原先生の定理がabc予想のIUT論文4部で引用されているが全体
を理解できないとか、数論幾何にIUT論文などの長文読解が必�
279:{に ついて批判的であるとか。 退職後は数学(数理、シャボン玉音楽)を研究されているとある
280:１３２人目の素数さん
22/11/10 01:15:19.01 Q03mTmpj.net
京大当局に呼び出されたことがあるらしい, 不祥事疑いで(秘)
で嘘ついて逃げ切ったらしいwww
281:１３２人目の素数さん
22/11/10 02:28:01.22 LCZhOfSw.net
>>273
伊藤先生が？
282:１３２人目の素数さん
22/11/10 08:50:42.08 0Tv4/FtQ.net
国際的な仲間から孤立して対話がないのはよろしくないと思うけど
個人的な体験に起因していそうだから残念だとは思う。
でもこれでIUTTが役立たずで葬り去られるとやっぱりちゃんと世間に出ていって
批判等うけながら交流していかないと学芸は進まないということになるなぁ。
ショルツェたちも呼ばれたとはいえちゃんと京都にきてくれたのだしね。
283:１３２人目の素数さん
22/11/10 08:51:43.99 rxGobEIe.net
>>267
秋山仁がボクサー上がりと聞いたが？
ただし、ボクサーの方はともかく数学者に入れて良いのかは知らん。
ｽﾚﾘﾝｸ(math板)
284:１３２人目の素数さん
22/11/10 09:11:01.18 r8MOFp9H.net
建築家の安藤忠雄と勘違いしてねーか？
285:１３２人目の素数さん
22/11/10 12:14:15.95 1DhnfbG2.net
ボクシングのタイトルマッチを見た後の
セミナーの発表は
不思議にいつもよりずっと出来が良かった
286:１３２人目の素数さん
22/11/10 13:38:03.26 Tf/Qo7rr.net
>>272
やたら長い論文多いもんな
構造的な哲学みたいな感じであんまり応用できないのもあるw
287:１３２人目の素数さん
22/11/10 23:01:52.90 ZYlid04y.net
ファルティングス氏も伊原先生も理解できない妙に長いIUT論文は
特殊ですね。
理解できないにも色々な場合がある
288:１３２人目の素数さん
22/11/10 23:01:52.97 8pSipC0m.net
2024年でabc予想証明10周年記念ってことになるんか？
289:１３２人目の素数さん
22/11/10 23:24:26.70 ZYlid04y.net
先ず2026年がRIMSのみabc予想が解決10周年記念。
・2016年6月
RIMSの現況調査表に、IUT論文の査読中ながら
IUTTの構築よりabc予想が解決と記載あり
290:１３２人目の素数さん
22/11/10 23:26:47.48 NtDoMuSQ.net
この際“解決10周年記念講演会”とかやったらいい
291:１３２人目の素数さん
22/11/10 23:29:32.77 CZluQWl+.net
2005年には何か記念講演会があった？
292:１３２人目の素数さん
22/11/11 12:23:18.47 2xc/BD+i.net
>>270
トロピカル幾何学の名前は、ブラジル人数学者に敬意を表して付けられたが、
概念自体は様々な数学者に独立に開発されて、
基礎づけもロシア人かつフランス人のマキシム・コンツェビッチなどによって行われた
チャイティンがグレゴリーチャイティンのことなら、アルゼンチン系アメリカ人
293:１３２人目の素数さん
22/11/11 17:45:59.99 O3KkN4ho.net
>>275
>国際的な仲間から孤立して対話がない
PRIMSの形式的「論理的な」擁護の「全く新しい理論IUTTに
よるIUT論文は完全だから受理しabc予想は証明された」も、
Nスペの玉川PRIMS特別編集委員長と特に加藤文元東工大教授のコメント
で実質的に「完全」が否定された。
Nスペは海外の数学者も見ているし、あとはscholze stix氏へ
罵倒の謝罪するべきだ、自業自得
294:１３２人目の素数さん
22/11/11 18:46:30.67 5Li6h9+l.net
そんなもん謝罪するわけがない
謝罪したり、過去の過ちをなおしたりしたら、信用されて、道が開けたりすることもあるかもしれないが
まあ、ずっと苦しむのみ
295:１３２人目の素数さん
22/11/11 19:06:42.47 nPx3kvqh.net
謝罪するのは実数論と独立なIUTTなんかで証明宣言したRIMS
同じ実数論外での証明でも
一般連続体仮説を超限帰納法で証明したのと
ABC予想をIUTTで証明したのとでは
状況が全然違う
296:１３２人目の素数さん
22/11/12 01:14:32.86 9HnyDg8i.net
謝罪できるほどには器が...(笑)
次ページ最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
488日前に更新/300 KB
担当:undef