The "paradox" of computability and a recursive relative version of the Busy Beaver function

Felipe S. Abrahão
DOI: https://doi.org/10.48550/arXiv.1612.07400
2016-12-22
Abstract:In this article, we will show that uncomputability is a relative property not only of oracle Turing machines, but also of subrecursive classes. We will define the concept of a Turing submachine, and a recursive relative version for the Busy Beaver function which we will call Busy Beaver Plus function. Therefore, we will prove that the computable Busy Beaver Plus function defined on any Turing submachine is not computable by any program running on this submachine. We will thereby demonstrate the existence of a "paradox" of computability a la Skolem: a function is computable when "seen from the outside" the subsystem, but uncomputable when "seen from within" the same subsystem. Finally, we will raise the possibility of defining universal submachines, and a hierarchy of negative Turing degrees.
Logic in Computer Science,Logic
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to explore the relative uncomputability of computation, especially in subrecursive classes and Turing submachines. Specifically, the author introduced a new function - the Busy Beaver Plus function (BB+P′T(N)), and proved that this function is uncomputable within Turing submachines but computable outside. This phenomenon is similar to the pseudo - paradox in the Skolem paradox: a function is computable from the outside but uncomputable from the inside. ### Main problems: 1. **Relative uncomputability**: The paper explored whether uncomputability is a relative property, not only for oracle Turing machines but also for subrecursive classes. The author defined the concept of Turing submachines and proposed a recursively relative version of the Busy Beaver function, namely the Busy Beaver Plus function (BB+P′T(N)). 2. **Busy Beaver Plus function**: The author defined the Busy Beaver Plus function and proved that it is uncomputable on any Turing submachine but computable outside. This reveals a "computational paradox", similar to the pseudo - paradox in the Skolem paradox. 3. **The relationship between sub - machines and super - computers**: The paper attempted to construct a system (Turing machine) such that its behavior relative to its subsystems (Turing submachines) is similar to the behavior of a super - computer (oracle Turing machine) relative to subsystems. In particular, the author defined a new function BB+P′T(N) similar to the Busy Beaver function to simulate this behavior. ### Specific goals: - **Prove relative uncomputability**: By defining the Busy Beaver Plus function, it is proved that this function is uncomputable within Turing submachines but computable outside. - **Explore the hierarchical structure of sub - machines**: Research whether there exists a "universal Turing submachine" and explore the possibility of negative Turing degrees. - **Simulate super - computer behavior**: Try to make a computer exhibit behavior similar to that of a super - computer on its sub - computers. ### Conclusion: The paper, by introducing the Busy Beaver Plus function, demonstrated the relative uncomputability of computation and revealed a phenomenon similar to the Skolem paradox. This finding indicates that the uncomputability of computation is relative and depends on the perspective of observation. In addition, the author also proposed directions for future research, including defining the universal Turing submachine and constructing a hierarchical structure of negative Turing degrees. ### Formula summary: - **Busy Beaver Plus function**: \[ BB + P′T(N)=BBP′T(N)+ 1 \] where \(BBP′T(N)\) is the Busy Beaver function on the Turing submachine \(U^{P′T}\). - **Uncomputability proof**: If the program \(P\) computes \(BB + P′T(N)\) on the Turing submachine \(U^{P′T}\), a contradiction will be derived: \[ BB + P′T(N_0)\geq U^{P′T}(P\circ N_0)+ 1>U^{P′T}(P\circ N_0) \] Through these formulas and theories, the paper successfully demonstrated the relative uncomputability of computation and provided a new perspective for future theoretical computer science research.