References
Davis, Martin. 1958. Computability & Unsolvability. New York: McGraw-Hill.
Davis, Martin, editor. 1965. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. New York: Raven Press.
Davis, Martin. 2000. The Universal Computer: The Road from Leibniz to Turing. New York and London: W. W. Norton & Company.
Hilbert, David and Paul Bernays. 1934. Grundlagen der Mathematik I. Berlin: Springer.
Péter, Rosza. 1951. Rekursive Funktionen. Budapest: Akademiai Kiado.
Author information
Authors and Affiliations
Corresponding author
Additional information
Feel like writing a review for The Mathematical Intelligencer? Contact the column editor if you wish to submit an unsolicited review, or if you would welcome being assigned a book to review.
Rights and permissions
About this article
Cite this article
von Plato, J. Martin Davis on Computability, Computational Logic, and Mathematical Foundations by E. Omodeo and A. Policriti (eds.). Math Intelligencer 40, 82–84 (2018). https://doi.org/10.1007/s00283-018-9809-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00283-018-9809-3