The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions Contributor(s): Davis, Martin (Editor) |
|
ISBN: 0486432289 ISBN-13: 9780486432281 Publisher: Dover Publications OUR PRICE: $22.46 Product Type: Paperback - Other Formats Published: February 2004 Annotation: An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Go del's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Go del, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition. |
Additional Information |
BISAC Categories: - Mathematics | Logic |
Dewey: 511.3 |
LCCN: 2003067180 |
Series: Dover Books on Mathematics |
Physical Information: 0.85" H x 6.44" W x 9.16" (1.16 lbs) 413 pages |
Descriptions, Reviews, Etc. |
Publisher Description: "A valuable collection both for original source material as well as historical formulations of current problems." -- The Review of Metaphysics |