22/10/28 17:21:16.51 FfpyMD1B.net
>>1
>懐疑的な意見も歓迎です
むしろ懐疑的な意見しかないw
3:１３２人目の素数さん
22/10/28 17:34:57.83 Bd/7dIgC.net
>1 ご苦労様
4:１３２人目の素数さん
22/10/28 18:08:34.00 IRIMh1RM.net
本人は150pもある何かを書いているようだけど？
5:１３２人目の素数さん
22/10/28 20:15:31.78 89WNvrak.net
>>4
矛盾する理論に公理をいくら追加しても無矛盾な理論にはならんよ
6:１３２人目の素数さん
22/10/28 22:52:09.79 E/5fROzK.net
矛盾しているって誰か明言したっけ？
7:１３２人目の素数さん
22/10/28 23:16:53.97 DZIPQMSy.net
玉川氏
「本来だったら矛盾が起こるようなことを活用できないかと考えた
8:１３２人目の素数さん
22/10/28 23:19:29.08 Gqsz4oAP.net
定年までは有効な理論…
孤独な余生を送られることになるのかな
9:１３２人目の素数さん
22/10/29 09:16:35.04 jthzWvY0.net
その孤独度は今と変わらないであろう
10:１３２人目の素数さん
22/10/29 12:22:35.96 3aNNU1WR.net
論文の記述が曖昧で行間が広すぎるという馬鹿な批判をしているやつがいるがそんなのは西洋的な考え方に凝り固まった反日の考え方
ハイコンテキストな文化を持つ日本人なら文脈や背景を考えながら読むのは当然のことだし日本人ならあたりまえのことをしているに過ぎない
その証拠に特にハイコンテキストな文化を持つ京都では理解者が多い
11:１３２人目の素数さん
22/10/29 13:38:54.12 TR/fklkm.net
しかしIQが全てではないという貴重な例だな
IQなら160以上あってもおかしくないが、そういう人間が数学をガチっても
何でも上手くいくとは限らん
アカデミックな舞台でも独創性を発揮するには120で十分と言われている
12:１３２人目の素数さん
22/10/29 14:07:20.74 J/RtetkA.net
京都大学数理解析研究所 RIMS教授 でRIMSの数学誌PRIMSの
特別編集委員会委員長の玉川安騎男 博士によるNHKスペシャル
での発言。
「いわば現代の数学では、禁じ手になってるようなことも取り入れて、
何かできないかということを考えたということなんですね。
1＋1は2でありながら、1＋1は5であるとか。二つの直線が
交わるということが起こりながら交わらないとか。
本来だったら矛盾が起こるようなことを、活用できないかと考えた」
13:１３２人目の素数さん
22/10/29 14:17:59.00 J/RtetkA.net
京都では、源氏物語の頃 幽体離脱があったと記述されるとか、
RIMSでIUT論文の査読中にIUTTの構築よりabc予想が解決したと
記述されるとか、怪異なことがおきるらしい
14:１３２人目の素数さん
22/10/29 14:45:25.03 I/HEgrwM.net
ユーチューブに岡大の天才数学者いるじゃん
あいつに対談動画撮らせてよ
15:１３２人目の素数さん
22/10/29 15:14:40.88 TR/fklkm.net
いくら数学やってようがユーチューバーなんかと対談するわけねえだろw
16:１３２人目の素数さん
22/10/29 17:03:44.73 vx17fikP.net
「ハイコンテキスト」は嘘
単に不可解な記述で矛盾を隠蔽してるだけ
17:１３２人目の素数さん
22/10/29 17:08:05.04 vx17fikP.net
現代の数学では、禁じ手になってるようなこと
＝本来だったら矛盾が起こるようなこと
＞1＋1は2でありながら、1＋1は5であるとか。
2≠5、なら矛盾
＞二つの直線が交わるということが起こりながら交わらないとか。
A∧￢A すなわち矛盾
望月新一のやってることはどういいつくろっても矛盾
玉川は「やっぱ矛盾してるよなあ」と思ってることがわかる
フェセンコやカトブンは名声の為に悪魔に魂を売った
柏原や森重文は数理解析研を守るために見て見ぬふりをした
18:１３２人目の素数さん
22/10/29 17:11:58.59 vx17fikP.net
そもそもCor 3.12が「異なるものを同じだとウソをつく」ペテンで証明されてる
しかも、Cor 3.12自体がペテン的な主張の可能性第
ペテンを用いたABC予想の証明は無意味
19:１３２人目の素数さん
22/10/29 17:59:32.88 GOoiI7lh.net
１＋１はなんで２なの
に対して群だの環だの体だのミッチリ説明したところで素人には理解できない
そこで無理くり説明しようとして
泥団子が2個あって～ とやってるのが>>12
TV的な演出でしょうがなくやってるだけで真に受けてはいけない
で泥団子が2個あって～に食いついたアホ>>17が
泥団子くっつけたら大きさ2倍なるよ！ おかしいよ ねぇ おかしいよ
とやっている
なお本人はアホの自覚はない模様
20:１３２人目の素数さん
22/10/29 18:08:11.52 XUJ+Uq4Z.net
なお専門家からも相手にされなくなった模様
21:１３２人目の素数さん
22/10/29 18:17:20.10 TR/fklkm.net
でもそれは結構重要な問題だよな
IUTで本当に1+1=5なんていう宇宙を扱っているのか、単なる喩え話なのか
22:１３２人目の素数さん
22/10/29 18:19:55.72 5hFYajqj.net
加藤 博士「IUT(宇宙際タイヒミューラー理論)というのは、
数学の基本的なところ、深層のところを揺るがす、地殻変動から
起こっている理論ですので、現今の数学との違いをきちんと完全に
言語化する、新しい数学の言語体系を、早急に作らなければ
いけないんじゃないか」
23:１３２人目の素数さん
22/10/29 18:22:40.50 IRkqIpnG.net
>>19
儂の様な今すぐ死んで良い人間でも分かる事なのに、分からん人間が居るんじゃのう
間違ったセロトニン分泌つまり騙り宗教じゃな｡
24:１３２人目の素数さん
22/10/29 18:24:17.52 5hFYajqj.net
加藤 博士「IUT(宇宙際タイヒミューラー理論)というのは、
数学の基本的なところ、深層のところを揺るがす、地殻変動から
起こっている理論ですので、現今の数学との違いをきちんと完全に
言語化する、新しい数学の言語体系を、早急に作らなければ
いけないんじゃないか」
25:１３２人目の素数さん
22/10/29 18:54:34.58 q/UmgFuF.net
>>10
それは洋の東西関係ないと思うぜ。
ポアンカレ予想のピロリマンだかも周りから見ると
簡素化の極で飛躍しすぎて理解に時間を要したんだし。
要するに天才の所業は凡人には容易くは
理解できないことが多いってことなんだわ。
ただ IUTT がどうなのかはわがんね。
望月教団として独自の進化をすんのかも知れんし、
もしかすっとヒッパソスが出現すっかも知れん www
26:１３２人目の素数さん
22/10/29 19:04:24.18 CLSgnyGp.net
>>10
引きこもりのわがままボンが京都人のハイコンテクストを語るとか笑止千万
27:１３２人目の素数さん
22/10/29 19:32:46.52 OVRhgaiI.net
もう愛国ポルノ押し通して日本国内では証明できてることにするしかないよ
偉大なる日本人民はABC予想を証明したマンセーって
外国人が来日する際には入国時
☑ 滞在中私はABC予想が証明されたことを認めて行動します
とチェックさせ、認めなかったら逮捕すりゃいいさ
日本を京都に置き換えてもいいよ
28:１３２人目の素数さん
22/10/30 05:49:24.19 N6EFLeoN.net
>>10
> ハイコンテキストな文化を持つ日本人なら文脈や背景を考えながら読むのは当然のことだし
そんな気を利かした読み方は理学の中でも特に純度の高い理を講じる数学では御法度な読み方。正気で言ってるか？
> 日本人ならあたりまえのことをしているに過ぎない
未だにそれが当たり前だから数学に限らず需要や供給、観光に関しても日本離れが起きている事に気付け
> その証拠に特にハイコンテキストな文化を持つ京都では理解者が多い
だから数学を京都文化流儀で読むな。京都文化は数学ではない｡
そうやって「やはりIUTは京都魔界村社会の非科学的かつ形而上学的な理念から成る論理でしか成り立たないのか」と
言われかねん弁護をするな。何でそうやって擁護の積もりで逆にIUTの評判を落とす事に貢献する弁護をしちゃうかな？
常人なら逆効果擁護に成る事が子供でも分かる弁護だから、その気に成っても実際に口から出る前にやめられる｡
だが、君はやらかした。つまり君は既に常人ではなく、IUTの信者か、IUTの信者のふりした批判煽動家でしかない事が判明｡
逆効果擁護って、確信犯でやってるのか、はたまた盲信の果てのやらかしなのか判断しかねるな｡
29:１３２人目の素数さん
22/10/30 05:53:20.70 N6EFLeoN.net
京都×魔界村×村社会
PRESENTED BY CAPCOM …んなわきゃーないか、いくら京都に近い大阪の企業とは言え
30:１３２人目の素数さん
22/10/30 07:17:07.29 bB2tnOJT.net
10年前は未来から来た大天才の論文だと感じただろう？
その時の感覚が大事なんだ。「身を委ねる」んだ
31:１３２人目の素数さん
22/10/30 07:40:40.78 1nQ23L5n.net
行間が読めなかったせいで∧と∨を間違えるという恥ずかしい失敗をした人もいるし
間違いを指摘されると反論しなくなったよね
32:１３２人目の素数さん
22/10/30 07:51:03.26 mxI2vMj+.net
京都文化の人かな？
33:１３２人目の素数さん
22/10/30 08:12:32.89 3unAsFEw.net
そのギャップの埋め方は間違ってる！と主張しても埋まったことにはならないんだよ
ギャップが埋められない限りは証明に失敗してるんだよ
34:１３２人目の素数さん
22/10/30 08:54:51.00 0+5eyUkB.net
>>22 詭弁の典型例
35:１３２人目の素数さん
22/10/30 08:56:47.04 N6EFLeoN.net
>>30
お前も統一教会と同じ物言いをするんだな
>>31
ほらまたそうやって
「IUTTと既存数学との間の『等号原理』は『京都文化に育まれた忖度の精神』」と言い張ってるのと
全く同じ旨のレスをし晒す｡
36:１３２人目の素数さん
22/10/30 08:58:37.28 0+5eyUkB.net
>>31
＞∧と∨を間違えるという恥ずかしい失敗
∧と∨を間違えてるという恥ずかしい反論、なｗ
恥ずかしいのはショルツェじゃなく望月新一
37:１３２人目の素数さん
22/10/30 09:25:25.97 SEh1dCjQ.net
>>10
本人が言ってるとしてら、数学としての完全敗北宣言だな
38:１３２人目の素数さん
22/10/30 09:45:09.01 xIiN1rNZ.net
京都人「ぶぶ漬けでもどうでっか？」 → 意味「早う帰れやボケ」
京都人「お宅のお嬢さんピアノがお上手で」 → 意味「音がうるさいんじゃボケ」
39:１３２人目の素数さん
22/10/30 10:01:15.34 y/CG6F55.net
コンテキストという概念を使っても言い訳にならない
一階述語論理は文脈自由文法で既にその意味で現代数学のルールを逸脱してるが「コンテキスト依存の新しい数学言語だから今までの常識は通用しない」ではない
もちろん数学基礎論は文脈依存文法も扱っており、そこまで話広げてもダメ、というより話が広がれば広がるほどダメ
40:１３２人目の素数さん
22/10/30 10:11:39.73 0+5eyUkB.net
京都人「東京に行くことを上京とは言わない」
→ 意味「日本の都は京都、天皇は”江戸”に”一時滞在”してるだけ」
いや、別に天皇に来てくれとか頼んでねぇし
帰ってもらっていいし、江戸のほうがかっけぇしｗ
41:１３２人目の素数さん
22/10/30 11:13:38.95 ZokosvR1.net
>>38
京都人「望月新一はんはABC予想を解決した天才どす」 → 意味「？」
42:１３２人目の素数さん
22/10/30 11:39:30.07 N6EFLeoN.net
讃えるだけ讃えといて本人・支持者・後進者の誰も既存数学とIUTTとの等号原理が取れるマッチング理論に着手しない現実
43:１３２人目の素数さん
22/10/30 12:59:56.63 LJk7NKkj.net
だいぶでも何がダメなのか理解が広がりつつあるのは感じる
44:な そう、iutとはどんな言語を用いてどんなものを証明と呼ぶのかを定めるだけではダメでそれが「どのようにして既存の数学の問題を解決したといえるのか、iutにおける証明からどのようにして既存の普通の数学での証明を導出するのか」ができなければただの数学っぽい言葉の羅列でしかない 普通の数学者が普段使いに使ってる数学はどんなにマイナーな概念だろうか他の論文では見たことも聞いたこともない概念だろうが、ちゃんとwell-definedな概念だけで構成されてれば既存のその手のエキゾチックな概念を全く必要としない論理に落とし込める事が証明されてる、だから我々はその範囲で好きな用語なり概念なり導入できる、どんなにエキゾチックに見えてもそれはちゃんと既存の数学と繋がってる iutは"interuniverse"などと言いながらその実ポツンと他のありとあらゆる数学から孤立してしまっている
45:１３２人目の素数さん
22/10/30 14:53:03.26 0+5eyUkB.net
>>43
端的にいえば、古典論理上で考える限り、
矛盾する体系上ではなんでも証明できるから無意味
a=b ∧ a≠b なんて明らかな矛盾はダメってことです
こんなもんを看過する時点でRIMSは終わってるってことです
46:１３２人目の素数さん
22/10/30 14:56:55.63 0+5eyUkB.net
>>44
ところで、矛盾許容論理は古典論理より弱いです
URLﾘﾝｸ(ja.wikipedia.org)
つまり、古典論理では導けないことを矛盾許容論理で導く、というのはナンセンスです
47:１３２人目の素数さん
22/10/30 15:36:17.96 CFT8XMKa.net
>>31
> 行間が読めなかった
準備論文の遠アーベル幾何Topics in absolute anabelian
geometryでも指導教官ファルティングス氏から指摘されている。
まずIUT論文を取り下げ明確に書き直すことが必要です。
It is not easy to read because much of it consists of remarks,
and there are many definitions which introduce new terminology.
>∧と∨を間違えるという恥ずかしい失敗をした人もいる
ブログで∧と∨を主張し内部告発までしてIUT論文の受理を
訴えていた。
一方玉川PRIMS特別編集委員長のIUTTの評価は、IUTTは全く新しい理論、現代数学の禁じ手A=BながらA≠B 矛盾の活用を考えた。
恥ずかしいからといって腹いせにこのスレに反論レスもどきの
RCSの代弁者やRIMS IUTをカキコミ荒らすことはおやめください。
RCSがscholze氏ならこのスレの住民が世界トップクラスの
数論幾何屋になってしまう、、
48:１３２人目の素数さん
22/10/30 15:42:27.17 dBpdUjH0.net
数体のホッジ理論的な情報が遠アーベルの一般化から取り出せるならとんでもない
革命になるわけだが、その実行の仕組み＝IUTが何とも胡散臭いからな
絶対遠アーベルの準備論文は東大のジャーナルから出てるものだけども
49:１３２人目の素数さん
22/10/30 16:13:47.25 Fe8R1lgd.net
数学の論説では星氏がIUTT≠遠アーベル幾何学でIUTTは遠アーベル幾何学の応用といってる。
両者の違いは
遠アーベル幾何学が専門の玉川氏の
コメントが答えなんだろうと
50:１３２人目の素数さん
22/10/30 16:32:11.73 0+5eyUkB.net
>>48
そうね IUTTは、遠アーベル幾何学とは違うね
あくまでIUTTは望月新一個人の勝手な思いつきの産物で
その思い付きは同僚の玉川も弟子の星も実は賛同してない
フェセンコは耄碌してるんだろうし
山下は一縷の望みを持ってたようだが今では多分失望してるだろう
カトブンはただの祭り好きｗ
51:１３２人目の素数さん
22/10/30 16:35:21.17 0+5eyUkB.net
柏原正樹と森重文は
「あくまで誤りが見いだされなかったから、受理して出版したと言い張れ」
と玉川に言ったんだろう
後から誤りが見つかった査読論文も沢山ある
不正を追及されることはないと踏んだんだろう
しかし、受理した理由が
「もう成果っていっちゃったし、次世代幾何学研究センターも作ったから」
というのは実にナサケナイ
52:１３２人目の素数さん
22/10/30 17:39:43.23 owVdIs+1.net
>>50
>>しかし、受理した理由が
>>「もう成果っていっちゃったし、次世代幾何学研究センターも作ったから」
>>というのは実にナサケナイ
憶測ならもっとスケールが大きい方が面白い
CIAがからんでいるとか
53:１３２人目の素数さん
22/10/30 20:05:37.31 9OiG4wvV.net
京都のほこり、どすえ～
54:１３２人目の素数さん
22/10/30 22:15:26.26 owVdIs+1.net
関孝和を超える
55:１３２人目の素数さん
22/10/30 22:45:36.44 ZokosvR1.net
関孝和って日本では有名だけど海外では名前出して通じるの？
56:１３２人目の素数さん
22/10/30 22:53:41.07 N8jNRHWC.net
有名無名も欧米じゃ、西洋の学問系譜上にない学問なんて存在しないのと同じだよ
57:１３２人目の素数さん
22/10/30 23:11:12.79 owVdIs+1.net
>>54
IBMの数学史の年表には出ている
58:１３２人目の素数さん
22/10/30 23:17:48.88 RasbHhgH.net
>>25
いやマジでピロリマンと同じ末路になりはしないかと心配だわ
59:１３２人目の素数さん
22/10/31 00:50:06.23 kbfe6b8B.net
>>52
強烈な皮肉w
60:１３２人目の素数さん
22/10/31 04:28:29.18 fXHgqueO.net
>>57
似て非なるもの
なんだけど
61:１３２人目の素数さん
22/10/31 06:06:59.11 e4kcDC7U.net
まぁ素人には似たように見えるのかもな
62:１３２人目の素数さん
22/10/31 08:00:09.42 u/RTepLC.net
MもPも
周囲の反応を全く意に介さない点では
似たような存在に見える
63:１３２人目の素数さん
22/10/31 08:19:09.10 f/ADbCQf.net
京のおぼかた
64:１３２人目の素数さん
22/10/31 08:31:52.36 cFIG3Xwv.net
>>61
結局音沙汰がないのはペレルマンもヤバいよな
ドキュメントを書いたライターは実質的にアスペルガーと示唆しているが
65:１３２人目の素数さん
22/10/31 08:50:08.43 P/yn/qVF.net
全然違うだろｗ アスペルガーだのそんなことは関係ない。
証明の正しさが認められ、数学史に不滅の業績を残したペレルマンとモッチーでは。
本当に間違ってるとすれば、業績どころか負の影響を残したことになりかねない
モッチーの方は。
66:１３２人目の素数さん
22/10/31 09:30:22.32 dlN6pOlz.net
IUTTは現代数学と全く異なる理論で間違ってすらいないなにかだ
平安時代の京都では一人でありながら二人になる幽体離脱が実在した
取り憑かれた六条御息所が幽体離脱し生霊.物の怪となり呪い殺した、
京大RIMSの文化として取り憑いているとは京らしい。
FやSだけでなくDもJも取り憑かれたかもね
67:１３２人目の素数さん
22/10/31 09:35:48.87 dlN6pOlz.net
IUTTは現代数学と全く異なる理論で間違ってすらいないなにかだ
平安時代の京都では一人でありながら二人になる幽体離脱が実在した
取り憑かれた六条御息所が幽体離脱し生霊.物の怪となり呪い殺した、
京大RIMSの文化として取り憑いているとは京らしい。
FやSだけでなくDもJも取り憑かれたかもね
68:１３２人目の素数さん
22/10/31 11:11:44.58 QUOgCU1O.net
>>61
周囲なんか見てるようなキョロ数のしょぼい集中力じゃ、数学者ワールドにはお呼びじゃねンだわ笑
69:１３２人目の素数さん
22/10/31 11:13:30.28 QUOgCU1O.net
キョロ数の追随なんか許すな
ぶっちぎりで駆け抜けろい！
70:１３２人目の素数さん
22/10/31 11:15:35.58 QUOgCU1O.net
はい
↓嫉妬の魔物の無限負け押しみ↓
71:１３２人目の素数さん
22/10/31 11:47:28.07 DqT5U4r1.net
ペレルマンは偉大な文化遺産を人類にもたらし、しかしフィールズ賞、ミレニアム賞の受賞を辞退した
望月先生とは真逆
72:１３２人目の素数さん
22/10/31 11:56:45.50 gQAh5Kxm.net
今、もはや嫉妬なんてしてる奴いないよね
73:１３２人目の素数さん
22/10/31 12:13:57.87 cFIG3Xwv.net
飛び級でプリンストンの博士だからね
ある意味東大理三より学歴は凄いわけで、バイアスで間違えるはずがない、
凄すぎて理解できないだけだと思う連中も多いだろうね
74:１３２人目の素数さん
22/10/31 12:57:33.29 HXdZh5et.net
>>63
ピロリンが音沙汰ないのは他人の意見を必要としないから。
新しいテーマで研究はしてる。
一人で解決できないと思えば、またコンタクト取ってくるよ
ただし、物理と数学に精通していて、アインシュタインをはるかに超えた
万能型天才だから、今の研究が完成するまでボッチを貫くかもなんだわ。
75:１３２人目の素数さん
22/10/31 16:22:21.43 EyHujsuF.net
人
（;;;;;;;;）
（;;;;;;;;;;;;;;;;）
（;;;;;;;;;;;;;;;;;;;;;;;）
i:::::::::::::::::::::::::::::i
|:::/' " ￣￣ ヾ:::|
|/ ,,,,,,,,,, ,,,,,,,,, ヾ|
| =（●）=（●)＝| ウンコ気張りすぎて自分を出産しちゃったのさ～
| 〃 ( _ _ ) 〃 |
| ﾄｪｪｪｪｪｲ |
ヽ | ｒ-ｒ-､ | /
/⌒ヽ/⌒＼ヽ| | |ﾉ／⌒ヽ／⌒ヽ
/ ﾉつ＼ ･ ｀ｰ'ｰ' ･ ／⊂ヽ ヽ
o0○/ /( 3 ＼ ∩ ／ と ) ○0o
( ` /､＿ﾉ (;;;;)(;;;;) （＿ﾉヽi ）
＼＿) ＼ : : : * : : : ／ (＿ノ
ヽ＿＿人＿＿ノ
（;;;;;;;;）
（;;;;;;;;;;;;;;;;）
（;;;;;;;;;;;;;;;;;;;;;;;）
i:::::::::::::::::::::::::::::I っ
|:::/' " ￣￣ ヾ:::| っ
|/ ,,,,,,,,,, ,,,,,,,,, ヾ|
| =（＞）=（＜)＝| ひ ～ ん、産まれたのさ～
| 〃 ( _ _ ) 〃 |
| ﾄｪｪｪｪｪｲ |
ヽ | ｒ-ｒ-､ | /
＼ヽ| | |ﾉ／
｀ｰ'ｰ'
76:１３２人目の素数さん
22/10/31 18:03:00.80 QMLFEH1j.net
scholze stix レポート。
遠アーベル幾何「Topics in absolute anabelian geometry(= Anab3)」
と IUTTの関係について、
Theorem 7 ([Anab3, Theorem 1.9, Corollary 1.10]).
Remark 9. Anabelian geometry is supposed to be the key to Mochizuki’s
proof. However, here we see that in the IUTT papers, we are
(for the essential part) in a situation where anabelian geometry holds
true in the sense that geometry
and group theory are equivalent. We could not find the point where
it is essential to work with fundamental groups – there are no additional
isomorphisms of fundamental groups that do not come from isomorphisms
of schemes, precisely because of Mochizuki’s theorem.
IUTTは全く新しい理論でA=B ながらA≠Bは具体的にどのように使われているか？
PRIMS特別編集委員長も明確に答える責任がある。
77:１３２人目の素数さん
22/10/31 18:21:29.27 P5xk8O++.net
>>73
>>ピロリンが音沙汰ないのは他人の意見を必要としないから。
>>新しいテーマで研究はしてる。
>>物理と数学に精通していて、アインシュタインをはるかに超えた
>>万能型天才
ピロリンに精通していることをそんなに自慢したいわけ？
78:１３２人目の素数さん
22/10/31 18:47:55.66 k+AQK7ul.net
>>75
文字通り異なる＝同型でないのは宇宙たちに決まっている
ではA＝Bは何なのかという話だが、これがいわゆるアルゴリズムによる
対称性通信とかいうものによっている部分だ
だが、絶対ガロア群や付値、位相体に関してはトップクラスの認識を持つショルツですら
その辺に具体性や正当性を感じていないらしい
79:１３２人目の素数さん
22/10/31 18:52:07.11 k+AQK7ul.net
要するに、「遠アーベル幾何学が互いに異なる無限の単解スキーム宇宙のアルゴリズム
的対称性空間に一般化される」
という命題の実体が絶対遠アーベル3を読んでもわからなかったです、という話だよね
SSが言っているのは
80:１３２人目の素数さん
22/10/31 18:53:35.18 80mlx0ds.net
理解が進んでだいぶ意味がわかってきてる人もいるがあいも変わらずアホアホレス書いてる底抜けもいるよな
81:１３２人目の素数さん
22/10/31 19:16:57.36 R5kU9Lcv.net
>>78
stix氏は遠アーベル幾何学の専門です
82:１３２人目の素数さん
22/10/31 19:51:13.27 R5kU9Lcv.net
>>79
指導教官ファルティングス氏のreviewでremarksだらけと指摘したが、
Anab3, Theorem 1.9,にはremark1から9まであるw
結局 ファルティングス氏はIUTTが理解出来なかったと。
まあIUT論文にギャップがあるからだろ
83:１３２人目の素数さん
22/10/31 20:30:58.45 UhcBjyl9.net
>>9
teacup poodleを飼っても?
84:１３２人目の素数さん
22/10/31 20:35:54.82 UhcBjyl9.net
ﾃｨ~ﾌﾟ~🐩の赤ちゃんがぃても?
毎朝毎夕、ﾁﾋﾞゎんこのぉ散歩三昧でも?
教ぇて!ぉさびcﾏﾝ!
85:１３２人目の素数さん
22/10/31 20:38:39.82 UhcBjyl9.net
₄にかけのぉとしょりの
ぉさびcに🐾ﾃｨ~ﾌﾟ~🐩の赤ちゃんゎ、効きますかｯｯｯ!?
(食ぃ気味)
86:１３２人目の素数さん
22/10/31 20:42:39.24 UhcBjyl9.net
ぉさびc、₄んぢゃぅ寸止めのぉ年寄りの気持ちゎ、ﾍﾟﾛﾘﾏﾝ先生でも分からなぃと思ぅんですけど。(迷推理)
教ぇて!ｧ~ｨｷｿ、ｨｷｿ…ｧ~₄₂soﾏﾝ!
87:１３２人目の素数さん
22/10/31 20:49:29.81 UhcBjyl9.net
このｽﾙﾙｪに、₄₂かけのdoctorゎ、搭乗されてませんか!?
(唐突なdoctor callゎ、嵐の習性)
教ぇて!₄₂ｶｹﾁﾞｯﾁｬﾏﾝ!
88:１３２人目の素数さん
22/10/31 20:51:47.36 UhcBjyl9.net
|∞
|д·)…
89:１３２人目の素数さん
22/10/31 20:53:25.07 UhcBjyl9.net
|∞
|·д·))…ﾇｯ!
|∝\
|δ
90:１３２人目の素数さん
22/10/31 20:57:56.75 UhcBjyl9.net
ﾍﾟﾛﾘﾏﾝ先生ゎ
✨🍰甘党- ̗̀ 🎂 ̖́-✨
ですｿﾞ。
美女にゎそんなに興味なぃみたぃですｿﾞ。
(豆知識)
ﾍﾟｯﾂｧﾏのにゎかﾌｧﾝの
ぉ↑ぢ↓さんたち、
そんな(にゎかな)んぢゃ、甘ぃょｯ! (煽り)
91:１３２人目の素数さん
22/10/31 21:06:24.05 UhcBjyl9.net
・🍄好き
・ちょっと前までお母さんと一緒にﾏﾏの(サンクトペテルブルク🇷🇺の)団地住み
・独身
・双子座
・姉夫婦の所(スウェーデン🇸🇪あたり)に押しかけて引っ越した
にゎかはこれを8回音読すんだょ。ぁくしろょ
92:１３２人目の素数さん
22/10/31 21:09:53.86 UhcBjyl9.net
₺ƾﾏと相性ぴったんこｶﾝｶﾝな
♊双子座ですｿﾞ。(挑発)
₺ƾﾏとﾍﾟｯﾂｧﾏの間にゎ、
にゎかの横入りなんか絶対無理、
はっきり別んだね。
(狂気)
93:１３２人目の素数さん
22/10/31 21:16:02.47 UhcBjyl9.net
…と、割り込んだのゎ、ちょっと前まで、…
今ゎ₺ƾﾏ(のイチオシ先生で)ゎ、なぃです。
こ↑の↑情報ゎ、にゎかぉ↑ぢ↓さんたちの知ったかに使ってくださぃ。
₺ƾﾏゎ代わりに
✨ミッシェル・ワルドシュミット✨大先生様をイチオシにしますから。
ミッシェル大先生情報、持ってるｽｩｩ…GACKTｯﾁｬﾏゎ、₺ƾﾏまで至急メールCREA!
|=₃
94:１３２人目の素数さん
22/10/31 21:26:23.22 Hgks5NyU.net
ここはwikipediaスレなのになんでwikipedia以外のことを書き込んでるの？
95:１３２人目の素数さん
22/10/31 21:41:45.64 UhcBjyl9.net
ﾍﾟ·ﾛﾘﾏﾝ先生のwikiですょｯ!?
…で、
ミッシェル・ワルドシュミット大先生様のwikiゎ、ぁるんですかね…
…まさか、ｽﾙﾙｪをご覧の皆さまの中に…✨ミ✨大先生様✨の高弟陛下が…、
…て、ぃるゎけねぇか…ﾊﾊｧ…
96:１３２人目の素数さん
22/10/31 22:21:48.01 R5kU9Lcv.net
IUTは終わっていると指摘すればワンパターンであらしが湧いてくる
IUTが終わっていることをよくご存知らしい
97:１３２人目の素数さん
22/10/31 22:50:42.64 R5kU9Lcv.net
玉川PRIMS特別編集委員会委員長の現代数学の禁じ手A=Bながら
A≠Bでは保存拡大ではないだろ。
ロバーツ氏
I maintain, with good reason, that the type of reasoning in the note is
what the so-called ‘RCS’ is doing.
It is standard category theory and standard mathematics.
There is no linguistic trickery or confusion or deeply detrimental
disruptions here. Mochizuki is using non-standard definitions of standard
terminology, and then complaining that other people’s definitions
(which are the standard ones) lead tocontradictions.
98:１３２人目の素数さん
22/10/31 23:30:26.10 hzE4pSs+.net
やっぱりRoberts先生は等号原理の違反が“不適切な定義”に起因する事もきちんと指摘されてるよね
コレも数学基礎論の教えるところを理解してれば至極当然の話
この指摘の意味がちゃんと理解できてる人ならもうこの指摘読んだ次の瞬間終了～なんだよな
99:１３２人目の素数さん
22/11/01 00:17:47.06 fcsGB1cS.net
>>94
そんなに欲情が止まらんなら電マ2つ自分でブチこんで果てとけ、この年中無休発情淫乱婆
100:１３２人目の素数さん
22/11/01 01:09:23.01 BjLzAOSI.net
統合原理くんは
統合原理研で鍛え上げられた革命的統合闘士かなんかなの？。
101:１３２人目の素数さん
22/11/01 02:22:07.24 dyDLwNDp.net
A=B∧A≠BというNスペの一般向けの例え話をそのまま受け取っているやつがいることに驚愕を隠し得ない
102:１３２人目の素数さん
22/11/01 06:35:39.18 3xC8ghQx.net
NHK スペシャル 海外 番組評価 例
Reports I’m seeing from those who have watched the program say
that it does correctly explain that the proof is not accepted by many experts.
correctly ただしく
番組でコメントしたwoit氏のブログから
103:１３２人目の素数さん
22/11/01 07:54:07.06 3xC8ghQx.net
・加藤文元東工大教授 Nスペ
「ａｂｃ予想が解けるんじゃないかと気がつかれたのは、
彼が、ホッジ･アラケロフ理論というのを構築されたころ、
徹底的に考えた結論として、無理であるという、非常にそういう意味では大きな結論に至ったんだと。だから新しい数学を作らなければいけないと感じたとおっしゃってました」
・玉川 RIMS教授.PRIMS特別編集委員会委員長 Nスペ
「いわば現代の数学では、禁じ手になってるようなことも取り入れて、何かできないかということを考えたということなんですね。1＋1は2でありながら、1＋1は5であるとか。二つの直線が交わるということが起こりながら交わらないとか。本来だったら矛盾が起こるようなことを、活用できないかと考えた」
・ロバーツ 博士 Nスペ
「同じと見なせるものは一貫して同じと見なすべきだという考え方は、現代数学の重要な原理原則です。ショルツのような数論の専門家たちにとって、それは体の一部になっているといっていいでしょう。しかし望月は、今回の議論では、その原則は当てはめるべきではないと主張し続けました。」
・scholze zbmath review
「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.」
・ファルティングス 博士 Nスペ
「誰かが望月の理論を分かるように説明する言葉を見つけてくれればいいのですが…」
・
加藤文元東工大教授 Nスペ
「IUTTは、、現今の数学との違いをきちんと完全に言語化する、
新しい数学の言語体系を、早急に作らなければいけない」
以上のコメント.reviewは整合している
104:１３２人目の素数さん
22/11/01 11:11:15.30 fcsGB1cS.net
要約すると依然として言語不在の下でのABC予想証明。だが…
人、それを証明とは呼ばない。呼ぶのは京都魔界村の人間のみ｡
どうやら、今の所はRIMSの当て字は利無巣か理無巣と綴ってやった方が良さそうだな｡
105:１３２人目の素数さん
22/11/01 11:50:30.25 1fyQr2VL.net
というか、何が何でも解くしかないという、ポアンカレ予想でいうペレルマンというより
パパみたいになっていたのかもしれない
自信もあっただけに尚更
いや或いは、abc予想を解かなければ自尊心に関わる感覚だったのかもしれない
106:１３２人目の素数さん
22/11/01 11:58:46.17 bxZN1Dwm.net
孤独死…
107:１３２人目の素数さん
22/11/01 12:07:43.99 1fyQr2VL.net
孫正義財団にも数検一級を10才くらいで受かってゴールドバッハや
コラッツをやりたいと言ってる元気な子供がいるが、ほどほどにやってほしいねw
108:１３２人目の素数さん
22/11/01 12:42:01.90 wYZ0tBe5.net
>>104
15年ほど前の2chでは名古屋の悪口に混じってパッとしないとか言われてたからな
109:１３２人目の素数さん
22/11/01 12:48:11.31 /xcbnB0u.net
不用意に=、≠を使うから問題なのであって、別の記号を導入して厳密に定義すりゃいいんじゃないの？形式主義的に。
=、≠を使う意味とかあるのかしらん？
110:１３２人目の素数さん
22/11/01 12:53:42.76 gKqXtEfj.net
再び事態は逆戻りし始めているようだ
111:１３２人目の素数さん
22/11/01 13:13:43.33 FgEWLWul.net
あんなけ丁寧に説明したのにまだコレだからな
もうほっとこうかな
112:１３２人目の素数さん
22/11/01 16:19:19.01 gKqXtEfj.net
１０年ほっとけ
113:１３２人目の素数さん
22/11/01 17:01:41.38 raHZVp9J.net
なんぼ愚民の皆さまでも理解に10年はかからんでしょう！？
114:１３２人目の素数さん
22/11/01 17:42:18.50 gKqXtEfj.net
５０年かかる可能性もあると思う
115:１３２人目の素数さん
22/11/01 18:02:57.41 vvPZrfTz.net
わからんやつには永遠にわからんやろ
もちろん数学基礎論の話なんか勘でわかるもんじゃない
教科書読まんと絶対わからん
�
116:ｵかし教科書読まん奴はおそらく永遠に読まん
117:１３２人目の素数さん
22/11/01 21:34:21.20 AFlnfvZW.net
>>114
>>わからんやつには永遠にわからんやろ
そのレベルの話かどうか
118:１３２人目の素数さん
22/11/01 21:38:32.40 IPX17S36.net
一般的な数学者
「専門外やしぶっちゃけよーわからん」
数学者くずれの勘違い5ch民
俺は分かってる（ドヤァ
3.12が～
ショルツェが～
京大が～
無知の知・・・
119:１３２人目の素数さん
22/11/01 22:03:37.68 UYaI5sqH.net
Roberts先生の指摘はそんな最先端の基礎論の話がわかってないとわからん話ではない、現代数学とは何か、どのように規定すべきか、20世紀初頭に盛んに議論され、研究されてひとまず結論を得たあたりまでの話がわかってればわかる話
そしてこの話がわかってれば柏原先生が言った“禁じ手”とは何の事かなどが“正確に”理解できる、そしてその試みが見事に失敗してる事もわかる、からの加藤先生の発言
正直この辺の基礎論の話がわかってる数学者はもう終了してるのもわかってるよ
わかってないのはここのアホ住人だけ
120:１３２人目の素数さん
22/11/02 01:19:46.38 125LgoU+.net
小人、改心せず
天の罰がカミングスーン
121:１３２人目の素数さん
22/11/02 01:35:35.79 1gZVj3qV.net
天罰待ち遠しいなぁ
wwww
122:１３２人目の素数さん
22/11/02 03:40:21.68 AS50mhqT.net
結局は行間が広いせいで理解できなかったというオチかよ
123:１３２人目の素数さん
22/11/02 07:22:32.17 X14gDzqT.net
科哲で、数学におけるdeep disagreementのケーススタディにされるモチズキ
arXiv:2210.16488
>So the mathematical world seems to be in what the American number
>theorist Frank Calegari anticipated as “the ridiculous situation where
>ABC is a theorem in Kyoto but a conjecture everywhere else” (Calegari 2017).
124:１３２人目の素数さん
22/11/02 07:37:53.47 N+Kz71Di.net
"in Kyoto"だけでなく
北大の学会でもPRIMS批判は
はばかられる雰囲気だった
125:１３２人目の素数さん
22/11/02 07:50:11.60 5zoCvZJk.net
前の方のtubeでも"lean theorem prover"だったしな
やっぱり現役の数学者の名前あげて批判するのは憚られるやろ
126:１３２人目の素数さん
22/11/02 08:44:47.86 A9dGV2DZ.net
>>122
批判や真相は飲み会で語られるw
127:１３２人目の素数さん
22/11/02 10:16:46.06 sl4vq5MD.net
推薦。ソーカル.ブリクモン「「知」の欺瞞」岩波
ソーカルは公理論的場の量子論(数学)出身
・アカデミックの法則-学者仲間へのお世辞にやりすぎはない
・不明瞭なものがすべて深遠なわけではない
・曖昧さは逃げ道なのだ
・クーンとパラダイムの通約不可能性
128:１３２人目の素数さん
22/11/02 12:31:15.60 KO1zdbok.net
これ身内（PRIMS＆日本数学会）以外で認めてる数学者って何人いるの？
129:１３２人目の素数さん
22/11/02 12:43:39.53 d2Slad6K.net
/^l
,―-y'"'~"ﾞ | えらいね
ヽ ':
彡 ´ ∀ ｀ ﾐ ﾅﾃﾞﾅﾃﾞ
;' づ(⌒─‐⌒)
ミ ﾐ;,,.,.,） ,.,ﾐ , (*´ω｀*)）
ﾐ';:,,,~"゛)､,,,,,､;'"~） ﾟし-Jﾟ
`'''" ~'''ﾞ
130:１３２人目の素数さん
22/11/02 12:44:31.72 d2Slad6K.net
_i⌒r-.、
,,-'´ ノ
./ .l
/ l
_,, --一--､ .ｌ l ,,.--ー--,,_
／,.-''"￣"''-､, l i .l ,.-''"￣"''-､,ヽ､
/ ヽl l / ヽ
.l ─ - l
| |
'; ,,,,,, ---─'''"""""'''─---､,,,,,, ,/
＼ ／ ＼ ／
/ / ＼＼
l l ／ ＼ l l
.| | ● ● | |
l l , , , , ､ ､､､ l l
` ､` ､ (__人__) / /
`､,`ｰ ､__ .,,／／
"'''０| `'''ｰ‐‐─‐‐‐一'''l０"""´
| |
| |
| ,'￣￣￣ . |
ゝ､___ノ ゝ､,ノ
131:１３２人目の素数さん
22/11/02 12:45:41.25 d2Slad6K.net
(⌒─‐⌒)
( ) もーちわけありませんでした！
くO|=∽=|Oゝﾍﾟｺﾘ
L_」」L_」」
(⌒─‐⌒)
((´・ω・｀)) なんよ？
. ,ﾍﾞヽy〃ﾍ､
くO|=∽=|Oゝ
L_」」L_」」
132:１３２人目の素数さん
22/11/02 12:45:47.03 V07PD4ug.net
へえ、AQFTか
とんでもない天才が出てこなきゃ質量ギャップまであと半世紀以上だな
133:１３２人目の素数さん
22/11/02 12:46:07.26 d2Slad6K.net
(⌒⌒)
｀川´
(⌒─‐⌒)
((*`ω´*)) ぼくはね！怒ってるんよ！
( ∞ )
. し-J
お前ら「どうした？」
(⌒⌒)
｀川´
(⌒─‐⌒)
((*`ω´*)) もうおこったんよ！ぷんぷんなんよ！
⊂ ⊃
. し-J
お前ら「何でそんなに怒ってるんだよ」
(⌒─‐⌒)
((´・ω・`)) ・・・・・
⊂ ⊃
. し-J
お前ら「ん？」
(⌒─‐⌒)
((´・ω・`)) ・・・ぷんぷんしすぎてわすれちゃったんよ
Ｕ Ｕ
. し-J
お前ら「・・・そうか」
134:１３２人目の素数さん
22/11/02 12:49:31.81 d2Slad6K.net
::::::::/ ヽ:::::::::::::::::::::::::::::::
:::::::::::| 現 な 闘 i::::::::::::::::::::::::::::::
:::::::::::.ゝ 実 き わ ﾉ::::::::::::::::::::::::::::
:::::::::::/ と。 ゃ ｲ:::::::::::::::::::::::::::::
::::: | ﾞi ::::::::::
＼_ ,,-'
―--､..,ヽ__ ＿,,-''
:::::::,-‐､,‐､ヽ. )ノ
:::::_|/ ｡|｡ヽ|-i､
／. ` ' ● ' ﾆ ､
ニ ＿_ｌ＿_＿ノ
/￣ ＿ | i
|(￣`' ）/ / ,..
`ー---―' / '（__ ） (⌒─-⌒)
====（ i）==::::／ ｡ﾟ (ﾟ´ω｀ﾟ) ﾟ ｡ びえええええん！
:/ ヽ:::i ﾟし-Jﾟ
135:１３２人目の素数さん
22/11/02 14:09:13.00 d2Slad6K.net
／ ￣｀Y ￣ ヽ
/ / ヽ
,i / // / i i l ヽ
| // / l | | | | ﾄ､ |
| || i／ ⌒ ⌒ | |
（Ｓ|| | （●） （●） | うわ～良スレだな～♪
| || | .ﾉ ）|
(( | || |ヽ､＿ ∀'_／| |
ノ ーﾆ- （≒） ' (( （≒）
（ |､ ,l || ＼ ｡|| ))
丶＼V （ ）＼＼／∈)
_＿,,/丶丶／／ ＼／
（ ＿ ＼／ i
＼＼_ ￣`'＼ ＼ ♪
ヽ ） > ）
(_/´ / ／
（ ヽ
ヽ_)
136:１３２人目の素数さん
22/11/02 14:47:28.69 253Lv6T2.net
京大に帰れ
137:１３２人目の素数さん
22/11/02 15:58:13.74 jXVHbEXF.net
>>126
日本数学会は認めてないだろ
138:１３２人目の素数さん
22/11/02 16:23:52.03 LXFSrQ/S.net
PRIMS関係者はタイムマシーンを今すぐ発明して論文が出るのを阻止してこい
139:よ それくらい責任があるぞ
140:１３２人目の素数さん
22/11/02 22:27:03.74 X14gDzqT.net
今更だけど、某査読付学術誌に一年以上前から掲載されてる某論文に
doi.org/10.5206/mt.v1i1.14069
>In August 2012, Shinichi Mochizuki claimed a proof of Szpiro’s
>conjecture (and hence the abc conjecture) by developing a new
>theory calledinter-universal Teichmüller theory(IUTT) [6].
>However, the proof has not been generally accepted by the
>mathematical community [72].
と書いてあったわ
diagonalさん、手遅れになってスマン<(_ _)>
141:１３２人目の素数さん
22/11/02 23:24:35.23 3wks9mgN.net
自警は記事の改善なんか興味なくて気に入らない人間を追放したいだけなんだからそんなもの提示しても無意味
142:１３２人目の素数さん
22/11/03 00:15:10.49 I6rph26Y.net
そろそろ終わりの終わり
143:１３２人目の素数さん
22/11/03 00:43:22.78 gp+SYmy2.net
>>However, the proof has not been generally accepted by the
>>mathematical community
M氏とその周辺が
理論を普及するための努力を全く怠っているわけではないという
印象だけは持っている。
144:１３２人目の素数さん
22/11/03 01:04:25.08 GlH9lX5S.net
jin経由情報だけど、ロバーツが何か書くらしい。
145:１３２人目の素数さん
22/11/03 05:40:57.79 i0muGzu9.net
ロバーツ氏に関わらず
京大RIMSは自ら「IUTTが全く新しい理論でIUT論文が完璧」
とPRIMS特別編集委員会で確定したからね。
玉川PRIMS特別編集委員会.委員長はA=AながらA≠Bといってる。
だから数学ではIUTTが間違ってすらいないからトンデモかもしれないし
オカルトかもしれない。
教育上よくないからIUTの宣伝はおやめください
146:１３２人目の素数さん
22/11/03 08:22:33.78 gp+SYmy2.net
IUTの宣伝が学部レベルにまで届くようになれば
数学の姿が大きく変化するだろう
147:１３２人目の素数さん
22/11/03 09:04:03.98 bqaAcE6H.net
>>142
A=A →A=B
148:１３２人目の素数さん
22/11/03 12:34:00.95 QhLe6/wD.net
勉強にならない話ばかり
149:１３２人目の素数さん
22/11/03 12:52:30.20 Ru1tz9um.net
数学の基礎の話だ
150:１３２人目の素数さん
22/11/03 13:26:43.53 ZhVVDHQc.net
そう、基礎論
基礎論勉強したところで普通の研究に役立つことはないけど“定義とは、命題とは、証明とは何か”くらいの説明まではせめてわかっとかないとダメ
今回の騒動の根本
151:１３２人目の素数さん
22/11/03 14:12:35.84 QhLe6/wD.net
>>147
それはたぶん根本的な認識不足
152:１３２人目の素数さん
22/11/03 14:41:52.83 ByC+yFre.net
もっと具体的な文脈で理論の意図と失敗を見なきゃ意味がないと俺は言ってるんだけどね
153:１３２人目の素数さん
22/11/03 14:53:54.71 xK+dGgSS.net
↑今日も哀憂tea☕井戸端会議
俺より出世した奴絶対許さんおじさん組合の組合員さんたちによる哀憂tea☕メンバーへの嫉妬と邪推と憶測1000%に塗れた陰口が続きます…
俺より出世した奴絶対許さんおじさん
「俺より出世した奴！絶対許さん！」
↓
154:１３２人目の素数さん
22/11/03 15:34:18.69 GnCDa9Eo.net
,.,.,.,.,.,.,.,.,__
,;f::::::::::::::::::::::::::ヽ
i/''￣￣ヾ:::::::::::i
|ノ ::::: 〆 |::::::::::|
（＞);（＜)==r─､| ／￣￣￣￣￣￣￣￣￣￣
{/( ,_､)ヽ / ノ′ ＜ 盲ひと踏ん張りで
',,ｨｪｴｦ ノ ＼＿＿＿＿＿＿＿＿＿＿
/￣ !＿＿_／ ⌒ヽ
/ ＿ / |
'、＿＿ヽ （ ￣￣ ＿/
/ ＼ /￣￣ヽ .|
| 、 | |
、 ＼＿_| | /
＼＿ | | ＿ /?´
（＿＿/ （＿＿）
,.,.,.,.,.,.,.,..,.,.
.,;f::::::::::::::::::::::::T
i:::/'"￣￣ヾ:::i
|/ ノ.. .⌒_ヾ|
.. |=（へ)=（へ)=|
{ ､/( ,_､)ヽ .｜
', .,ｨｪｴｦ ',
／ ＼＿＿_ ／、
.／ ｀ ⌒ヽ
/ ＿ / |
'、＿＿ヽ （ ￣￣ ＿/
/ ＼ /￣￣ヽ .|
| 、 | | ∬∬
、 ＼(;;U;;| | / 人i
＼＿ | | ＿ /～´ノ:;;,ﾋ=-;､～∞
.（＿＿/ （＿＿） (~´;;;;;;;ﾞ'‐;;;）
155:１３２人目の素数さん
22/11/03 15:37:46.31 +2vZnhpS.net
>>149
IUTTの目的もabc予想の証明でしょ、
HAで行き詰まり新しい数学へ。
IU幾何の北大のノートでもスキームの拡張.F1.a∈a 圏の幾何、、
を構想しabc予想を証明したいと。
結局、証明部品を寄せ集め構想したIUTTは根本的な欠点があるから
scholze氏に
「I didn’t really see a key idea that would get us closer to the proof of the abc conjecture.」とまでいわれたのでしょう
156:１３２人目の素数さん
22/11/03 15:38:50.91 GnCDa9Eo.net
／ ￣｀Y ￣ ヽ
/ / ヽ
i / // / i i l ヽ
| // / l | | | | ﾄ､ |
| || i／l|lへﾉ ,,ノ | |
（Ｓ|| | （へ） （へ) |
| || |.l|l| .ﾉ ）|
| || |ヽ､__ｨｪｴｦ_／| |
| |/ ￣┌─┐
i 丶 ヽ{ .茶 }ヽ
ｒ ヽ、__)一(_丿
ヽ、___ ヽ ヽ
と_＿＿_＿ノ＿ノ
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 f2uWvc
168:Tj.net
169:１３２人目の素数さん
22/11/03 19:05:30.96 Quho1ooJ.net
他言語版には通用しないjawp独自の常識
報道済み犯罪者の氏名を記載したら削除
履歴不継承は削除
機械翻訳そのままなら削除
170:１３２人目の素数さん
22/11/03 19:07:49.02 If8RLFJK.net
>>164
jawpってのが日本版wikiのことかな？
にしても自警って本当に悪いことしかしないんだな
171:１３２人目の素数さん
22/11/03 19:12:42.15 Ol5ll1ep.net
>>160
Roberts先生がダメだと言ってる意味がちゃんとわかってたらiutの論文のダメさ加減がちゃんとわかる
Faltings先生が否定してないなどという事がなんの意味もない事がわからんのはRoberts先生の指摘の意味が1ミリもわかってない証拠
172:１３２人目の素数さん
22/11/03 19:24:58.89 zZpO1fLL.net
山本竜太
173:１３２人目の素数さん
22/11/03 19:28:17.92 QhLe6/wD.net
>>167
Roberts先生のいうことがわかるかどうかの問題ではないと思う
174:１３２人目の素数さん
22/11/03 19:37:00.29 RTEwwFIV.net
⤴
「出世の悦びを知りやがって！
許さんぞ！」
抑えきれない(非出)セｨをぢさん💢ﾑｷｷｷｷｨｨｨｨ!💢
ｺﾁﾗ側ﾉﾄﾞｺｶﾗﾃﾞﾓｷﾚﾏｽ
↓↓↓↓↓↓↓↓↓↓↓
175:１３２人目の素数さん
22/11/03 19:37:52.97 pMBCMI2d.net
望月は証明に失敗したという問題ですね
176:１３２人目の素数さん
22/11/03 19:39:27.82 RTEwwFIV.net
じゃあ、それ
証明すればいいじゃんアゼルバイジャン
↓↓↓出来ません↓↓↓
177:１３２人目の素数さん
22/11/03 19:40:32.11 pMBCMI2d.net
その通り、さっさと望月がギャップを埋めればいいだけ
178:１３２人目の素数さん
22/11/03 19:45:39.96 RTEwwFIV.net
違いますよ
＞望月は証明に失敗したという問題
これ⤴を断定するなら、断定する側に失敗しているという証明が課せられます。
彼らは失敗したという認識は発してませんよ？
失敗している証明
が要求されてます。
179:１３２人目の素数さん
22/11/03 19:47:49.47 8jyGPlSq.net
俺がABC予想を証明したよ
嘘だと思うなら証明できてないことを証明してね
180:１３２人目の素数さん
22/11/03 19:48:23.97 If8RLFJK.net
>>173
あれだけ言われて何もしないんだから永久に何もしないでしょ
埋められるギャップならとっくに埋めてる
181:１３２人目の素数さん
22/11/03 19:48:27.83 RTEwwFIV.net
間違いを認識していない人より、間違いを断定できる人の方がその間違いは証明しやすいはずです。
人の脳は間違い探しに向いてるように出来てるそうですし、確かに間違いなく
前人未到のポストモダン数学
を開発する事に成功しているより、その間違いを証明する事の方が成功しやすく見えますよね？
証明して、どうぞ⤵
182:１３２人目の素数さん
22/11/03 19:49:07.10 dYz84+eN.net
「論文は理解できなかった。 自分の研究に時間を割くことにした」
これを「否定しなかったことの意味は大きい！」とホルホルに利用するのはアクロバットすぎるわ
183:１３２人目の素数さん
22/11/03 19:51:53.37 3E9MSoMa.net
コンセンサスを得られずもはやまともに相手にもされなくなったけど証明には成功したんだ！というのは
まぁそう言い張りたければご自由にとしか・・・
184:１３２人目の素数さん
22/11/03 19:54:39.30 RTEwwFIV.net
⤴💢ﾑｷｷｷｷｨｨｨｨ!💢をぢ怒りの猛反撃⤵
185:１３２人目の素数さん
22/11/03 19:55:56.60 3E9MSoMa.net
あーあ壊れちゃった
186:１３２人目の素数さん
22/11/03 20:01:16.64 RTEwwFIV.net
⤴そこはかとない🌺なんとなくな儚い夢とか、愛とか、幻とか、浪漫とかの、雰囲気を大事にしたい🌸ぽぇ夢を語りたぃぉ年頃。をぢさん🌼💛たちの紡ぐ果てなきぽぇ夢の欠片たち𓂃 𓈒𓏸◌*｡*🌷⤵
187:１３２人目の素数さん
22/11/03 20:02:02.61 ByC+yFre.net
まあ有能な数学者はIUTを尻目に正攻法を考える。それが全て
188:１３２人目の素数さん
22/11/03 20:39:30.26 GDgyODn/.net
ファルティングスの態度が賢い。
「金持ちケンカせず」
自分の時間を無駄にせず
論争に巻き込まれず、もっちーから
逆恨みされることもない。
海外の数学者はそれでもいいが
問題はRims。そんな論文を受理した
日本の数学界の信用はガタ落ちで
日本の数学関係者には責任も利害もある。
もっちーに対する嫉妬とかいう話ではない。
ID:RTEwwFIVはエモとかいうBBAで、こいつが
もっちーを応援するのはセタと同じ理由。
要するに自分の賭けた馬券がハズれた口惜しさであり
男を見る目が無かった、ひいては今に至るまで
続いている不幸の原因が「それだったのか！」
と再認識することになるからｗ
189:１３２人目の素数さん
22/11/03 21:02:31.86 8HW9bynv.net
エモジBBAはアタマ悪いくせにアタマいい人が好きらしいが
実はアタマいい人を見抜く能力が皆無で
他人の言葉にコロっと騙される💩BBA
哀れな更年期BBA エモジに愛の手をｗｗｗｗｗｗｗ
190:１３２人目の素数さん
22/11/03 21:06:29.49 8HW9bynv.net
もっちーは正直言って正常ではない
玉川は半信半疑
カトブンはもっちーを利用して自分が儲けることしか考えてない
弟子はいままでご利益にあずかってきたので正面切って問題点を指摘できない
ゴーはポストにありついた嬉しさでリーマン予想も解けるとか発●中（やべぇ）
191:１３２人目の素数さん
22/11/03 21:59:47.85 S8bmifBI.net
まずそもそも現代数学とは何か、いかに規定されるべきものかという事が20世紀初頭に盛んに議論、研究がされた
すなわち策定する概念、公理等の決め事を絞りこんでおくと理論に矛盾が入り込む危険を軽減できるが不便で仕方なくなり、かといって多くしすぎると矛盾が紛れ込む可能性が高まる、現代数学を記述するのに十分な表現力があり、�
192:ｵかし矛盾しない体型でなければいけない、どうすべきか実例で見よう
193:１３２人目の素数さん
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₀のそれより見やすいものとなる
このような小さい例においても論理の表現力の差は重要な意味を持つので単に無矛盾性に対する安全性だけを根拠に「概念、公理は少なければ少ないほど良い」などとは言えないとわかる
いかに処理すればよいか
194:１３２人目の素数さん
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の利便性を両立させうる事がわかる
195:１３２人目の素数さん
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に定義されている概念の範囲においては自由にいくらでも新しい概念を導入して議論して構わないわけである
196:１３２人目の素数さん
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がこの方程式の解であるからφは𝓠においては定理式である、すなわち𝓠は𝓝の保存拡大ではないし𝓠において正しいからと言って元の𝓝においても正しいなどとは言えない、すなわち𝓝における問題を𝓠において行う事はこのままではできない
197:１３２人目の素数さん
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な定義を持たない概念を導入したからと言って新しい理論が古い理論と縁もゆかりもない論理体系であるというわけではなく、場合によってはある意味前の理論を含む理論体系となる事もあり得る実例となっている
198:１３２人目の素数さん
22/11/03 22:01:29.44 S8bmifBI.net
しかしながら前例を見ればわかるようにこのような場合には一般には「前の理論の問題」を「新しい理論における問題」に還元する場合にはその“翻訳”をしてやる必要があり、そしてそのような“翻訳”が必ずしもしも存在するとは限らない、少なくともそのような翻訳の存在を保障するような理論は存在しない事に注意しなければならない
従って“前の理論”での問題をそのようなwell definedではない概念によって拡張された理論上の問題に“すり替えて”議論する場合にはそのような“翻訳”をどのように定めればよいのかを見つけておかなければならない事がわかる
199:１３２人目の素数さん
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の証明に“翻訳する”方法は与えておかなければならない、その作業を肩代わりしてくれる基礎論の先行研究などがない限りは
200:１３２人目の素数さん
22/11/03 22:02:07.97 S8bmifBI.net
ではIUTTはどうであろうか？IUTTはNBGCの保存拡大であろうか？否であるというのがRoberts先生の指摘である
何故か？NBGCはいわゆる“等号を持つ理論”である、そして等号を持つ理論上にwell definedな概念を追加して得られる理論もまた自動的に等号を持つ理論になる事が知られているのである、そしてIITTは望月先生ご自身が認めておられる通り等号を持つ理論ではない、すなわちNBGC上のwell definedな概念を追加してできた理論では絶対にあり得ないとわかる
よってもし問題「NBGC├ABC」をIUTTでの証明に翻訳するので有れば
IUTT├φ† → NBGC├φ
となるような翻訳φ†をまず与えてやらなければ話しにならない、そして望月論文にはそのような翻訳はないようである、私は望月論文をチラ読みしかしてなから断言まではできないが、少なくともRoberts先生は見つけてないし、加藤先生もそのような議論が必要である事を認めておられる
従って今現在時点では望月論文においてそもそも論としてABC予想をIUTTの問題に還元したと言える状態にすらないと言えるだろう
ABC予想は未だ予想であると言える
201:１３２人目の素数さん
22/11/03 23:02:08.09 8HW9bynv.net
>>187-195
なんかド素人が集合論の初歩文章をコピペしてイキ違ってるなｗ
Robertsは「IUTTはNBGCの保存拡大であろうか？」なんて
ペダンティックな馬鹿語は使ってない
単純にａ＝ｂかつａ≠ｂなんて矛盾はアウトとズバリ言ってるだけ
で、それは実はScholzeが言い出したことでRobertsは只の受け売りｗ
202:１３２人目の素数さん
22/11/03 23:05:16.06 8HW9bynv.net
はっきりいって、Cor3.12自体がおかしな命題であって
それをおかしな屁理屈で正当化しようとしたのがIUTT
もしCor3.12自体が偽だと明確に示されたら
IUTTも全く無意味として抹殺できる
いずれ誰かが示すだろうがね
203:１３２人目の素数さん
22/11/03 23:06:35.11 CAwyAIbx.net
⤴こういうのでいいんだよ
（品行方正な証明使用悪口はｽｩｩ…楽人の習性）
＼男見る目🍐!／
＼ﾊｽﾞﾚ券!／
(>>185)ﾊﾟﾝｯ!(>>184)
・Σ(ーΣ)ーー🔥(🔫∝)
ヾヾ √√
204:１３２人目の素数さん
22/11/03 23:08:08.34 8HW9bynv.net
いわゆる「エッシャーの階段」にあたるウソ論法を具体的に特定すれば
Cor3.12の具体的反例が構築できる筈
205:１３２人目の素数さん
22/11/03 23:08:46.23 CAwyAIbx.net
⊂(>>185⊂) )⊃
206:１３２人目の素数さん
22/11/03 23:09:38.64 8HW9bynv.net
エモジの人を見る目は全然ないが
エモジの使い方はセンスがあるｗ
207:１３２人目の素数さん
22/11/03 23:12:15.46 8HW9bynv.net
エモジが五百城茉央くらい可愛くて性格もよければウレシイんだがｗ
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
208:１３２人目の素数さん
22/11/03 23:14:41.30 CAwyAIbx.net
＼ｧﾀﾏｨｨ人見抜ｸ能力皆無!／
・ー(>>185)Σ🔫
( )∨
ヾヾ
209:１３２人目の素数さん
22/11/03 23:19:02.90 CAwyAIbx.net
…こうして>>185は2度しんだ…
イキナリ直ぐ上の人物から撃たれ、自らを撃ち抜いてしんだ…
運が悪く、アタマもそれほど良くﾅ…ｹﾞﾎｯ…
急に撃たれて>>185ｯﾁｬﾏ…ｶｧｨｿｩ…ｶｧｨｿｩ…
自分で自分を撃っちゃって…
…ｶｧｨｿｩ…ｶｧｨｿｩ…
210:１３２人目の素数さん
22/11/03 23:23:08.77 CAwyAIbx.net
よゐｽｩｩ…楽人の皆ｯﾁｬﾏゎ、良く考えなぃで勢ぃでぉ話しちゃって、ぉ隣の誰かを気まずくさせなぃょぅに、気を付けてぉ話、しょぅね!
嵐とのぉ約束だょ!?ｮｯ!?
|=3
211:１３２人目の素数さん
22/11/03 23:35:07.04 8HW9bynv.net
ところで、最近このコもいいんじゃないかと思ってるｗ
正源司陽子
URLﾘﾝｸ(www.dailymotion.com)
空手、カッケェ―ｗ
212:１３２人目の素数さん
22/11/03 23:40:26.97 dqQ9wuqV.net
そぅ、🍄が勘着く時が来たのﾀﾞ…
>>185ｯƾｬﾏにゎ、Cor3.12自体を偽(だと明確に証明ゎでき)なぃです。
とぃぅことに…
うっかり階下の住人を撃ってしまぅぅっかり者の>>184ｯﾁｬﾏと、うっかり自⚫してしまぅぅっかり者の>>185ｯƾｬﾏ達でゎあったが、その定義に間違ぃゎ、無かったのだ！
定義だもの。
213:１３２人目の素数さん
22/11/03 23:42:48.04 dqQ9wuqV.net
もぅ寝るぉ
214:１３２人目の素数さん
22/11/03 23:43:17.20 8HW9bynv.net
んー、Scholzeにはできるんじゃないかなｗ
ま、別にフィールズメダリストじゃなきゃできないほどむずかしい話じゃなくて
学部生レベルでできそうなチャチいもんだと思ってますがｗ
215:１３２人目の素数さん
22/11/03 23:44:15.13 8HW9bynv.net
オレも寝るわ じゃあな エモジｗ
216:１３２人目の素数さん
22/11/03 23:49:39.10 CAwyAIbx.net
|ﾎﾟｨｯ!🐑Σ(>>210)
|彡 ∝( ))
| √√
217:１３２人目の素数さん
22/11/03 23:53:40.93 CAwyAIbx.net
🐑持ってぁく寝るんだょ
ぁくしろょ!
ナマギリ女神に出会ぃ系すんだょ。
Corﾅ312🦠退治すんだょ
ぁくしろょ
ｧｸｧｸｧｸｧｸｧｸ…
ぉｬｽﾐﾅｯｽ!
218:１３２人目の素数さん
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_,ノ′
219:１３２人目の素数さん
22/11/04 18:41:25.34 VyrDCXrk.net
／ ￣｀Y ￣ ヽ
/ / ヽ
,i / // / i i l ヽ
| // / l | | | | ﾄ､ |
| || i／ ⌒ ⌒ | |
（Ｓ|| | （●） （●） | 取り戻したぞ、アタイの肉体！！
| || | .ﾉ ）| 妨害厨（アンチ）どもを皆殺しだ！！
(( | || |ヽ､＿ ∀'_／| |
ノ ーﾆ- （≒） ' (( （≒）
（ |､ ,l || ＼ ｡|| ))
丶＼V （ ）＼＼／∈)
丿丶丶／／ ＼／
=＝＝=＼／＝===
（ つ ＼ ♪
＼ ＼ ＼
＼ ） ）
／ ／ ／
( ヽl ヽl
Vヽ_つ､_つ
220:１３２人目の素数さん
22/11/04 18:41:51.04 VyrDCXrk.net
,.,.,.,.,.,.,.,..,.,.
.,;f::::::::::::::::::::::::T
i:::/'"￣￣ヾ:::i
|/ ノ.. .⌒_ヾ|
.. |=（へ)=（へ)=|
{ ､/( ,_､)ヽ .｜
', .,ｨｪｴｦ ', ●
＼＿＿_ ／ ● ∂
（￣￣￣￣┴- ●
| （ *≡≡≡≡三゛。・ ブシャー！！！
/ / ∧ ＼ ● ●
/ / / ＼ ＼
/ / （￣） | |＼ （￣） ●
/ （ ノ （ | | ＼ ﾉ （
⊂- ┘（ ） └--┘ （ ）
ＵＵＵＵ ＵＵＵＵ
221:１３２人目の素数さん
22/11/04 18:42:10.17 VyrDCXrk.net
ィ⊃
じ :∩
) ) ) ⊂ヽ ヽヽ
( ( ( ):) :∩ ｀J
人 喰らえ～ウンチ花火 じ :ヽヽ プポポポポポポポ～ン
（;;;;;;;;） :∩ ∴ じ ・∴ﾟ
（;;;;;;;;;;;;;;;;） タマヤ～ ヽヽ ⊂ヽ
（;;;;;;;;;;;;;;;;;;;;;;;） じ :∩ :):)
i::::::::::::::::::::::::ｉ っ ﾟ∩ :ﾉﾉ ﾟ し′
i:::/'"￣￣ヾ:::| っ ﾉﾉ ∪ ∩
|/ ノ.. .⌒_ヾ| ｡:∪・ ⊂ヽ ﾉﾉ :∩
|=（へ） （へ）=|ﾉ⌒Y⌒＼ :）:） じ :ﾉﾉ ｡
| ､/( ,_､)ヽ | ノ ） じ :∩ 。 ( (
ヽ ,ｨｪｴｦ / ｜ . ヽヽ ヽj
＼＿＿_／ | ノ | ∩ じ ∩ :∩
| |―| |￣~| ﾚ⌒ヽ ﾉﾉ :ﾉﾉ ∵ :ヽヽ
222:１３２人目の素数さん
22/11/04 18:43:17.46 VyrDCXrk.net
,;f::::::::::::::::::::::::::ヽ
i/''￣￣ヾ:::::::::::i
|,,,,_ ,,,,,,_ |::::::::|
ゝ::｡:);（＜)==r─､| ひ～ん
.
223: （''''(__..:: ,,,U/ ノ もう我慢できないのさ～ . ',┃=-(;;;;ノ/' !＿＿_／_>､,,..- ､ rｰ―__―.' .-'' 々i ! ﾒ ￣｀. ´ ￣｀ .ﾉ .'- .ｨ # .「 , ' . | :｡:: ﾒ :｡:: ! i ﾄﾞｩｸﾄﾞｩｰﾝ!! ノ # ﾒ ヽ、 , ' ヽζζζ , ' ヽ .{ _.ト、 Yl| |iY # ,イ .} '､ >.ト. ' Ｕ. ' イノ .ﾉ ' .,,_ ___ ノ-^-`､ ___.... - ' 、∥ ●●● ﾌﾞﾁｭｯ ﾌﾞﾘｭﾌﾞﾘｭ ●● ●● ● ●●
224:１３２人目の素数さん
22/11/04 19:33:23.25 UBcMYJ10.net
>>176
PRIMS特別編集委員会は全く新しい理論IUTTのIUT論文は完全
でabc予想が証明されたと断定した。
全く新しい理論IUTTと現代数学のギャップは論文が完全だから
固定され今後修正は禁止された
225:１３２人目の素数さん
22/11/04 19:47:19.82 JXuShp4/.net
>>218
宗教の経典ですかね……
あるいはプログラミング言語の仕様書とか。
226:１３２人目の素数さん
22/11/04 19:57:55.75 Y5zaFpPJ.net
>>219
>プログラミング言語の仕様書
なるほどw
227:１３２人目の素数さん
22/11/04 20:04:26.54 M61JPxJy.net
>>216
IUTを擁護しようとすると
こんな書き込みしかできねーわな
哀れ
228:１３２人目の素数さん
22/11/04 22:53:53.90 Mvqfy0HP.net
アンチの偽旗作戦に決まってるでしょ
バカなの？
アンチなの？
229:１３２人目の素数さん
22/11/05 06:56:33.43 l3k4aC6N.net
全く新しい理論なるIUTTは数学から派生した数学もどきでなんでもあり、
IUT応援サポの信者たちが数学と科学を打ち壊している
230:１３２人目の素数さん
22/11/05 07:07:38.26 PRE5ljdK.net
>>223
今のところ全然壊れてないけど？
231:１３２人目の素数さん
22/11/05 07:17:19.69 Kf7ACvRs.net
,.,.,.,.,.,.,.,.,__
,;f::::::::::::::::::::::::::ヽ
i/''￣￣ヾ:::::::::::i
|ノ ::::: 〆 |::::::::::|
（＞);（＜)==r─､| ／￣￣￣￣￣￣￣￣￣￣
{/( ,_､)ヽ / ノ′ ＜ 盲ひと踏ん張りで
',,ｨｪｴｦ ノ ＼＿＿＿＿＿＿＿＿＿＿
/￣ !＿＿_／ ⌒ヽ
/ ＿ / |
'、＿＿ヽ （ ￣￣ ＿/
/ ＼ /￣￣ヽ .|
| 、 | |
、 ＼＿_| | /
＼＿ | | ＿ /?´
（＿＿/ （＿＿）
,.,.,.,.,.,.,.,..,.,.
.,;f::::::::::::::::::::::::T
i:::/'"￣￣ヾ:::i
|/ ノ.. .⌒_ヾ|
.. |=（へ)=（へ)=|
{ ､/( ,_､)ヽ .｜
', .,ｨｪｴｦ ',
／ ＼＿＿_ ／、
.／ ｀ ⌒ヽ
/ ＿ / |
'、＿＿ヽ （ ￣￣ ＿/
/ ＼ /￣￣ヽ .|
| 、 | | ∬∬
、 ＼(;;U;;| | / 人i
＼＿ | | ＿ /～´ノ:;;,ﾋ=-;､～∞
.（＿＿/ （＿＿） (~´;;;;;;;ﾞ'‐;;;）
232:１３２人目の素数さん
22/11/05 07:57:37.01 cEuYpoO9.net
>>224
abc予想を打ち壊しているな
233:１３２人目の素数さん
22/11/05 10:24:18.68 9yxh32zi.net
もう人種差別カード切るしかない
コケイジアンに差別される可哀想なエイジアンってことで馬鹿な大衆は騙される
数学界の中でのダメージは既になされたので今後一般大衆へのダメージコントロールが重要
PRIMS編集委員会は過去ショルツがしたアジア人への差別発言を探し出せ
存在しないなら他の黒人等マイノリティーへでも可だが押しは弱いか
いずれにせよポリティカルコレクトネスに全賭けするんだ
234:１３２人目の素数さん
22/11/05 10:37:34.08 n7Swb/Pp.net
朝から斬新な知見の書き込み素晴らしいです
数論を極めてらっしゃる方は違いますね
ご講説についていけるように勉強させていただきます
235:１３２人目の素数さん
22/11/05 10:56:06.97 n7Swb/Pp.net
日本の数学界にもまだまだこれだけ有望な先生方が控えてらっしゃるので安心致しました。
これでRIMSの先生達がコケても後任にはこういう有能な方々がいくらでもいらっしゃるようですから数論の発展が期待できますね
236:１３２人目の素数さん
22/11/05 12:09:13.14 UtpMQnRZ.net
寂しい老後を送られるんだろうな。お察しします
237:１３２人目の素数さん
22/11/05 12:16:29.64 mxwLEYrW.net
本当にコケてしまったのか？
238:１３２人目の素数さん
22/11/05 13:53:35
239:.77 ID:BsjNNB81.net
240:１３２人目の素数さん
22/11/05 14:14:59.56 pkc16DFq.net
>>231
何？まだイケると思ってるのか？
241:１３２人目の素数さん
22/11/05 14:23:14.81 mxwLEYrW.net
論文が取り下げられるまでは
242:１３２人目の素数さん
22/11/05 16:53:47.22 gnngaRd1.net
まぁ論文は取り下げないんだろうな
別スレで整数論のサマースクールのプログラム貼ってたけどズラッとrimsの面々の名前が並んでた
プログラム責任者がiutの周辺の人で予算もそっちの方から来てるんやろ
iut論文取り下げたら予算回ってこなくなるし、結果こういう研究発表の場もぐっと制限されてしまう
そもそも望月論文はiut系の研究全ての根拠論文でこれがこけたらiutという研究分野全体の根幹の部分がこけることになって予算云々以前に研究分野としての存続意義が疑われてしまう
243:１３２人目の素数さん
22/11/05 16:58:41.57 mxwLEYrW.net
このスレの存続意義は那辺にありや
244:１３２人目の素数さん
22/11/05 18:00:33.45 GdZr46Ql.net
>整数論のサマースクール
すでにこのスレにレスがあったよ
RIMSは遠アーベル幾何学とIUTの違いを
明確に説明すべきだね
245:１３２人目の素数さん
22/11/05 18:06:33.74 HtRP2sLi.net
>>235 それこそ墓場まで持っていくんでしょうね
あいつらみんな地獄行きだな
246:１３２人目の素数さん
22/11/05 18:14:27.70 Q6gsdgP6.net
互いに互いを参照することで信用を高めていく作戦じゃないかな
247:１３２人目の素数さん
22/11/05 18:26:42.04 b+W23d63.net
>>235
＞まぁ論文は取り下げないんだろうな
まぁショルツェがCor3.12の「初等的反例」を示して
「望月新一のパラドックス」とかいう名前で
永遠に語り草にされるんだろうな・・・自業自得だけどｗ
248:１３２人目の素数さん
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が全く新しい理論だからだ
249:１３２人目の素数さん
22/11/05 21:23:57.85 WNfrMpg7.net
任期付きの定理
250:１３２人目の素数さん
22/11/05 21:41:50.08 e/p+OVDI.net
誰かq>1.5の部分の表を書いてよ。
c<10^19より大きなcの部分も。
251:１３２人目の素数さん
22/11/05 22:09:34.61 e/p+OVDI.net
wikiのabc予想のページから林瑠奈の記述が消されちゃったな。
252:１３２人目の素数さん
22/11/06 13:07:10.59 eNAxW3hg.net
IUTT 関係者と思しき人が書き込むとアンチが雲散霧消・散蜘蛛子しますね
253:１３２人目の素数さん
22/11/06 13:17:50.70 MQUCmJNZ.net
はぁ？こんなのが関係者だぁ？いくらIUTTが言い訳のしようが無い所まで追い詰められてるからって
関係者ならもっとマシな書き込み出来るだろ？何だまた、信者が自ら
関係者の格を下げる様な書き込みして｡
やっぱり、どこの業界でも、どんな擁護でも、浅ましく無理矢理な擁護は、アンチ以上のネガキャンに成るな｡
254:１３２人目の素数さん
22/11/06 15:56:43.66 C0Hvks2+.net
アンチは応援サポレベルの用語
255:１３２人目の素数さん
22/11/06 19:42:56.71 3oKylFl8.net
本人ももうダメと思ってるじゃないのかな？
それで死ぬまで、たまにテレビとかに取り上げられて
一喜一憂して、躁鬱みたいな状態を繰り返すんじゃないかな？
256:１３２人目の素数さん
22/11/06 21:15:39.30 wcZTKbBb.net
リーマン予想も解けたつもりになっているかもしれない
257:１３２人目の素数さん
22/11/07 10:01:43.92 XJmeTcYS.net
>>242
そろそろ無期転換かな
258:１３２人目の素数さん
22/11/07 10:06:13.15 NgHOXSSh.net
散蜘蛛子って「蜘蛛の子を散らす」という意味なんだろうけどこんな言い方するの？
ググっても出てこない
259:１３２人目の素数さん
22/11/07 12:01:37.21 quGd4Ht+.net
PRIMSはIUT論文は全く新しい理論IUTTによる。論文は完全だからabc予想が証明された、として論文を受理した。
一方IUTT共同構築者加藤文元氏から「IUTTは、現今の数学との
違いをきちんと完全に言語化する、新しい数学の言語体系を、
早急に作らなければいけない」とNスペでコメントしIUTTによるIUT論文は未だに不完全性と指摘した。
全く新しい理論IUTT望月コミュニティ内でデュプイも含め
意見の相違があるね、、
信奉者のデュプイによれば謎のIUT語が望月コミュニティ内で
完成するのは200年のちみたい
260:１３２人目の素数さん
22/11/07 13:42:17.47 4u7Yd2qR.net
そうだ（ピコーン💡）
弟子たちの手でABC予想をちゃんと証明するって解決策はどうよ？
日本の恥のままにもならないし
ちゃんとした数学に貢献できるし
良いこと尽くめのソリューションの気がする
261:１３２人目の素数さん
22/11/07 13:54:14.68 sdqTqJEo.net
蜘蛛の子を散らす様に逃げる
は中国語訳でも
向四處逃散
と書く様だな
下手気に自己流に漢文化して書いてみちゃったのか？
262:１３２人目の素数さん
22/11/07 15:35:52.80 r4hUlfAE.net
) ) )
人
（;;;;;;;;）
（;;;;;;;;;;;;）
（;;;;;;;;;;;;;;;;）
（;;;;;;;;;;;;;;;;;;;;）
（;;;;;;;;;;;;;;;;;;;;;;;） 皆いつも応援ありがとうなのさ～
（;;;;;;;ω;;;ω;;;;;;）
（;;;;;;;;;;;;;;;;;;;;;;;;;;;） つ いにみ かぎられたけど障がないさ～
', ー=ー /
/ ヽ＿＿_／ヽ∩
/ l三 |
l ∩ ヽ.__|
＼ ( ) ／
ヽ i! /
（___／ ＼___）
263:１３２人目の素数さん
22/11/07 15:35:59.16 r4hUlfAE.net
ノ）
（;:.:.__）
（;;:::.:.__::;）
（;;:_:.__ﾟ.:.:⌒)
（;;;::｡:.. :;+;::;;｀）
,;f::::::::::::::::::::::::::ヽ
i/'"￣￣ヾ:::::::::::i
|,,,,_ ,,,,,,_ |::::::::|
（＞);（＜)==r─､|
{ (__..:: / ノ′ いっぱいでるのさ～
', ==一 ノ
!＿＿_／_>､,,..- ､
rｰ―__―.' .-'' 々i
! ﾒ ￣｀. ´ ￣｀ .ﾉ
.'- .ｨ # .「 , '.
| :｡:: ﾒ :｡:: ! i
ノ # ﾒ ヽ、
, ' ヽζζζ , ' ヽ
.{ _.ト、 Yl| |iY # ,イ .}
'､ >.ト. ' Ｕ. ' イノ .ﾉ
' .,,_ ___ ノ‐i !- ､ ___ ...- '
. i;!;|:.
. -=::;:..;:|:i::i;:~:..:;;.:ﾆ=-
-=ﾆ::;;:~:;;::_i:;:|:li:~::;;:_ﾞ;::ﾆ=-
. . .:. .:..:,:,: :;:.;;':,:,.,:';;';;';';;;:;.:..::....
264:１３２人目の素数さん
22/11/07 15:48:06.93 NKH32F7r.net
>>243
q>1.6の部分もね。
q>1.7の部分が全て0になるというのも書けるだろう。
しかし書かない理由は、分�
265:ｩりやすくなってしまうから。 分かりやすくしすぎないというのも手口なんだよな。
266:２４５
22/11/07 15:57:45.09 Oehrvnp7.net
>>254
大正解！！
おめでとう、アナルおそうじ券差し上げます。
歌舞伎町で待機お願いいたしやす。
267:１３２人目の素数さん
22/11/07 16:00:00.72 NKH32F7r.net
本来の論点はcが大きな場合だな。
なにしろ計算機科学で大きな桁数の値の素因数分解が難しいという背景がある。
現在、python3のdecimalで桁数が999999999999999999までの値を扱える状態だが、
もっと大きな桁数の計算をしなければいけないところまで持っていく必要がある。
268:１３２人目の素数さん
22/11/07 16:10:32.07 qWer/HiA.net
日常ではもうIUTの話題を挙げるなんて、まだそんなこと言ってるの？って、恥ずかしくて出来んわね。世界中でここだけやな
269:１３２人目の素数さん
22/11/07 16:24:49.69 NKH32F7r.net
ABC予想については少なくとも毎年話題にするだろ。
進学したりする奴らに数学的な話題も提供しなきゃいけないからな。
その時にIUTが付いてくる。そういう意味で使いやすいんだろう。
270:１３２人目の素数さん
22/11/07 16:34:35.39 NKH32F7r.net
長年経っているが、
log(23^5)/log(2*3*109*23)
の計算式がwikiのABC予想のページに載っていないな。
この式を書けばもっと分かりやすい。
新発見が前提だったのかもしれないが、長年新発見されていない。
271:１３２人目の素数さん
22/11/07 16:57:01.43 Z/ONFi4o.net
結構物凄い面白いネタなのは確かだな
何せあれだけの膨大な論文書いてんだぜ？前代未聞だよ
272:１３２人目の素数さん
22/11/07 17:39:18.23 NKH32F7r.net
Πについての呼び方が定まっていない。
キャピタルパイ・ラージパイ・ピー(π「パイ」と異なる呼び方であればよいという風潮)。
273:１３２人目の素数さん
22/11/08 08:32:53.40 JrB29meO.net
>>253
弟子ならHAに行き詰まり全く新しい理論のIUTTになったから
現代数学とIUTTの違いを言語体系IUT語から完成させるしかない。
PRIMSはIUTTによるIUT論文を完全とし受理したから先ずIUT論文を
取り下げIUTTを根本的に修正するしかない。
望月IUTTコミュニティ内部から全く新しい理論IUTTでもabc予想の証明が
未完成と指摘されたことには呆れた
274:１３２人目の素数さん
22/11/08 18:54:25.74 Q+g0m3oh.net
双子素数で成果をあげたあの数学者がリーマン予想にも挑戦していた
URLﾘﾝｸ(gigazine.net)
275:１３２人目の素数さん
22/11/08 19:30:16.46 Obden0Fw.net
日本にもパンチのきいた数学者いねーのか？
276:１３２人目の素数さん
22/11/08 19:49:47.28 thA/7m8q.net
2022て…
277:１３２人目の素数さん
22/11/08 21:21:43.02 jUgL9Yxn.net
>>267
いない
ブラジルから有名な天才数学者が殆ど出てこないのと日本は同じ
数学先進国でない国から突然天才が降って湧いてきたりはしない
278:１３２人目の素数さん
22/11/09 13:15:50.76 o69fbHeU.net
ブラジルって熱帯幾何学の発祥地じゃなかったか？
AITのチャイティンもリオだったような
279:１３２人目の素数さん
22/11/09 13:52:49.43 EVKDS5cj.net
>>260
キミのような輩が滅ばん限り永遠に不滅なんだわ www
280:１３２人目の素数さん
22/11/09 14:13:41.81 0OlH/AbL.net
伊原エッセイは興味深い。
伊原先生の定理がabc予想のIUT論文4部で引用されているが全体
を理解できないとか、数論幾何にIUT論文などの長文読解が必�
281:{に ついて批判的であるとか。 退職後は数学(数理、シャボン玉音楽)を研究されているとある
282:１３２人目の素数さん
22/11/10 01:15:19.01 Q03mTmpj.net
京大当局に呼び出されたことがあるらしい, 不祥事疑いで(秘)
で嘘ついて逃げ切ったらしいwww
283:１３２人目の素数さん
22/11/10 02:28:01.22 LCZhOfSw.net
>>273
伊藤先生が？
284:１３２人目の素数さん
22/11/10 08:50:42.08 0Tv4/FtQ.net
国際的な仲間から孤立して対話がないのはよろしくないと思うけど
個人的な体験に起因していそうだから残念だとは思う。
でもこれでIUTTが役立たずで葬り去られるとやっぱりちゃんと世間に出ていって
批判等うけながら交流していかないと学芸は進まないということになるなぁ。
ショルツェたちも呼ばれたとはいえちゃんと京都にきてくれたのだしね。
285:１３２人目の素数さん
22/11/10 08:51:43.99 rxGobEIe.net
>>267
秋山仁がボクサー上がりと聞いたが？
ただし、ボクサーの方はともかく数学者に入れて良いのかは知らん。
ｽﾚﾘﾝｸ(math板)
286:１３２人目の素数さん
22/11/10 09:11:01.18 r8MOFp9H.net
建築家の安藤忠雄と勘違いしてねーか？
287:１３２人目の素数さん
22/11/10 12:14:15.95 1DhnfbG2.net
ボクシングのタイトルマッチを見た後の
セミナーの発表は
不思議にいつもよりずっと出来が良かった
288:１３２人目の素数さん
22/11/10 13:38:03.26 Tf/Qo7rr.net
>>272
やたら長い論文多いもんな
構造的な哲学みたいな感じであんまり応用できないのもあるw
289:１３２人目の素数さん
22/11/10 23:01:52.90 ZYlid04y.net
ファルティングス氏も伊原先生も理解できない妙に長いIUT論文は
特殊ですね。
理解できないにも色々な場合がある
290:１３２人目の素数さん
22/11/10 23:01:52.97 8pSipC0m.net
2024年でabc予想証明10周年記念ってことになるんか？
291:１３２人目の素数さん
22/11/10 23:24:26.70 ZYlid04y.net
先ず2026年がRIMSのみabc予想が解決10周年記念。
・2016年6月 RIMSの現況調査表に、IUT論文の査読中ながら
IUTTの構築よりabc予想が解決と記載あり
292:１３２人目の素数さん
22/11/10 23:26:47.48 NtDoMuSQ.net
この際“解決10周年記念講演会”とかやったらいい
293:１３２人目の素数さん
22/11/10 23:29:32.77 CZluQWl+.net
2005年には何か記念講演会があった？
294:１３２人目の素数さん
22/11/11 12:23:18.47 2xc/BD+i.net
>>270
トロピカル幾何学の名前は、ブラジル人数学者に敬意を表して付けられたが、
概念自体は様々な数学者に独立に開発されて、
基礎づけもロシア人かつフランス人のマキシム・コンツェビッチなどによって行われた
チャイティンがグレゴリーチャイティンのことなら、アルゼンチン系アメリカ人
295:１３２人目の素数さん
22/11/11 17:45:59.99 O3KkN4ho.net
>>275
>国際的な仲間から孤立して対話がない
PRIMSの形式的「論理的な」擁護の「全く新しい理論IUTTに
よるIUT論文は完全だから受理しabc予想は証明された」も、
Nスペの玉川PRIMS特別編集委員長と特に加藤文元東工大教授のコメント
で実質的に「完全」が否定された。
Nスペは海外の数学者も見ているし、あとはscholze stix氏へ
罵倒の謝罪するべきだ、自業自得
296:１３２人目の素数さん
22/11/11 18:46:30.67 5Li6h9+l.net
そんなもん謝罪するわけがない
謝罪したり、過去の過ちをなおしたりしたら、信用されて�
297:A道が開けたりすることもあるかもしれないが まあ、ずっと苦しむのみ
298:１３２人目の素数さん
22/11/11 19:06:42.47 nPx3kvqh.net
謝罪するのは実数論と独立なIUTTなんかで証明宣言したRIMS
同じ実数論外での証明でも
一般連続体仮説を超限帰納法で証明したのと
ABC予想をIUTTで証明したのとでは
状況が全然違う
299:１３２人目の素数さん
22/11/12 01:14:32.86 9HnyDg8i.net
謝罪できるほどには器が...(笑)
300:１３２人目の素数さん
22/11/12 07:56:26.80 r4QYDURa.net
>>289
所詮、ノミのごとき超小物でしたな 望月新一は
301:１３２人目の素数さん
22/11/12 09:04:36.82 zSON5trv.net
その超小物の長大な論文の掲載を決定したPRIMSは
輪をかけて超小物なのであろう
302:１３２人目の素数さん
22/11/12 09:48:00.85 r4QYDURa.net
RIMS もう完全解体でいいんじゃね？
京大があるんだからいいだろ
303:１３２人目の素数さん
22/11/12 10:55:54.74 r/tIeki1.net
RIMSは小物界の大物
真に大物になるにはヒューマニティーからの独立しかない
１＝２が成立する数学天国で望月御大筆頭にお花畑数学をエンジョイしまくる
旧来の数学とはおさらばさ
304:１３２人目の素数さん
22/11/12 11:33:56.18 zjkANmF5.net
10年かけて誰もまともな解説一つしないなんて異常
305:１３２人目の素数さん
22/11/12 11:37:08.15 eSvPfyZg.net
Roberts先生の指摘はホントにわかりやすくていい指摘だった
iutに“とどめを指す”類いのものではないけど少なくとも現在の望月論文が全く不十分なものである事はこの指摘で十分に明らかになった
あとどうするかはもう京大の人が決めるしかないね
本来望月論文がダメならそもそもiutは現時点でなんの数学的成果を何にも得ていない事になる、そんなものを研究ジャンルと位置付けていいのか、予算つけていいのかから考えないといけなくなる
もちろんそれもこれもprimsが判定覆すか望月先生が論文撤回するかしないと始まらない話ではある
なのでおそらく世論の関心低い事を使ってこのままダンマリ決め込むつもりなんでしょ
他の数学者も横から口出ししても、面倒な事に巻き込まれるだけでしかも金銭的にも業績評価の上でも一文の得にもならない事などやらないから誰も告発などもしない
このまんまだろうな