Abstract The classical Turing machine is the foundational model of computation in information science. It is defined by six finite components: a state set, a tape alphabet, a transition function, an initial state, accepting states, and a tape convention. These components are stipulated as given. For the study of computation-as-execution, this convention is entirely legitimate and has proven enormously fruitful. This paper argues, however, that a fundamental inconsistency arises when the classical Turing machine is treated as a complete formal system for information science rather than as an execution model. The inconsistency is as follows: 1. Every component of a Turing machine is a finite, structured, non-random information object. Collectively, they constitute ordered information. 2. Ordered information cannot arise from disordered information without a source process. This is the conservation of ordered information—a principle logically prior to any computational model. 3. The classical definition stipulates these ordered components without accounting for their origin. It treats them as "free" information, available at zero cost and with no source explanation. 4. A formal system that uses ordered information but does not account for its origin is informationally incomplete. It relies on an external, unexamined input to supply the very structure that defines its operation. 5. Therefore, the classical Turing machine, when treated as a complete formal system for information science, is inconsistent with the conservation of ordered information. It presupposes a source of information that it does not include, explain, or charge. This is not a technical flaw in the Turing machine as a device for defining computability. It is a category error in the use of that device as a foundation for information-theoretic questions. The P versus NP problem, as classically formulated, inherits this inconsistency: it asks about the cost of ordered information during computation while treating the ordered information of the machine description itself as free. We argue that this inconsistency is not repairable by a local modification. Any attempt to explain the origin of the machine description merely shifts the origin question to a higher level, generating an infinite regress unless the regress is terminated by an unexamined assumption. The only coherent response is to recognize that the classical problem is not a mathematical conjecture awaiting proof, but a formal system awaiting completion. In a complete information-accounting framework, the distinction between "algorithm" and "enumeration" dissolves: both are candidates generated by an origin process and selected by a verifier. The classical P vs NP distinction, which implicitly relies on this dissolved distinction, is therefore not well-formed as an objective question. Within an objective formal system, certain enumerations of symbols are selected and designated as "structures"—associativity, commutativity, group axioms, and so forth. This selection is not dictated by logic. It is arbitrary in the sense that the system itself provides no criterion for why these particular symbol strings are privileged over others. The designation of a symbol combination as a "structure" is a human act of naming, not a logical discovery. Consequently, mathematical objects are treated unequally: some are elevated to the status of "structures" or "theories, " while others remain "mere enumerations. " This inequality is not grounded in the formal properties of the objects themselves, but in human selection, historical contingency, and aesthetic judgment. In a formal system, all symbol combinations are equally valid candidates until subjected to verification; the distinction between "structure" and "non-structure" is not a logical distinction. It is a social and psychological one, imposed from outside the formal system. Therefore, any mathematical classification—including the classical distinction between algorithms and brute-force search—that depends on the presence or absence of "structure" imports a non-logical, arbitrary preference into the heart of formal reasoning. The P versus NP problem, which implicitly relies on such a preference, is not a well-formed question about formal systems; it is a question about human naming conventions disguised as a question about computation. The selection of logical and mathematical axioms is not dictated by logic itself. Axioms are chosen because they align with human intuition—they appear simple, concise, or useful. But this is a psychological and historical fact, not a logical necessity. Other symbol combinations could have been selected as axioms; different selections generate different mathematical worlds, each internally consistent and equally valid from a formal perspective. That a particular axiom system corresponds to human intuition is a contingent fact about human cognition, not a theorem about formal systems. Logic does not privilege one axiom system over another; it merely derives consequences from whichever system is given. The designation of certain symbol combinations as "foundational" or "structured" is therefore not a logical distinction but a human preference, imposed from outside the formal system. A complete accounting of mathematical reasoning must recognize this arbitrariness at its base. **Keywords: ** Turing machine, formal inconsistency, information conservation, ordered information, P versus NP, category error, free-method convention, logical marker algebra, origin accounting, computational foundations --- Extended Abstract 1. The Classical Turing Machine The classical Turing machine is specified by a finite tuple: M = (Q, , , q₀, F, ) where: - Q is a finite set of states, - is a finite tape alphabet, -: Q Q \L, R\ is a transition function, - q₀ Q is the initial state, - F Q is the set of accepting states, - is a tape convention (boundary conditions, blank symbol, etc. ) Each of these components is a finite, structured information object. Together, they constitute a finite amount of ordered information. The ordered information content of a Turing machine description is bounded by: H (M) = O (|Q|\, || (2|Q|||) + |Q| + |Q| +) bits, under a fixed coding convention. This is a finite, positive quantity. 2. The Conservation of Ordered Information The conservation of ordered information is the principle that a finite, structured information object cannot emerge from a disordered, unstructured environment without a source process that supplies the order. This is not an additional assumption imposed by this paper; it is a necessary condition for any formal theory of information. Without it, information would be created ex nihilo, violating the foundational intuition that information is a conserved quantity in symbolic systems. Formally, for any ordered information object I and any source environment E, the emergence of I from E requires a process P such that: I = P (E) where P is an information-transformation process. If no such P is specified, the origin of I is unaccounted for. 3. The Inconsistency The inconsistency is now direct. The classical Turing machine definition provides M as a stipulated object. It does not provide P. It does not explain how the ordered information in Q, , , q₀, F, came into existence. It treats these objects as if they were free—available without source, selection, or cost. A formal system that: 1. Uses ordered information to define its operation, 2. Does not account for the origin of that ordered information, is informationally incomplete. It is not inconsistent in the sense of containing a contradiction, but it is inconsistent in the sense that its stated assumptions do not include all the information it requires to be self-contained. It is an open system pretending to be closed. This is precisely the situation of the classical Turing machine when used as a foundation for information science. It is a closed system for execution (given the machine, it produces a unique computation), but it is an open system for information accounting (the machine itself must come from somewhere). 4. Consequences for P vs NP The P versus NP problem, as classically formulated, inherits this inconsistency. It asks: > Given a problem instance of size n, and given a fixed machine M (whose description is free), what is the asymptotic cost of finding a solution? It charges the cost of searching for a certificate during execution, but it does not charge the cost of selecting the machine M itself. This asymmetry is not a bug in the execution model; it is a deliberate choice to separate "algorithm design" from "algorithm execution. " However, this separation is not a logical necessity; it is a convention. The classical formulation assumes that one can ask meaningful questions about the cost of computation without asking about the origin of the machine that performs it. Once the origin question is admitted, the distinction dissolves. The machine M itself is an ordered information object. In a complete information-accounting framework, M must be generated by an origin process—which, in the absence of prior structure, can only be a form of enumeration with verification. Thus the "algorithm" is a candidate that passed verification at an earlier stage, while the "search" is a candidate that is being verified at the current stage. The difference is temporal, not essential. The classical P vs NP distinction implicitly relies on an essential distinction between "structured methods" (algorithms) and "unstructured search" (enumeration). This distinction is not a logical category; it is a psychological label assigned by human observers to candidates that have passed verification. Since subjective labels cannot serve as o
Jianming Wang (Sun,) studied this question.