© 2016

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

  • Eugenio G. Omodeo
  • Alberto Policriti

Part of the Outstanding Contributions to Logic book series (OCTR, volume 10)

Table of contents

  1. Front Matter
    Pages i-xxvii
  2. Martin Davis
    Pages 1-33
  3. Yuri Matiyasevich
    Pages 35-54
  4. Laura Elena Morales Guerrero
    Pages 93-105
  5. Yiannis N. Moschovakis
    Pages 107-149
  6. Udi Boker, Nachum Dershowitz
    Pages 151-173
  7. Wilfried Sieg, Máté Szabó, Dawn McLaughlin
    Pages 175-208
  8. Andreas Blass, Yuri Gurevich
    Pages 209-241
  9. Don Perlis
    Pages 243-254
  10. Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
    Pages 255-283
  11. Peter Szabo, Jörg Siekmann, Michael Hoche
    Pages 285-314
  12. Donald Loveland, Ashish Sabharwal, Bart Selman
    Pages 315-335
  13. Hilary Putnam
    Pages 337-347
  14. Martin Davis
    Pages 349-356
  15. Martin Davis
    Pages 357-362
  16. Eugenio G. Omodeo
    Pages 363-370
  17. Back Matter
    Pages 371-438

About this book


This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert’s tenth problem.

The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis’ work. As a whole, this book shows how Davis’ scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.


Computational Logic Mathematical Foundations Hilbert's Tenth Problem DPLL and Satisfiability Solvers Hyperarithmetical Sets Church-Turing Thesis Essential Unification Quantum Computing Non-standard Analysis

Editors and affiliations

  • Eugenio G. Omodeo
    • 1
  • Alberto Policriti
    • 2
  1. 1.University of TriesteTriesteItaly
  2. 2.University of UdineUdineItaly

Bibliographic information

  • Book Title Martin Davis on Computability, Computational Logic, and Mathematical Foundations
  • Editors Eugenio G. Omodeo
    Alberto Policriti
  • Series Title Outstanding Contributions to Logic
  • Series Abbreviated Title Outstanding Contributions
  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Religion and Philosophy Philosophy and Religion (R0)
  • Hardcover ISBN 978-3-319-41841-4
  • Softcover ISBN 978-3-319-82443-7
  • eBook ISBN 978-3-319-41842-1
  • Series ISSN 2211-2758
  • Series E-ISSN 2211-2766
  • Edition Number 1
  • Number of Pages XXVII, 438
  • Number of Illustrations 25 b/w illustrations, 2 illustrations in colour
  • Topics Logic
    Mathematical Logic and Foundations
  • Buy this book on publisher's site


“It is welcome indeed to have the book under review on my desk and in my possession, particularly given that it’s something of a Festschrift, sporting all sorts of goodies. … To real logicians or even to folks like me … this is a wonderful book to have.” (Michael Berg, MAA Reviews, January 2018)