Recursion Theory for Metamathematics
Published on 15. July 1993
Book
Hardback
184 pages
978-0-19-508232-6 (ISBN)
Description
This work is a sequel to the author's Goedel's Incompleteness Theorems, though it can be read independently by anyone familiar with Goedel'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.
Reviews / Votes
highly recommended * A.D. Irvine, University of British Columbia, History and Philosophy of Logic, 15 (1994) * thanks to the virtual lack or prerequisites and the detailed, easy-to-follow proofs, Recursion Theory for Metamathematics is highly accessible to beginning logicians ... There is much, both in results and in methods, that will be of interest to a variety of readers. * Leon Harkleroad, Modern Logic, Volume 4, No. 3 (July 1994) *More details
Series
Language
English
Place of publication
New York
United States
Target group
Professional and scholarly
Dimensions
Height: 240 mm
Width: 161 mm
Thickness: 14 mm
Weight
440 gr
ISBN-13
978-0-19-508232-6 (9780195082326)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Raymond M. Smullyan
Recursion Theory for Metamathematics
E-Book
01/1993
1st Edition
OUP eBook
€147.99
Available for download
Person
Content
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