Skip to main content alibris logo

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

by

Write The First Customer Review
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions - Davis, Martin (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency
Browse related Subjects
+ Browse All Subjects

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.

loading
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions 2004, Dover Publications, Mineola, NY

ISBN-13: 9780486432281

Trade paperback