[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
790(2): 2022/04/30(土)10:08 AAS
>>785
＞自動定理証明
全くの脱線ですが、この言葉を聞いた素人は
「任意の命題について、それが証明可能か否か
判定できるアルゴリズムが原理的に存在するんだ！」
と誤解する
正しくは
「任意の命題について、それがトートロジー（恒真命題）であるとき
その証明を返すような手続きが存在する」
ついでにいうと全然難しい手続きではありません
省8
上下前次1-新書関写板覧索設栞歴
あと 212 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s