アカウント名:
パスワード:
http://science.srad.jp/comments.pl?sid=579440&cid=2235067 [srad.jp]> NP問題であるという事を示すのに天才数学者は別にいりません。> 定義から、どのような問題でも多項式時間で自動証明検証ができる場合は(NP完全かはともかく)NP問題に当てはまります。> 証明が有限長を持ち、各ステップの妥当性がアルゴリズムで検証できる場合はそうです。
お前が多項式時間計算可能と計算可能の区別もついていないことはよくわかった。
> 少なくとも一般人が「数学」や「証明」といった場合、有効な書かれた証明を持ち、その正しさは客観的かつ一意に判定できる分野を指すでしょう。> そこに一階述語論理と書いてあるのはまさに、ゲーデルの不完全性定理から健全性かつ完全性を持つ二階述語論理にそのような条件が当てはまらないからです。
お前がリンク先の文章を全く理解できないで自分に都合のいい脳内解釈にこじつけているだけなのが改めてよくわかった。
> 数学の世界がどうなっているか余り詳しいわけではないので、普通に数学的証明と云える範囲で、多項式時間で機械的検証ができないような例があればご教授いただきたいところです。
チューリング機械の停止問題。そこまで持ち出さなくても計算量クラスEXPTIME以上の問題全て。計算量クラスの定義からほとんど自明なことを人に聞いている時点でお前が何もわかっていないしわかってもいないことについて知ったかぶりすることがよくわかった。トンデモさんに何言っても無駄なのはわかっているがあえてもう一度言うと、お前は定理の自動証明について二度と語るな。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
一つのことを行い、またそれをうまくやるプログラムを書け -- Malcolm Douglas McIlroy
なんか関連ストーリーに変なのが湧いてるな (スコア:0)
http://science.srad.jp/comments.pl?sid=579440&cid=2235067 [srad.jp]
> NP問題であるという事を示すのに天才数学者は別にいりません。
> 定義から、どのような問題でも多項式時間で自動証明検証ができる場合は(NP完全かはともかく)NP問題に当てはまります。
> 証明が有限長を持ち、各ステップの妥当性がアルゴリズムで検証できる場合はそうです。
お前が多項式時間計算可能と計算可能の区別もついていないことはよくわかった。
> 少なくとも一般人が「数学」や「証明」といった場合、有効な書かれた証明を持ち、その正しさは客観的かつ一意に判定できる分野を指すでしょう。
> そこに一階述語論理と書いてあるのはまさに、ゲーデルの不完全性定理から健全性かつ完全性を持つ二階述語論理にそのような条件が当てはまらないからです。
お前がリンク先の文章を全く理解できないで自分に都合のいい脳内解釈にこじつけているだけなのが改めてよくわかった。
> 数学の世界がどうなっているか余り詳しいわけではないので、普通に数学的証明と云える範囲で、多項式時間で機械的検証ができないような例があればご教授いただきたいところです。
チューリング機械の停止問題。そこまで持ち出さなくても計算量クラスEXPTIME以上の問題全て。
計算量クラスの定義からほとんど自明なことを人に聞いている時点でお前が何もわかっていないしわかってもいないことについて知ったかぶりすることがよくわかった。
トンデモさんに何言っても無駄なのはわかっているがあえてもう一度言うと、お前は定理の自動証明について二度と語るな。