Martin Davis on Computability, Computational Logic, and Mathematical Foundations

132.63 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10448224

Beschreibung

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

Eigenschaften

Breite:	162
Gewicht:	854 g
Höhe:	235
Länge:	32
Seiten:	438
Sprachen:	Englisch
Autor:	Alberto Policriti, Eugenio G. Omodeo

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.