On Turing’s legacy in mathematical logic and the foundations of mathematics
DOI:
https://doi.org/10.3989/arbor.2013.764n6002Keywords:
Alan Turing, Foundations of MathematicsAbstract
While Alan Turing is best known for his work on computer science and cryptography, his impact on the general theory of computable functions (recursion theory) and the foundations of mathematics is of equal importance. In this article we give a brief introduction to some of the ideas and problems arising from Turing’s work in these areas, such as the analysis of the structure of Turing degrees and the development of ordinal logics.
Downloads
References
Church, A. (1936a). "An unsolvable problem of elementary number theory". Amer. J. of Math, 58 (2), pp. 345-363. http://dx.doi.org/10.2307/2371045
Church, A. (1936b). "A Note on the Entscheidungsproblem". The Journal of Symbolic logic, 1 (1), pp. 40-41. http://dx.doi.org/10.2307/2269326
Feferman, S. (1962). "Transfinite recursive progressions of transfinite theories". J. Symbolic Logic, 27, pp. 259-316. http://dx.doi.org/10.2307/2964649
Feferman, S. (2012). "Turing's Thesis". In Alan Turing's Systems of Logic. The Princeton Thesis. Edited by Andrew W. Appel. Princeton University Press.
Gödel, K. (1964). "Postscriptum". In Davis, M. (ed.), The Undecidable. New York: Raven, 1965.
Hilbert, D. (1925). "On the Infinite", English translation in J. van Heijenoort (Ed.), From Frege to Gödel. A Source Book in Mathematical Logic, 1879-1931. Harvard University Press, 1967.
Hilbert, D. (1928) "Die Grundlagen der Mathematik". Abhandlungen aus den mathematischen Seminar der Hamburgischen Universität 6. English translation in J. van Heijenoort (ed.), From Frege to Gödel. A Source Book in Mathematical Logic, 1879-1931. Harvard University Press, 1967.
Hilbert, D. and Ackermann, W. (1928). Grundzügen der theoretischen Logik. Springer-Verlag.
Hodges, A. (1983). Alan Turing, the Enigma. New York: Simon and Schuster Inc.
Turing, A. (1939). "Systems of Logic based on ordinals". Proc. London Math. Soc., (2), pp. 161-228. http://dx.doi.org/10.1112/plms/s2-45.1.161
Published
How to Cite
Issue
Section
License
Copyright (c) 2013 Consejo Superior de Investigaciones Científicas (CSIC)
This work is licensed under a Creative Commons Attribution 4.0 International License.
© CSIC. Manuscripts published in both the printed and online versions of this Journal are the property of Consejo Superior de Investigaciones Científicas, and quoting this source is a requirement for any partial or full reproduction.All contents of this electronic edition, except where otherwise noted, are distributed under a “Creative Commons Attribution 4.0 International” (CC BY 4.0) License. You may read here the basic information and the legal text of the license. The indication of the CC BY 4.0 License must be expressly stated in this way when necessary.
Self-archiving in repositories, personal webpages or similar, of any version other than the published by the Editor, is not allowed.
