Inter-universal geometry と ABC予想 49

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

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

986(1): 2020/04/15(水)13:13 ID:QCk3Iyvt(2/3) AAS
>>985
そのプログラムの正当性はどうやって検証するの？

988(1): 2020/04/15(水)13:15 ID:/g+JzMtk(4/9) AAS
>>986
抽出されたプログラムにもう一度証明を食わせて
同じプログラムが抽出されればOK