Diagonalization and Self-Reference by Raymond M. SmullyanDiagonalization and Self-Reference by Raymond M. Smullyan

Diagonalization and Self-Reference

byRaymond M. Smullyan

Hardcover | February 1, 1984

Pricing and Purchase Info


Earn 2,738 plum® points

Prices and offers may vary in store


Ships within 1-2 weeks

Ships free on orders over $25

Not available in stores


The main purpose of this book is to present a unified treatment of fixed points as they occur in Godel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The firstchapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.
Raymond M. Smullyan is at Indiana University.
Title:Diagonalization and Self-ReferenceFormat:HardcoverDimensions:412 pages, 9.21 × 6.14 × 1.02 inPublished:February 1, 1984Publisher:Oxford University Press

The following ISBNs are associated with this title:

ISBN - 10:0198534507

ISBN - 13:9780198534501

Look for similar items by category:


Table of Contents

I Introduction to Self-Reference and Recursion1. Introduction to self-reference2. Some classical fixed point argument compared3. How to silence a universale machine4. Some general incompleteness theorems5. Self-reference in arithmetic6. Introduction to formal systems and recursion7. A universal system and its applicationsII Systems with Effective Properties8. Arithmetization of formal systems9. Elementary formal systems and incompleteness proofs10. Doubly indexed relational systems11. Effective representation systemsIII Fixed Point Theorems in a General Setting12. Sequential systems13. Strong fixed point properties14. Multiple fixed point properties15. Synchronization and pairing functions16. Some further relations between fixed point propertiesIV Combinators and Sequential systems17. Fixed point properties of combinatory logic18. Formal combinatory logic19. A second variety of fixed point theorems20. Extended sequential systems