Springer celebrates 175 years of publishing excellence! Join us >>

Outstanding Contributions to Logic

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Editors: Omodeo, Eugenio G., Policriti, Alberto (Eds.)

  • Is devoted entirely to Martin Davis, an eminent logician
  • Collects testimonials on Davis’ significant contributions to the field of logic
  • Testifies to the far-reaching influence of Davis’ work and vision
see more benefits

Buy this book

eBook 95,19 €
price for China (P.R.) (gross)
  • ISBN 978-3-319-41842-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 114,99 €
price for China (P.R.) (gross)
  • ISBN 978-3-319-41841-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (16 chapters)

  • My Life as a Logician

    Davis, Martin

    Pages 1-33

    Preview Buy Chapter 24,95 €
  • Martin Davis and Hilbert’s Tenth Problem

    Matiyasevich, Yuri

    Pages 35-54

    Preview Buy Chapter 24,95 €
  • Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory

    Shlapentokh, Alexandra

    Pages 55-92

    Preview Buy Chapter 24,95 €
  • A Story of Hilbert’s Tenth Problem

    Morales Guerrero, Laura Elena

    Pages 93-105

    Preview Buy Chapter 24,95 €
  • Hyperarithmetical Sets

    Moschovakis, Yiannis N.

    Pages 107-149

    Preview Buy Chapter 24,95 €

Buy this book

eBook 95,19 €
price for China (P.R.) (gross)
  • ISBN 978-3-319-41842-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 114,99 €
price for China (P.R.) (gross)
  • ISBN 978-3-319-41841-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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 Volume
10
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-41842-1
DOI
10.1007/978-3-319-41842-1
Hardcover ISBN
978-3-319-41841-4
Series ISSN
2211-2758
Edition Number
1
Number of Pages
XXVII, 438
Number of Illustrations and Tables
25 b/w illustrations, 2 illustrations in colour
Topics