Abstract
A quick tour through my long career with emphasis on how computer science has affected me and how I have affected computer science.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
He was my adviser.
- 2.
Church was Turing’s adviser as well. But Turing’s computability paper was written before he became a Princeton student to work with Church.
- 3.
He was my teacher when I was an undergraduate at City College in New York.
- 4.
Other terms for this notion are recursively enumerable set and computably enumerable set.
- 5.
The report is available at [18] as Appendix A pp. 374–408.
- 6.
Our proof had a flaw. It used the fact that there are arbitrarily long arithmetic progressions consisting entirely of prime numbers. This fact was only proved in 2004 (by Ben Green and Terrence Tao); so we had to call it a hypothesis. We wrote our work up for our funding agency, the Office of Scientific Research of the US Air Force. We also submitted it for publication to a mathematical research journal. In addition we sent a copy to Julia Robinson whose methods had greatly influenced our approach. To our delight she succeeded in modifying the proof so it did not need this as yet unproved proposition. We withdrew our paper, and the theorem was published with the three of us as authors. It followed from the new result that my conjecture would follow if a single polynomial could be found that satisfied two simple conditions that Julia had proposed. After the three of us had been trying for a decade to find such a polynomial, we learned that Yuri Matiyasevich, at the age of 22, had actually done it. His proof that his equation satisfied Julia’s conditions, though quite elementary, was intricate and beautiful.
- 7.
Don later was one of my first PhD students, and, still later, a colleague.
- 8.
Of course the terms “divide-and-conquer” and “stack” were not yet used in computer science at that time. It may be worth mentioning that both III and III\(^*\) are already in the report [15] that Hilary and I had prepared for the NSA.
- 9.
Jack and I did publish a joint paper based on this which provided a path to my Erdös number 3. There was another path via Yuri Matiyasevich.
- 10.
Parts of this paragraph were copied verbatim from my [10].
- 11.
In writing about Turing’s work at Bletchley Park, I made the error of indicating that the Colossus was built to decrypt the Enigma traffic needed for the safety of Atlantic shipping. The Colossus was built to deal with an entirely different traffic.
References
Carpenter, B.E., Doran, R.W.: A. M. Turing’s Ace Report of 1946 and Other Papers. MIT Press, Cambridge (1986)
Davis, M.: Eliminating the irrelevant from mechanical proofs. In: Proceedings of Symposia in Applied Mathematics, vol. 15, pp. 15–30 (1963). (reprinted in [21], pp. 315–330)
Davis, M.: The early history of automated deduction. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, pp. 5–15. Elsevier, North Holland (2001)
Davis, M.: Obvious logical inferences. In: Proceedings of the Seventh Joint International Congress on Artificial Intelligence, pp. 530–531 (1981)
Davis, M.: Mathematical logic and the origin of modern computers. In: Studies in the History of Mathematics, pp. 137–165. Mathematical Association of America (1987). (reprinted in Herken, R. (ed.) The Universal Turing Machine - A Half-Century Survey, pp. 149–174. Verlag Kemmerer & Unverzagt, Oxford University Press, Hamburg (1988))
Davis, M.: The Universal Computer: The Road from Leibniz to Turing. W.W. Norton (2000). (Turing Centenary Edition, CRC Press, Taylor & Francis (2012). Third Edition, CRC Press, Taylor & Francis (2018))
Davis, M.: Engines of Logic: Mathematicians and the Origin of the Computer. W.W. Norton (2001). (paperback edition of [6])
Davis, M.: The myth of hypercomputation. In: Teuscher, C. (ed.) Alan Turing: Life and Legacy of a Great Thinker, pp. 195–212. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-662-05642-4_8
Davis, M.: Universality is ubiquitous. In: Floyd, J., Bokulich, A. (eds.) Philosophical Explorations of the Legacy of Alan Turing. BSPHS, vol. 324, pp. 153–158. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-53280-6_6
Davis, M.: My life as a logician. In: [18], pp. 1–33
Davis, M., Weyuker, E.J.: Pseudo-oracles for non-testable programs. In: ACM 1981 Conference Proceedings, pp. 254–257 (1981)
Davis, M., Weyuker, E.J.: A formal notion of program-based test data adequacy. Inf. Control 56, 52–71 (1983)
Davis, M., Weyuker, E.J.: Metric space based test data adequacy criteria. Comput. J. 31, 17–24 (1988)
Davis, M., Putnam, H.: A computing procedure for quantification theory. J. Assoc. Comput. Mach. 7, 201–215 (1960). (reprinted in [21], pp. 125–139)
Davis, M., Putnam, H.: Feasible computational methods in the propositional calculus. In: [18], pp. 371–408
Fleisig, S., Loveland, D., Smiley, A.K., Yarmush, D.L.: An implementation of the model elimination proof procedure. J. Assoc. Comput. Mach. 21, 124–139 (1974)
Loveland, D., Sabharwal, A., Selman, B.: DPLL: the core of modern satisfiability solvers. In: [18], pp. 315–335
Omodeo, E.G., Policriti, A. (eds.): Martin Davis on Computability, Computational Logic, and Mathematical Foundations. OCL, vol. 10. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-41842-1
Prawitz, D.: An improved proof procedure. Theoria 26, 102–139 (1960). (reprinted in [21], pp. 162–199)
Robinson, A.: A machine-oriented logic based on the resolution principle. J. Assoc. Comput. Mach. 12, 23–41 (1965). (reprinted in [21])
Siekmann, J., Wrightson, G. (eds.): Automation of Reasoning, vol. 1. Springer, Heidelberg (1983). https://doi.org/10.1007/978-3-642-81955-1
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Davis, M. (2020). Seventy Years of Computer Science. In: Blass, A., Cégielski, P., Dershowitz, N., Droste, M., Finkbeiner, B. (eds) Fields of Logic and Computation III. Lecture Notes in Computer Science(), vol 12180. Springer, Cham. https://doi.org/10.1007/978-3-030-48006-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-48006-6_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-48005-9
Online ISBN: 978-3-030-48006-6
eBook Packages: Computer ScienceComputer Science (R0)