Gödel Incompleteness Theorem for PAC Learnable Theory

Zhifeng Ma,Tianyi Wu,Zhangang Han
2024-07-16
Abstract:Different from the view that information is objective reality, we adopts the idea that all information needs to be compiled by the interpreter before it can be observed. Then, the interpreter-based information theory with its complexity is given by formula. Through the relationship between complexity and PAC learnability, the general PAC learnability corresponding to general complexity is derived. Then we generalize the observation process to the formal system with functors, in which we give concrete proof of the generalized Gödel incompleteness theorem. Finally, the Cantor set, the original Gödel incompleteness theorem, the Turing halting problem and the EPR paradox are put into the same mathematical framework as the specific applications of the general Gödel incompleteness theorem.
Logic in Computer Science,Logic
What problem does this paper attempt to address?