Martin Davis on Computability, Computational Logic, and Mathematical Foundations

• Chapter 1. My Life as a Logician (Martin Davis).- Chapter 2. Martin Davis and Hilbert’s Tenth Problem (Yuri Matiyasevich).- Chapter 3. Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory (Alexandra Shlapentokh).- Chapter 4. A Story of Hilbert’s Tenth Problem (Laura Elena Morales Guerrero).- Chapter 5. Hyperarithmetical Sets (Yiannis N. Moschovakis).- Chapter 6. Honest Computability and Complexity (Udi Boker and Nachum Dershowitz).- Chapter 7. Why Post Did [Not] Have Turing’s Thesis (Wilfried Sieg).- Chapter 8. On Quantum Computation, Anyons, and Categories (Andreas Blass).

“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)