Martin Davis on Computability, Computational Logic, and Mathematical Foundations

This book presents a collection of historical recollections on Martin Davis' work, highlighting his contributions to logic, computing, and unsolvability. It explores Davis' ideas and concepts, such as contemporary satisfiability solvers, essential unification, quantum computing, and generalizations of Hilbert's tenth problem. The book includes a scientific autobiography, original historical papers, and a comprehensive bibliography of Davis' work, showcasing his interdisciplinary approach.

\n Format: Paperback / softback
\n Length: 438 pages
\n Publication date: 03 May 2018
\n Publisher: Springer International Publishing AG
\n

This captivating book delves into a rich tapestry of historical recollections, offering a profound exploration of the remarkable work of Martin Davis and his pivotal role in advancing our understanding of the intricate connections between logic, computing, and unsolvability. The individual contributions within this volume shed light on the diverse facets of Davis' groundbreaking contributions, placing them in a contemporary context while offering insightful analysis, discussion, and development of his ideas and concepts. These include critical topics such as contemporary satisfiability solvers, essential unification, quantum computing, and generalizations of Hilbert's tenth problem.

The book begins with a captivating scientific autobiography by Davis, providing a personal glimpse into his journey and achievements. It then concludes with his thoughtful responses to the insightful comments included in the contributions, adding depth and richness to the overall narrative. In addition to this, the book boasts two previously unpublished original historical papers, where Davis and Putnam delve into the fascinating realms of decidable and undecidable logic, shedding light on the philosophical and mathematical underpinnings of these concepts. A comprehensive bibliography of Davis' work is also included, serving as a valuable resource for scholars and enthusiasts alike.

As a whole, this book serves as a testament to the profound impact of Martin Davis' scientific work, which seamlessly weaves together computability, theoretical computer science, foundations of mathematics, and philosophy. It reveals his deep involvement in logic as a unifying force, drawing together diverse disciplines to unravel the mysteries of unsolvability and expand our horizons of knowledge. Through these recollections and comprehensive analysis, readers are invited to embark on a journey of discovery, exploring the rich tapestry of Davis' contributions and the enduring legacy he has left behind in the world of logic, computing, and mathematics.

\n Weight: 720g\n
Dimension: 157 x 234 x 33 (mm)\n
ISBN-13: 9783319824437\n
Edition number: Softcover reprint of the original 1st ed. 2016\n