Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Inquiry of P-reduction in Cook's 1971 Paper -- from Oracle machine to
  Turing machine   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 of NDTM from Oracle machine to Turing machine. The
definition or derivation of P-reduction is essentially equivalent to Turing's
computability. Whether NP problems might been reduced to logical forms
(tautology or SAT) or NP problems might been reduced each other, they have not
been really proven in Cook's 1971 paper.

15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an