Martin Davis (davis-m)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Davis, Martin. 1958. Computability and Unsolvability. Mineola, New York: Dover Publications. Enlarged version 1958.
Davis, Martin, ed. 1965. The Undecidable. Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Fonctions. Hewlett, New York: Raven Press.
Davis, Martin. 1977. “Unsolvable Problems.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 567–594. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
Davis, Martin. 1980. “The Mathematics of Nonmonotonic Reasoning.” Artificial intelligence 13(1–2): 73–80.
Davis, Martin. 1988a. “Mathematical Logic and the Origin of Modern Computers.” in The Universal Turing Machine: A Half-Century Survey, edited by Rolf Herken, 1st ed., pp. 149–174. Oxford: Oxford University Press. Second edition: Herken (1995).
Davis, Martin. 1988b. “Influences of Mathematical Logic on Computer Science.” in The Universal Turing Machine: A Half-Century Survey, edited by Rolf Herken, 1st ed., pp. 315–326. Oxford: Oxford University Press. Second edition: Herken (1995).
Davis, Martin. 1993a. “How Subtle is Gödel’s Theorem? More on Roger Penrose [continuing commentary on Penrose (1989)].” Behavioral and Brain Sciences 16(3): 611–612.
Davis, Martin. 1993b. “First Order Logic.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 31–67. Oxford: Oxford University Press.
Davis, Martin. 1995. “American Logic in the 1920s.” The Bulletin of Symbolic Logic 1(3): 273–278.
Davis, Martin. 2000. The Universal Computer: The Road From Leibniz to Turing. New York: W.W. Norton & Co.
Davis, Martin. 2003. “Philosophy of language.” in The Blackwell Companion to Philosophy, edited by Nicholas Bunnin and Eric P. Tsui-James, 2nd ed., pp. 90–146. Blackwell Companions to Philosophy. Oxford: Blackwell Publishers. First edition: Bunnin and Tsui-James (1996).
Davis, Martin. 2005. “What Did Gödel Believe and When Did He Believe It?” The Bulletin of Symbolic Logic 11: 194–206. Reprinted in Feferman, Parsons and Simpson (2010, 229–241).
Davis, Martin. 2013. “Computability and Arithmetic.” in Computability: Turing, Gödel, Church, and Beyond, edited by B. Jack Copeland, Carl J. Posy, and Oron Shagrir, pp. 35–54. Cambridge, Massachusetts: The MIT Press.
Davis, Martin. 2014. “Logic and the Development of the Computer.” in Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H. Siekmann and Dov M. Gabbay, pp. 31–40. Amsterdam: Elsevier Science Publishers B.V.
Davis, Martin. 2017a. “What I Tell You Three Times Is True.” in Raymond Smullyan on Self Reference, edited by Melvin Chris Fitting and Brian Rayman, pp. 141–146. Outstanding Contributions to Logic n. 14. Cham: Springer.
Davis, Martin. 2017b. “Universality is Ubiquitous.” in Philosophical Explorations of the Legacy of Alan Turing. Turing 100, edited by Juliet Floyd and Alisa Bokulich, pp. 153–158. Boston Studies in the Philosophy and History of Science n. 324. Dordrecht: Springer.
Davis, Martin. 2018. “Pragmatic Platonism.” in Hilary Putnam on Logic and Mathematics, edited by Geoffrey Hellman and Roy T. Cook, pp. 145–160. Outstanding Contributions to Logic n. 9. Cham: Springer, doi:10.1007/978-3-319-96274-0.
Further References
Feferman, Solomon, Parsons, Charles and Simpson, Stephen G., eds. 2010. Kurt Gödel. Essays for his Centennial. Cambridge: Cambridge University Press.
Penrose, Roger. 1989. The Emperor’s New Mind. Concerning Computers, Minds and the Laws of Physics. Oxford: Oxford University Press. Second edition: Penrose (1999).
Penrose, Roger. 1999. The Emperor’s New Mind. Concerning Computers, Minds and the Laws of Physics. 2nd ed. Oxford: Oxford University Press. Foreword by Martin Gardner; first edition: Penrose (1989).