Inter-universal geometry と ABC予想 49

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

981: 2020/04/15(水)12:57 ID:QCk3Iyvt(1/3) AAS
Woitのブログ上で建設的な議論が進んでいるように見える
内容はわからないけど、とにかくややこしい問題だということだけはわかる

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

991: 2020/04/15(水)13:22 ID:QCk3Iyvt(3/3) AAS
よくわかんないけどそのやり方で検証と言えるのかな
なんか正しいから正しいと言っているように見えるんだけど