Martin D. Davis
American mathematician and computer scientist noted for foundational work in computability theory and automated reasoning. He contributed to the negative solution of Hilbert's tenth problem (with Putnam, Robinson, and Matiyasevich) and co-developed the Davis–Putnam and DPLL algorithms. Author of Computability and Unsolvability and Engines of Logic, and longtime professor at NYU's Courant Institute.
Books
This list of books are ONLY the books that have been ranked on the lists that are aggregated on this site. This is not a comprehensive list of all books by this author.
-
1. The Universal Computer
The Road from Leibniz to Turing
A concise history of the quest to mechanize reasoning, tracing the path from early dreams of symbolic calculation through the rise of formal logic and set theory to twentieth-century breakthroughs that defined computability. It explains how efforts to settle the Entscheidungsproblem led to the concepts of the universal machine and the recognition of fundamental limits on what algorithms can do. Along the way, it shows how abstract logical ideas laid the foundations of modern computer science.
Purchase from Bookshop.org