Synopses & Reviews
Synopsis
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).