Inter-universal geometry と ABC予想 40

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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

173: 2019/07/17(水)07:26 ID:WRXq96kq(1/3) AAS
>>169
英語を読めるなら
× >157 ◎ >161

176: 2019/07/17(水)07:47 ID:WRXq96kq(2/3) AAS
IUTはSTAPの数学版だからね

178: 2019/07/17(水)08:05 ID:WRXq96kq(3/3) AAS
まず
IUTは証明のプログラムで成り立つかどうか
やればよいね、
アセンブリ言語に対応させてね。
次にCoqだな