>>496
追加解説なんかしなくていいよ。Cook が間違ってるんじゃなくて、ヤマ
ジンが間違ってるんだよ。NP 計算可能性を自分が間違って理解してるのを
正当化しようとしてるんだよ。
ヤマジンは recursive と recursively enumerable の違いも間違えてるん
じゃないか? その可能性大だぞ。ここっから始めれば、Cook どこか、
ゲーデルもポストも、、、もみんな間違いだってことで、今よりもっと
えらくなれるぞ。