Recursion Theory for Metamathematics |
|
| Author:
| Smullyan, Raymond M. |
| Series title: | Oxford Logic Guides |
| ISBN: | 978-0-19-508232-6 |
| Publication Date: | Jan 1993 |
| Publisher: | Oxford University Press, Incorporated
|
| Book Format: | Hardback |
| List Price: | USD $240.00 |
Book Description:
|
In 1931, Princeton mathematician Kurt Gödel startled the scientific world with his Theorem of Undecidability, which showed that some statements in mathematics are inherently `undecidable'. This volume of the Oxford Logic Guides is a sequel to Smullyan's Gödel's Incompleteness Theorems (Oxford Logic Guides No. 19, 1992), but it can be read independently by anyone familiar with at least one proof of Gödel's incompleteness theorem for Peano Arithmetic. This volume was written for...
More DescriptionIn 1931, Princeton mathematician Kurt Gödel startled the scientific world with his Theorem of Undecidability, which showed that some statements in mathematics are inherently `undecidable'. This volume of the Oxford Logic Guides is a sequel to Smullyan's Gödel's Incompleteness Theorems (Oxford Logic Guides No. 19, 1992), but it can be read independently by anyone familiar with at least one proof of Gödel's incompleteness theorem for Peano Arithmetic. This volume was written for mathematicians, philosphers, and computer scientists who are curious about Gödel's incompleteness theorems. The only prerequisite would be a first course in mathematical logic.