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

Buch 10 von 29: Outstanding Contributions to Logic
 
9783319418438: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Softcover
ISBN 10: 3319418432 ISBN 13: 9783319418438
Verlag: Springer, 2017

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2017
Sprache
Englisch
ISBN 10 
3319418432
ISBN 13 
9783319418438
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

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