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/berechenbarkeit_swd_id_41383680> ; # Berechenbarkeit ; SWD-ID: 41383680
   schema:about <http://id.loc.gov/authorities/subjects/sh85111790> ; # Reasoning
   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://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
   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://id.loc.gov/authorities/subjects/sh85066289> ; # Information theory
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/1091282> ; # Reasoning
   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://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/informationstheorie_swd_id_40269279> ; # Informationstheorie ; SWD-ID: 40269279
   schema:about <http://id.worldcat.org/fast/973149> ; # Information theory
   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/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://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics" ;
    .

<http://id.loc.gov/authorities/subjects/sh85066289> # Information theory
    a schema:Intangible ;
   schema:name "Information theory" ;
    .

<http://id.loc.gov/authorities/subjects/sh85111790> # Reasoning
    a schema:Intangible ;
   schema:name "Reasoning" ;
    .

<http://id.worldcat.org/fast/1091282> # Reasoning
    a schema:Intangible ;
   schema:name "Reasoning" ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics" ;
    .

<http://id.worldcat.org/fast/973149> # Information theory
    a schema:Intangible ;
   schema:name "Information theory" ;
    .

<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-11-11" ;
   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.