|
Title: The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
Purchase
Item
Manufacturer: Dover Publications
List Price: $24.95
Our Price: $13.81
|
|
| Customer Reviews: |
| The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions by Dover Publications Very useful reference | | This is a great collection of seminal papers by Goedel, Church, Turing, Rosser, Kleene, and Post on the topic of undecidability. It is an extremely handy reference. Just to note: this is certainly not a tutorial or guide to this topic for the beginner. Davis provides some prefatory comments, but these are concise and mostly set the context for the papers, rather than explaining the content of the papers. This book is more for someone interested in going back to first sources. | | The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions by Dover Publications Product Description | 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.
|
No item elements found in rss feed.
|
