[過去ﾛｸﾞ] Inter-universal geometry とABC 予想56 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
206(3): 2024/06/15(土)02:07 ID:vRJUw1dI(1) AAS
基礎論的な問題ではないだろう。
少なくとも望月本人は既存の集合論の範囲から逸脱するようなことをしてる意識はない。
207: 2024/06/15(土)02:10 AAS
>>206
文元は逸脱してるって言ってる
208(10): 2024/06/15(土)02:14 AAS
>>206
これに関して望月は反論できずに逃げてるだろ
致命的すぎる
外部ﾘﾝｸ:thehighergeometer.wordpress.com
235(1): 2024/06/15(土)13:36 ID:Xgd8FQb/(1/5) AAS
>>234
一行目はガチで気がかりだよね
>>206
むしろ基礎論的な問題ではないからこそ形式化のチームを作ったほうがよい
論理学に関わってる連中は数学の中からわざわざIUTを選ばないが、高い報酬で
誰かが音頭を取ればやるだろう
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.226s