Abstract
The purpose of this paper is to explore the possibility of computer information processing the Turing machine and the Gödel machine. The method steps are as follows: On the basis of Lvs’ research on continuum hypothesis, a new theory of natural number and real number coding is proposed. Between natural numbers and real numbers, it is also possible to construct an infinite number of hierarchical topology numbers with different sizes. They are all infinite sequences of incompleteness. Then, it analyzes the calculation behavior of the Turing machine as a complete sequence, and defines a new Gödel machine, which is the computational behavior on the incomplete sequence. Next, it is illustrated that the neural network and quantum computing are Gödel machines. The result is the discovery that an interesting finding is that quantum mechanical description of the trajectory of electrons and the internal connection state of neural networks are similar or isomorphic with the topological number structure of real continuums, and are related to the choice of set theory of axiom. The significance lies in: it proves that Lv derives two basic types of computational behavior from the most basic mathematical principles: the Turing machine and the Gödel machine. This may have some inspiring new ideas for the future research of artificial intelligence.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Heyting, A.: The intuition basis of mathematics. In: Mathematical Philosophy, p. 62. The Commercial Press (2003)
Cohen, P.J.: Comments on the basis of set theory. In: The Mathematical Philosophy Translations Compiled by the Logic Research Laboratory of the Institute of Philosophy of the Chinese Academy of Social Sciences, p. 134. The Commercial Press (1988)
Hinton, G.E., McClelland, J.L., Rumelhart, D.E.: Distributed expression. In: Boden, M.A. (ed.) Artificial Intelligence Philosophy, p. 339, 341, 350. Shanghai Translation Publishing House (2001)
Turing, A.M.: Appendix one (A)–on computable numbers, with an application to the Entscheidungsproblem. Ann. Rev. Autom. Program. 43(43), 230–264 (1960)
Leyton, M.: Principles of information structure common to six levels of the human cognitive system. Inf. Sci. 38(1), 1–120 (1986)
Zou, X.: Virtual twin turing machine: bilingual information processing as an example. Software 32(8), 1–5 (2011)
Turing, A.M.: Computing Machinery and Intelligence. Computers & Thought, pp. 44–53. MIT Press, Cambridge (1995)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Lv, C., Zou, X. (2019). How to Understand the Mathematical Basis of Two Basic Types of Computational Behavior. In: Sun, F., Liu, H., Hu, D. (eds) Cognitive Systems and Signal Processing. ICCSIP 2018. Communications in Computer and Information Science, vol 1005. Springer, Singapore. https://doi.org/10.1007/978-981-13-7983-3_27
Download citation
DOI: https://doi.org/10.1007/978-981-13-7983-3_27
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-7982-6
Online ISBN: 978-981-13-7983-3
eBook Packages: Computer ScienceComputer Science (R0)