P=NPat MATHP=NP - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト438:１３２人目の素数さん 22/08/29 17:39:01.30 r7YnIWSw.net もしもN=NPである、あるいは、そうでないの証明が存在したとして、 でもその証明に必要な記述の最小量が10の1000文字程度が必要だったら、 証明は実際には書きあらわすことができず、証明は事実上できない。 すると、数学としては決定可能であっても、事実上の決定不能な命題になる。 そんなことになってたりしないかな。 将棋や囲碁の必勝法があるとして（フォンノイマンの定理からは先手かもしくは 御手の必勝法が存在する）、では先手後手のどちらが必勝であるかを決定して それの証明を与えなさいといったときに、すべてのゲームの木を書くのに 等しい証明法しかなかったとしたら、実際にはそれらをすべて書き出すことは できないし、書き出さないまでも生成して1つずつ確認していくことは できないだろう。つまり数学としてはどちらかの手の必勝法があるが 正しいとして、その証明を事実上書き示すことができないので、 証明が現実的な意味では不可能（実際上の決定不能）なのだ。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch