Inter-universal geometry と ABC予想 (応援スレ) 65

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

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

792: 2022/04/30(土)10:13 AAS
>>790のつづき
で
「任意の命題について、それが証明可能か否か
　判定できるアルゴリズムが存在する」と
「任意の命題について、それがトートロジー（恒真命題）であるとき
　その証明を返すような手続きが存在する」の違い
ワカリマスカ？
省13