Recursion Theory for Metamathematics

Raymond M. Smullyan (Autor)

Buch | Hardcover

184 Seiten

1993
Oxford University Press Inc (Verlag)
978-0-19-508232-6 (ISBN)

Artikel merken

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).

This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

1. Recursive Enumerability and Recursivity ; 2. Undecidability and Recursive Inseparability ; 3. Indexing ; 4. Generative Sets and Creative Systems ; 5. Double Generativity and Complete Effective Inseparability ; 6. Universal and Doubly Universal Systems ; 7. Shepherdson Revisited ; 8. Recursion Theorems ; 9. Symmetric and Double Recursion Theorems ; 10. Productivity and Double Productivity ; 11. Three Special Topics ; 12. Uniform Godelization

Erscheint lt. Verlag	15.7.1993
Reihe/Serie	Oxford Logic Guides ; 22
Verlagsort	New York
Sprache	englisch
Maße	234 x 156 mm
Gewicht	431 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-19-508232-X / 019508232X
ISBN-13	978-0-19-508232-6 / 9780195082326
Zustand	Neuware