[過去ﾛｸﾞ] P=NP (428ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
411(1): 2022/08/29(月)17:39 ID:r7YnIWSw(1) AAS
もしもN=NPである、あるいは、そうでないの証明が存在したとして、
でもその証明に必要な記述の最小量が10の1000文字程度が必要だったら、
証明は実際には書きあらわすことができず、証明は事実上できない。
すると、数学としては決定可能であっても、事実上の決定不能な命題になる。
そんなことになってたりしないかな。
将棋や囲碁の必勝法があるとして（フォンノイマンの定理からは先手かもしくは
御手の必勝法が存在する）、では先手後手のどちらが必勝であるかを決定して
それの証明を与えなさいといったときに、すべてのゲームの木を書くのに
等しい証明法しかなかったとしたら、実際にはそれらをすべて書き出すことは
できないし、書き出さないまでも生成して1つずつ確認していくことは
省3
413: 2022/11/05(土)17:28 ID:5mtdgxvI(1) AAS
>>411
数学者の頭の中で記述可能だったら、それは証明できていることになりませんか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s