[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
24: 2024/08/19(月)21:26:48.07 ID:XkoZDfP9(1) AAS
>>21
若手モメサしてるのって野党の工作むちゃくちゃ多い
たかちほだいがくってある本棚のどこかに逃げたからから真相はわからんか
え？そんなことするはずない！と信じ込めるの怖い
何回立てて草
397(1): 01/21(火)08:12:30.07 ID:qLfRD6wK(1) AAS
本物かどうかが重要なのは査読ではなく
論文のほうなのだが
609(1): 06/04(水)13:20:51.07 ID:8zrDp/9i(6/6) AAS
わかる人は２０人とどこかに書いてあったが
629(2): 06/05(木)01:30:48.07 ID:Bw2dEODy(13/26) AAS
【IUT理論をめぐる望月側と批判側（Scholze-Stix）の議論の総合整理】
— 両者の主張・正当化・根拠・反証の論点別まとめ（出典付）
⸻
1. 望月側が具体的に正当化できていること
(a) ラベル再初期化（re-initialization）と種（species）・poly-isomorphismの不可欠性
• 主張内容：
• 証明には各「世界（ホッジシアター）」間のラベル区別・再初期化が本質的。
省17
717: 06/07(土)12:27:09.07 ID:7dNqVJgc(41/57) AAS
つまり
人間の自然言語⇄数学論文・教科書の数式⇄自動証明支援系言語⇄自動証明支援システム
みたいな複合システムにした場合相当広範囲のことが出来るようになる
757: 06/08(日)07:05:27.07 ID:cYYLjQao(1/2) AAS
AA省
759: 06/08(日)12:29:25.07 ID:xpWVodGL(1/3) AAS
>>758
中卒無職は死ね
999: 06/15(日)11:11:24.07 AAS
>>794
この中卒無職(小中学校不登校でお情け郵送卒業証書)ヤバすぎる
義務教育で習う背理法を理解しておらず
物理学の全く無関係な概念を背理法と勘違いしてコピペしまくり
義務教育すら受けてないことを自白しまくってる
義務教育受けてないとかバレたら自殺するだろ
恥ずかしすぎるだろ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s