Diagonalization and self-reference

by Smullyan, Raymond M.

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Diagonalization and self-reference / Raymond M. Smullyan.

Edition Statements

Publication Date:1994.

Publication Statements

Publisher(s):Clarendon Press
Place of Publication:Oxford
Language:eng
Publication Date:1994.

The Physical Object

Description:xv, 396 pages : : illustrations ; : 24 cm.

Edition Identifiers

ISBN:0198534507, 9780198534501
oclc:ocm30666843
LC Classification:QA9.6
Dewey Decimal:511.3

1. Introduction to self-reference -- 2. Some classical fixed point arguments compared -- 3. How to silence a universal machine -- 4. Some general incompleteness theorems -- 5. Self-reference in arithmetic -- 6. Introduction to formal systems and recursion -- 7. A universal system and its applications -- 8. Arithmetization of formal systems -- 9. Elementary formal systems and incompleteness proofs -- 10. Doubly indexed relational systems -- 11. Effective representation systems -- 12. Sequential systems -- 13. Strong fixed point properties -- 14. Multiple fixed point properties -- 15. Synchronization and pairing functions -- 16. Some further relations between fixed point properties -- 17. Fixed point properties of combinatory logic -- 18. Formal combinatory logic -- 19. A second variety of fixed point theorems -- 20. Extended sequential systems.

Subjects

Combinatorische logica Fixed point theory Fixpunkt Fixpunkttheorie Gödelscher Unvollständigkeitssatz Mathematical logic Metamathematica Recursie Recursion theory Récursivité, Théorie de la Rekursivität Selbstbezüglichkeit Théorème du point fixe Théorie de la récursivité