The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions (Dover Books on Mathematics)

Editat de Martin Davis
Notă GoodReads:
en Limba Engleză Paperback – February 2004
An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Gödel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Gödel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition.
Citește tot Restrânge

Din seria Dover Books on Mathematics

Preț: 16185 lei

Puncte Express: 243

Preț estimativ în valută:
3152 3249$ 2672£

Carte disponibilă

Livrare economică 05-19 septembrie
Livrare express 26 august-03 septembrie pentru 2226 lei

Preluare comenzi: 021 569.72.76


ISBN-13: 9780486432281
ISBN-10: 0486432289
Pagini: 413
Dimensiuni: 164 x 233 x 22 mm
Greutate: 0.53 kg
Ediția: Dover.
Editura: Dover Publications
Seria Dover Books on Mathematics