Interuniversal geometry とABC 予想61
(420ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
321(2): 07/20(月)07:48 ID:joumQYeu(6/8) AAS
てか誰かも言ってたが、トートロジー的閉ループを構成する証明ってたぶんLEANは向いてないよな
キュービカルAgdaとかでHoTT使わないと計算できないってLEANやってるとわりと色々なAIが言う話だ
俺の独自物理理論もそれだし、IUTもどうやらそれだと今回はっきりしたろ
問題はキュービカルAgdaにはmathlibがないことだろうけどね
LEANにHoTT導入するならunivalenceはどう足掻いても公理化するしかないからその部分は計算不可だし
LEANをcubical Agdaに変換するAIが求められるな
329: 07/20(月)09:41 ID:fLoZ2FvT(1) AAS
>>321
>俺の独自物理理論
具体的には何ですか？
加藤文元がいう望月新一語で書かれた
全く新しい数学のIUTはトンデモですが、これと同類ですか？
トンデモを精密化しても出力は
ガラクタのトンデモ
335: 07/20(月)13:01 ID:AtZID/Oc(7/10) AAS
>>321
数学に向いてないんよ
数学になってないゴミだから
>>312
ほんと短絡的なキチガイ妄想で生きてんだな
生まれつきなのか？それ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s