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 ; [New York] : Springer, ©1998.
Series: Springer series in discrete mathematics and theoretical computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
This book presents the final version of Chaitin's course on the limits of mathematical reasoning. This course uses algorithmic information theory to show that mathematics has serious limitations, and features a new more didactic approach to algorithmic information theory using LISP and Mathematica software. The thesis of the book is that the incompleteness phenomenon discovered by Godel is much more widespread and  Read more...
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: 981308359X 9789813083592
OCLC Number: 154268807
Description: ix, 148 pages ; 25 cm.
Contents: Randomness in arithmetic and the decline and fall of reductionism in pure mathematics --
Elegant LISP programs --
An invitation to algorithmic information theory --
The limits of mathematics --
App. LISP interpreter in Mathematica.
Series Title: Springer series in discrete mathematics and theoretical computer science.
Responsibility: Gregory J. Chaitin.

Abstract:

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...

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/154268807> # The limits of mathematics : a course on information theory and the limits of formal reasoning
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "154268807" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/815663#Place/singapore> ; # Singapore
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Thing/matematikk> ; # matematikk
   schema:about <http://id.worldcat.org/fast/1091282> ; # Reasoning
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/algorithmentheorie> ; # Algorithmentheorie
   schema:about <http://id.worldcat.org/fast/973149> ; # Information theory
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/informationstheorie> ; # Informationstheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/berechnungskomplexitat> ; # Berechnungskomplexität
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Thing/informatikk> ; # informatikk
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/godelscher_unvollstandigkeitssatz> ; # Gödelscher Unvollständigkeitssatz
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/berechenbarkeit> ; # Berechenbarkeit
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/programmierlogik> ; # Programmierlogik
   schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/axiomatik> ; # Axiomatik
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Topic/informatik> ; # Informatik
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/815663#Thing/informasjonsteori> ; # informasjonsteori
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1998" ;
   schema:creator <http://viaf.org/viaf/22226140> ; # Gregory J. Chaitin
   schema:datePublished "1998" ;
   schema:description "Randomness in arithmetic and the decline and fall of reductionism in pure mathematics -- Elegant LISP programs -- An invitation to algorithmic information theory -- The limits of mathematics -- App. LISP interpreter in Mathematica."@en ;
   schema:description "This book presents the final version of Chaitin's course on the limits of mathematical reasoning. This course uses algorithmic information theory to show that mathematics has serious limitations, and features a new more didactic approach to algorithmic information theory using LISP and Mathematica software. The thesis of the book is that the incompleteness phenomenon discovered by Godel is much more widespread and serious than hitherto suspected."@en ;
   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"@en ;
   schema:productID "154268807" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/154268807#PublicationEvent/singapore_new_york_springer_1998> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/815663#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9789813083592> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/154268807> ;
    .


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/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/154268807> ; # 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#Thing/informasjonsteori> # informasjonsteori
    a schema:Thing ;
   schema:name "informasjonsteori" ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/algorithmentheorie> # Algorithmentheorie
    a schema:Intangible ;
   schema:name "Algorithmentheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/815663#Topic/berechnungskomplexitat> # Berechnungskomplexität
    a schema:Intangible ;
   schema:name "Berechnungskomplexität"@en ;
    .

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

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

<http://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

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

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

<http://id.worldcat.org/fast/973149> # Information theory
    a schema:Intangible ;
   schema:name "Information theory"@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/9789813083592>
    a schema:ProductModel ;
   schema:isbn "981308359X" ;
   schema:isbn "9789813083592" ;
    .

<http://www.worldcat.org/title/-/oclc/154268807>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/154268807> ; # The limits of mathematics : a course on information theory and the limits of formal reasoning
   schema:dateModified "2018-03-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.