skip to content
Diagonalization and self-reference Preview this item
ClosePreview this item
Checking...

Diagonalization and self-reference

Author: Raymond M Smullyan
Publisher: Oxford ; New York : Clarendon Press, 1994.
Series: Oxford logic guides, 27.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

BL An introduction to the topic - pitched at an elementary level This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Godel's  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Raymond M Smullyan
ISBN: 0198534507 9780198534501
OCLC Number: 30666843
Description: xv, 396 pages : illustrations ; 24 cm.
Contents: 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.
Series Title: Oxford logic guides, 27.
Responsibility: Raymond M. Smullyan.
More information:

Reviews

Editorial reviews

Publisher Synopsis

"The book is devoted to a rather difficult topic; its style, however, makes most of its parts digestible, sometimes even enjoyable." -- Mathematical Reviews"Smullyan goes right to the essence of Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/30666843> # Diagonalization and self-reference
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "30666843" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/892262#Place/oxford> ; # Oxford
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/892262#Thing/mathematical_logic> ; # Mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/892262#Topic/godelscher_unvollstandigkeitssatz> ; # Gödelscher Unvollständigkeitssatz
    schema:about <http://experiment.worldcat.org/entity/work/data/892262#Topic/selbstbezuglichkeit> ; # Selbstbezüglichkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/892262#Topic/recursion_theory> ; # Recursion theory
    schema:about <http://experiment.worldcat.org/entity/work/data/892262#Topic/fixpunkt> ; # Fixpunkt
    schema:about <http://experiment.worldcat.org/entity/work/data/892262#Topic/recursivite_theorie_de_la> ; # Récursivité, Théorie de la
    schema:about <http://experiment.worldcat.org/entity/work/data/892262#Topic/fixed_point_theory> ; # Fixed point theory
    schema:about <http://experiment.worldcat.org/entity/work/data/892262#Topic/metamathematica> ; # Metamathematica
    schema:about <http://experiment.worldcat.org/entity/work/data/892262#Topic/recursie> ; # Recursie
    schema:about <http://experiment.worldcat.org/entity/work/data/892262#Topic/combinatorische_logica> ; # Combinatorische logica
    schema:about <http://dewey.info/class/511.3/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/892262#Topic/rekursivitat> ; # Rekursivität
    schema:about <http://experiment.worldcat.org/entity/work/data/892262#Topic/fixpunkttheorie> ; # Fixpunkttheorie
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/892262#Person/smullyan_raymond_m> ; # Raymond M. Smullyan
    schema:datePublished "1994" ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/892262> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/892262#Series/oxford_logic_guides> ; # Oxford logic guides ;
    schema:name "Diagonalization and self-reference"@en ;
    schema:productID "30666843" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/30666843#PublicationEvent/oxford_new_york_clarendon_press_1994> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/892262#Agent/clarendon_press> ; # Clarendon Press
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0605/94003400-t.html> ;
    schema:url <http://www.gbv.de/dms/hbz/toc/ht006298373.PDF> ;
    schema:workExample <http://worldcat.org/isbn/9780198534501> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9476340> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/30666843> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/892262#Agent/clarendon_press> # Clarendon Press
    a bgn:Agent ;
    schema:name "Clarendon Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/892262#Person/smullyan_raymond_m> # Raymond M. Smullyan
    a schema:Person ;
    schema:familyName "Smullyan" ;
    schema:givenName "Raymond M." ;
    schema:name "Raymond M. Smullyan" ;
    .

<http://experiment.worldcat.org/entity/work/data/892262#Series/oxford_logic_guides> # Oxford logic guides ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/30666843> ; # Diagonalization and self-reference
    schema:name "Oxford logic guides ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/892262#Thing/mathematical_logic> # Mathematical logic
    a schema:Thing ;
    schema:name "Mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/892262#Topic/combinatorische_logica> # Combinatorische logica
    a schema:Intangible ;
    schema:name "Combinatorische logica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892262#Topic/fixed_point_theory> # Fixed point theory
    a schema:Intangible ;
    schema:name "Fixed point theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892262#Topic/fixpunkttheorie> # Fixpunkttheorie
    a schema:Intangible ;
    schema:name "Fixpunkttheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892262#Topic/godelscher_unvollstandigkeitssatz> # Gödelscher Unvollständigkeitssatz
    a schema:Intangible ;
    schema:name "Gödelscher Unvollständigkeitssatz"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892262#Topic/metamathematica> # Metamathematica
    a schema:Intangible ;
    schema:name "Metamathematica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892262#Topic/recursion_theory> # Recursion theory
    a schema:Intangible ;
    schema:name "Recursion theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892262#Topic/recursivite_theorie_de_la> # Récursivité, Théorie de la
    a schema:Intangible ;
    schema:name "Récursivité, Théorie de la"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892262#Topic/selbstbezuglichkeit> # Selbstbezüglichkeit
    a schema:Intangible ;
    schema:name "Selbstbezüglichkeit"@en ;
    .

<http://worldcat.org/isbn/9780198534501>
    a schema:ProductModel ;
    schema:isbn "0198534507" ;
    schema:isbn "9780198534501" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.