Inquiry of P-reduction in Cook's 1971 Paper -- from Oracle machine to Turing machine

JianMing Zhou, Yu Li

In this paper, we inquire the key concept P-reduction in Cook's theorem and reveal that there exists the fallacy of definition in P-reduction caused by the disguised displacement o…