The Undecidable
Editat de Martin Davisen Limba Engleză Paperback – 18 feb 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.
Preț: 149.13 lei
Puncte Express: 224
Carte disponibilă
Livrare economică 06-20 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9780486432281
ISBN-10: 0486432289
Pagini: 413
Dimensiuni: 164 x 233 x 22 mm
Greutate: 0.74 kg
Ediția:Dover.
Editura: Dover Publications
ISBN-10: 0486432289
Pagini: 413
Dimensiuni: 164 x 233 x 22 mm
Greutate: 0.74 kg
Ediția:Dover.
Editura: Dover Publications