>計算可能性等の数理モデルの話になってるじゃん。
これはどういう意味？

人間にできてコンピューターにできない事って
基本的にＮＰ問題なわけでしょ。
ＮＰじゃなければ、コンピューターにできるわけだから。
そういう意味では、ＮＰの順最適解の発見法でいいんじゃないの？