Title
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathemat,New
Processing time: 1-3 days
US Orders Ships in: 3-5 days
International Orders Ships in: 8-12 days
Return Policy: 15-days return on defective items
Payment Option
A valuable collection both for original source material as well as historical formulations of current problems.' The Review of Metaphysics'Much more than a mere collection of papers. A valuable addition to the literature.' Mathematics of ComputationAn anthology of fundamental papers on undecidability and unsolvability by major figures in the field , this classic reference is ideally suited as a text for graduate and undergraduate courses in logic, philosophy, and foundations of mathematics. It is also appropriate for selfstudy.The text opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Godel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. Additional papers by Church, Turing, and Post cover unsolvable problems from the theory of abstract computing machines, mathematical logic, and algebra, and material by Kleene and Post includes initiation of the classification theory of unsolvable problems.Supplementary items include corrections, emendations, and added commentaries by Godel, Church, and Kleene for this volume's original publication, along with a helpful commentary by the editor.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
For more information, please visit www.P65Warnings.ca.gov.
- Q: How many pages does the book contain? A: The book contains four hundred fourteen pages. This length provides ample content for a deep exploration of undecidable propositions and computable functions.
- Q: What are the dimensions of the book? A: The book measures six point four six inches in length, zero point eight seven inches in width, and nine point one seven inches in height. These dimensions make it a manageable size for reading and reference.
- Q: What type of binding does this book have? A: This book is paperback bound. This binding type is typically lighter and more flexible, making it easy to handle.
- Q: Who is the author of 'The Undecidable'? A: The author of this book is Martin Davis. He is known for his contributions to the fields of logic and mathematics.
- Q: What category does this book belong to? A: This book falls under the category of Logic. It discusses fundamental concepts in undecidability and computability.
- Q: Is this book suitable for self-study? A: Yes, this book is suitable for self-study. It contains essential papers and commentaries that make it accessible for independent learners.
- Q: Can this book be used as a textbook for courses? A: Yes, it is ideal for graduate and undergraduate courses. The anthology format and included commentaries enhance its educational value.
- Q: Does the book include original papers by major figures in logic? A: Yes, it includes original papers by Godel, Church, Turing, and Post. These works are foundational to the study of undecidable propositions.
- Q: What topics are covered in this book? A: The book covers undecidability, unsolvability, and recursive functions. It also addresses abstract computing machines and mathematical logic.
- Q: Are there any supplementary materials included? A: Yes, the book includes corrections, emendations, and added commentaries. These supplementary materials enhance the reader's understanding.
- Q: Is this book appropriate for beginners in logic? A: Yes, it is appropriate for beginners. The anthology format and editorial commentaries make complex topics more accessible.
- Q: What is the main focus of the book? A: The main focus is on undecidable propositions and unsolvable problems. It explores foundational concepts in logic and computability.
- Q: Is this book a good resource for historical context in mathematics? A: Yes, it serves as a valuable historical resource. It includes significant papers that shaped the field of mathematical logic.
- Q: What makes this book a valuable addition to literature? A: Its compilation of fundamental papers provides both original source material and historical perspectives on important problems.
- Q: Are there any notable quotes from reviews about this book? A: Yes, reviews highlight its value as a collection of historical formulations and original source material in logic. It is praised for its comprehensive approach.