Inter-universal geometry と ABC 予想 46

[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 46 (1002ﾚｽ)
上下前次 1-新

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

134: 2020/04/04(土)22:26 ID:fQZCog0l(7/11) AAS
数学者が提案した公理系を実装したコンピュータプログラムを実行した結果に、
数学公理系のほころびが原因のバグは起こりえないんでしょうか？