skip to content
The limits of mathematics : a course on information theory and the limits of formal reasoning Preview this item
ClosePreview this item
Checking...

The limits of mathematics : a course on information theory and the limits of formal reasoning

Author: Gregory J Chaitin
Publisher: Singapore : Springer, 1998.
Series: Springer series in discrete mathematics and theoretical computer science.
Edition/Format:   Print book : English : 2. reprintView all editions and formats
Summary:

Final version of a course on algorithmic information theory and the epistemology of mathematics and physics. The book presents a "hands on" didactic approach using LISP and Mathematica software,  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: Gregory J Chaitin
ISBN: 981308359X 9789813083592
OCLC Number: 246472747
Notes: Literaturangaben.
Description: IX, 148 Seiten : Illustrationen.
Contents: The Decline and Fall of Reductionalism.- Elegant LISP Programs.- An Invitation to Algorithmic Information Theory.- The Limits of Mathematics: examples.r, utm.r, godel2.r, omega.r, omega2.r, omega3.r, godel3.r.- Appendix: LISP interpreter in Mathematica.
Series Title: Springer series in discrete mathematics and theoretical computer science.
Responsibility: Gregory J. Chaitin.
More information:

Reviews

Editorial reviews

Publisher Synopsis

..."a very personal and idiosyncratic account of Greg Chaitins entire career in developing algorithmic information theory. The combination of the edited transcripts of his three introductory lectures 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/246472747> # The limits of mathematics : a course on information theory and the limits of formal reasoning
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "246472747" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/si> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/815663#Place/singapore> ; # Singapore
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/algorithmus_informationstheorie> ; # Algorithmus--Informationstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/informationstheorie_lisp> ; # Informationstheorie--LISP
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/information_theory> ; # Information theory
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/berechenbarkeit_swd_id_41383680> ; # Berechenbarkeit ; SWD-ID: 41383680
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/algorithmus> ; # Algorithmus
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/algorithmentheorie_swd_id_42004093> ; # Algorithmentheorie ; SWD-ID: 42004093
    schema:about <http://dewey.info/class/511.3/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/berechnungskomplexitat_swd_id_41347511> ; # Berechnungskomplexität ; SWD-ID: 41347511
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/lisp_informationstheorie> ; # LISP--Informationstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/reasoning> ; # Reasoning
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/computer_science_mathematics> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/informationstheorie_algorithmus> ; # Informationstheorie--Algorithmus
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/informationstheorie> ; # Informationstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/programmierlogik> ; # Programmierlogik
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/axiomatik> ; # Axiomatik
    schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/informationstheorie_swd_id_40269279> ; # Informationstheorie ; SWD-ID: 40269279
    schema:bookEdition "2. reprint." ;
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/22226140> ; # Gregory J. Chaitin
    schema:datePublished "1998" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/815663> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/815663#Series/springer_series_in_discrete_mathematics_and_theoretical_computer_science> ; # Springer series in discrete mathematics and theoretical computer science.
    schema:name "The limits of mathematics : a course on information theory and the limits of formal reasoning" ;
    schema:productID "246472747" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/246472747#PublicationEvent/singapore_springer_1998> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/815663#Agent/springer> ; # Springer
    schema:url <http://www.gbv.de/dms/goettingen/233570128.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9789813083592> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/246472747> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/815663#Series/springer_series_in_discrete_mathematics_and_theoretical_computer_science> # Springer series in discrete mathematics and theoretical computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/246472747> ; # The limits of mathematics : a course on information theory and the limits of formal reasoning
    schema:name "Springer series in discrete mathematics and theoretical computer science." ;
    schema:name "Springer series in discrete mathematics and theoretical computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/algorithmentheorie_swd_id_42004093> # Algorithmentheorie ; SWD-ID: 42004093
    a schema:Intangible ;
    schema:name "Algorithmentheorie ; SWD-ID: 42004093" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/algorithmus_informationstheorie> # Algorithmus--Informationstheorie
    a schema:Intangible ;
    schema:name "Algorithmus--Informationstheorie" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/berechenbarkeit_swd_id_41383680> # Berechenbarkeit ; SWD-ID: 41383680
    a schema:Intangible ;
    schema:name "Berechenbarkeit ; SWD-ID: 41383680" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/berechnungskomplexitat_swd_id_41347511> # Berechnungskomplexität ; SWD-ID: 41347511
    a schema:Intangible ;
    schema:name "Berechnungskomplexität ; SWD-ID: 41347511" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/computer_science_mathematics> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/information_theory> # Information theory
    a schema:Intangible ;
    schema:name "Information theory" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/informationstheorie> # Informationstheorie
    a schema:Intangible ;
    schema:name "Informationstheorie" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/informationstheorie_algorithmus> # Informationstheorie--Algorithmus
    a schema:Intangible ;
    schema:name "Informationstheorie--Algorithmus" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/informationstheorie_lisp> # Informationstheorie--LISP
    a schema:Intangible ;
    schema:name "Informationstheorie--LISP" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/informationstheorie_swd_id_40269279> # Informationstheorie ; SWD-ID: 40269279
    a schema:Intangible ;
    schema:name "Informationstheorie ; SWD-ID: 40269279" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/lisp_informationstheorie> # LISP--Informationstheorie
    a schema:Intangible ;
    schema:name "LISP--Informationstheorie" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/programmierlogik> # Programmierlogik
    a schema:Intangible ;
    schema:name "Programmierlogik" ;
    .

<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/9789813083592>
    a schema:ProductModel ;
    schema:isbn "981308359X" ;
    schema:isbn "9789813083592" ;
    .

<http://www.worldcat.org/title/-/oclc/246472747>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/246472747> ; # The limits of mathematics : a course on information theory and the limits of formal reasoning
    schema:dateModified "2018-06-26" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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