Warenkorb
 

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions

Basic Papers on Undecidable Propostions, Unsolvable Problems

An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Godel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition.
… weiterlesen
In den Warenkorb

Beschreibung

Produktdetails


Einband Taschenbuch
Herausgeber Martin Davis
Seitenzahl 413
Erscheinungsdatum 01.02.2004
Sprache Englisch
ISBN 978-0-486-43228-1
Reihe Dover Books on Mathematics
Verlag Dover Publications
Maße (L/B/H) 23,3/16,4/2,2 cm
Gewicht 740 g
Buch (Taschenbuch, Englisch)
21,99
inkl. gesetzl. MwSt.
Versandfertig in 5 - 7 Tagen
Versandkostenfrei
In den Warenkorb
PAYBACK Punkte
Ihr Feedback zur Seite
Haben Sie alle relevanten Informationen erhalten?
Vielen Dank für Ihr Feedback!
Entschuldigung, beim Absenden Ihres Feedbacks ist ein Fehler passiert. Bitte versuchen Sie es erneut.

Kundenbewertungen

Es wurden noch keine Bewertungen geschrieben.