[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
83(1): 2025/11/17(月)23:02 ID:G/rJPCwa(1/7) AAS
まぁなんでもやってみたらいい。
iutが既存の数学体系に乗るならLeanが保証してくれる。
乗らないならどんな言語体系、推論体系持つのか、望月先生によれば学部生でもできるらしいから、ゲンツェンなりヒルベルトなり横目で見ながらiut基礎論自作してiut版leanでも作って通して見せればいい
86(1): 2025/11/17(月)23:10 ID:0A35TjVy(9/13) AAS
>>83
FLTの形式化は未だです
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.200s