Abstract
The theorems of Kurt Gödel and Alan Turing are likely to be remembered as the two most important achievements in mathematics of the twentieth century. Their far-reaching consequences are valid for any formal system and in particular for arithmetic and any advanced mathematical theory. Their formulation in the thirties has changed completely the objectives of the research for the foundations of mathematical theories. The task Hilbert had indicated, namely the reduction of mathematics to logic through the process of axiomatisation and the formulation of a method to answer mechanically any mathematical question, has been proved to be unfeasible.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arecchi, F.T. and Arecchi, I., I simboli e la realtà, Jaka Book, Milano, 1990.
Church, A., “A Note on the Entscheidungsproblem”, Journal of Symbolic Logic 1, pp. 40–41; Correction, ibid., pp. 101-102, 1936.
Clocksin, W.F. and Mellish, C.S., Programming in Prolog, Springer-Verlag, Heidelberg, 1981.
Davis, M.D., Sigal, R. and Weyuker, E.J., Computability, Complexity, and Languages, 2nd ed., p. 415, Academic Press, San Diego, 1994.
Gilson, E., God and Philosophy, Yale University Press, New Haven, 1941.
Gödel, K., “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter System, I”, Monatshefte für Mathematik und Physik 38, pp. 173–198, 1931.
Gödel, K., On undecidable Propositions of Formal Mathematical Systems, Princeton University Press, Princeton, NJ, 1934.
Laeuffer, J., “Scientism and Scientific Knowledge of Things and God”, this volume, pp. 185–192.
Lloyd, J., Foundations of Logic Programming, Springer-Verlag, Heidelberg, 1984.
Mendelson, E., Introduction to Mathematical Logic, D. Van Nostrand Company, Princeton, NJ, 1964.
Penrose, R., The Emperors’ New Mind, Oxford University Press, Oxford, UK, 1987.
Turing, A., “On Computable Numbers with an Application to the Entscheidungsproblem”, Proceedings of the London Mathematical Society, 42, pp. 230–265; 43, pp. 544-546, 1936-1937.
Ullman, J.D., Principles of Database and Knowledge Base Systems, Computer Science Press, Potomac, MD, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Cacace, F. (1997). Meaning, Reality and Algorithms: Implications of the Turing Theorem. In: Driessen, A., Suarez, A. (eds) Mathematical Undecidability, Quantum Nonlocality and the Question of the Existence of God. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5428-4_3
Download citation
DOI: https://doi.org/10.1007/978-94-011-5428-4_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6283-1
Online ISBN: 978-94-011-5428-4
eBook Packages: Springer Book Archive