skip to content
Algorithmic information theory Preview this item
ClosePreview this item
Checking...

Algorithmic information theory

Author: Gregory J Chaitin
Publisher: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1990, ©1987.
Series: Cambridge tracts in theoretical computer science, 1.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Expounds Goedel's incompleteness theorey using an information theoretic approach based on the size of computer programs.

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Gregory J Chaitin
ISBN: 0521343062 9780521343060
OCLC Number: 21319284
Notes: "Reprinted with revisions 1990"--Title page verso.
Description: x, 178 pages ; 26 cm.
Contents: Foreword; Preface; Figures; 1. Introduction; Part I. Formalisms for Computation: Register Machines, Exponential Diophantine Equations, and Pure LISP: 2. The arithmetization of register machines; 3. A version of Pure LISP; 4. The LISP interpreter EVAL; Part II. Program Size, Halting Probabilities, Randomness, and Metamathematics: 5. Conceptual development; 6. Program size; 7. Randomness; 8. Incompleteness; 9. Conclusion; Bibliography.
Series Title: Cambridge tracts in theoretical computer science, 1.
Responsibility: Gregory J. Chaitin.

Reviews

Editorial reviews

Publisher Synopsis

"If you're interested in computability theory and computational complexity, Algorithmic Information Theory belongs on your bookshelf." AI Expert

 
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/21319284> # Algorithmic information theory
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "21319284" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/11563962#Place/cambridge_cambridgeshire> ; # Cambridge Cambridgeshire
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/11563962#Topic/lisp_langage_de_programmation> ; # LISP (Langage de programmation)
   schema:about <http://experiment.worldcat.org/entity/work/data/11563962#Topic/complexite_de_calcul_informatique> ; # Complexité de calcul (Informatique)
   schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
   schema:about <http://id.worldcat.org/fast/989718> ; # LISP (Computer program language)
   schema:about <http://experiment.worldcat.org/entity/work/data/11563962#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/22226140> ; # Gregory J. Chaitin
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/11563962> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/11563962#Series/cambridge_tracts_in_theoretical_computer_science> ; # Cambridge tracts in theoretical computer science ;
   schema:name "Algorithmic information theory"@en ;
   schema:productID "21319284" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/21319284#PublicationEvent/cambridge_cambridgeshire_new_york_cambridge_university_press_1990_1987> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/11563962#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:workExample <http://worldcat.org/isbn/9780521343060> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/21319284> ;
    .


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/11563962#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/11563962#Place/cambridge_cambridgeshire> # Cambridge Cambridgeshire
    a schema:Place ;
   schema:name "Cambridge Cambridgeshire" ;
    .

<http://experiment.worldcat.org/entity/work/data/11563962#Series/cambridge_tracts_in_theoretical_computer_science> # Cambridge tracts in theoretical computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/21319284> ; # Algorithmic information theory
   schema:name "Cambridge tracts in theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/11563962#Topic/automates_mathematiques_theorie_des> # Automates mathématiques, Théorie des
    a schema:Intangible ;
   schema:name "Automates mathématiques, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/11563962#Topic/complexite_de_calcul_informatique> # Complexité de calcul (Informatique)
    a schema:Intangible ;
   schema:name "Complexité de calcul (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/11563962#Topic/lisp_langage_de_programmation> # LISP (Langage de programmation)
    a schema:Intangible ;
   schema:name "LISP (Langage de programmation)"@fr ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
   schema:name "Machine theory"@en ;
    .

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
   schema:name "Computational complexity"@en ;
    .

<http://id.worldcat.org/fast/989718> # LISP (Computer program language)
    a schema:Intangible ;
   schema:name "LISP (Computer program language)"@en ;
    .

<http://viaf.org/viaf/22226140> # Gregory J. Chaitin
    a schema:Person ;
   schema:familyName "Chaitin" ;
   schema:givenName "Gregory J." ;
   schema:name "Gregory J. Chaitin" ;
    .

<http://worldcat.org/isbn/9780521343060>
    a schema:ProductModel ;
   schema:isbn "0521343062" ;
   schema:isbn "9780521343060" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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