Tell your friends about this item:
Recursion Theory for Metamathematics - Oxford Logic Guides Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy, Indiana University)
Recursion Theory for Metamathematics - Oxford Logic Guides
Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy, Indiana University)
In 1931, Princeton mathematician Kurt Godel 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 Godel's 'Incompleteness Theorems' (Oxford Logic Guides No. 19, 1992).
178 pages, bibliography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | July 15, 1993 |
| ISBN13 | 9780195082326 |
| Publishers | Oxford University Press Inc |
| Pages | 184 |
| Dimensions | 242 × 163 × 17 mm · 422 g |
| Language | English |