Interuniversal geometry とABC 予想59  

[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59   (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

244(1): 2025/12/06(土)19:13 ID:MxPf/F6G(2/2) AAS
機械判定にかけるってことは論理、言語、非論理公理をfixするってことだよね？　それ公開して欲しい
でもしないだろうな　延命目的だろうから

245: 2025/12/06(土)19:23 ID:qakIGKJ2(4/4) AAS
>>244
検証するとはどういうことか
詳細を公開しないことは有り得ないでしょ
チャンと公開してくれると思うけれど
4色問題の時もアルゴリズムや
プログラムは論文内で公開されてたと思った