Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Discover the profound insights of Martin Davis in "Martin Davis on Computability, Computational Logic, and Mathematical Foundations," authored by Eugenio G. Omodeo. Published by Springer International Publishing AG in 2018, this engaging softcover edition spans 438 pages and serves as a reprint of the original 1st edition from 2016.

In this compelling book, Omodeo presents a collection of historical recollections that highlight Martin Davis's significant contributions to the fields of logic, computing, and the concept of unsolvability. Readers will gain a deeper understanding of how Davis's work has shaped contemporary discussions in computability and computational logic. This book is essential for anyone interested in the foundational aspects of mathematics and the evolution of computational theory.

Join the journey through the intellectual legacy of Martin Davis and explore the intricate relationships between logic and computation.