Advertisement

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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-41842-1
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Religion and Philosophy
  • Print ISBN 978-3-319-41841-4
  • Online ISBN 978-3-319-41842-1
  • Series Print ISSN 2211-2758
  • Series Online ISSN 2211-2766
  • Buy this book on publisher's site