Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Softcover

Book 10 of 29: Outstanding Contributions to Logic
 
9783319418438: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Softcover
ISBN 10: 3319418432 ISBN 13: 9783319418438
Publisher: Springer, 2017

This specific ISBN edition is currently not available.

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

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2017
Language
English
ISBN 10 
3319418432
ISBN 13 
9783319418438
Binding
Paperback

Other Popular Editions of the Same Title

9783319418414: Martin Davis on Computability, Computational Logic, and Mathematical Foundations: 10 (Outstanding Contributions to Logic, 10)

Featured Edition

ISBN 10:  3319418416 ISBN 13:  9783319418414
Publisher: Springer, 2017
Hardcover