Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Couverture souple

Livre 10 sur 29: Outstanding Contributions to Logic
 
9783319418438: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Couverture souple
ISBN 10 : 3319418432 ISBN 13 : 9783319418438
Editeur : Springer, 2017

L'édition de cet ISBN n'est malheureusement plus disponible.

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2017
Langue
anglais
ISBN 10 
3319418432
ISBN 13 
9783319418438
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783319418414: Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Edition présentée

ISBN 10 :  3319418416 ISBN 13 :  9783319418414
Editeur : Springer International Publishin..., 2017
Couverture rigide