The Unknowable / Edition 1

The Unknowable / Edition 1

by Gregory J. Chaitin, G. J. Chaitin
     
 

This essential companion volume to Chaitin's highly successful "The Li mits of Mathematics", also published by Springer, gives a brilliant hi storical survey of the work of this century on the foundations of math ematics, in which the author was a major participant. The Unknowable i s a very readable and concrete introduction to Chaitin's ideas, and it includes a

See more details below

Overview

This essential companion volume to Chaitin's highly successful "The Li mits of Mathematics", also published by Springer, gives a brilliant hi storical survey of the work of this century on the foundations of math ematics, in which the author was a major participant. The Unknowable i s a very readable and concrete introduction to Chaitin's ideas, and it includes a detailed explanation of the programming language used by C haitin in both volumes. It will enable computer users to interact with the author's proofs and discover for themselves how they work.

Product Details

ISBN-13:
9789814021722
Publisher:
Springer Singapore
Publication date:
07/01/1999
Series:
Discrete Mathematics and Theoretical Computer Science Series
Edition description:
1999
Pages:
124
Product dimensions:
6.41(w) x 9.56(h) x 0.67(d)

Meet the Author

Table of Contents

I. A Hundred Years of Controversy Regarding the Foundations of Mathematics.- II. LISP: A Formalism for Expressing Mathematical Algorithms.- III. Gödel's Proof of his Incompleteness Theorem.- IV. Turing's Proof of the Unsolvability of the Halting Problem.- V. My Proof that You Can Show that a LISP Expression is Elegant.- VI. Information & Randomness: A Survey of Algorithmic Information Theory.- VII. Mathematics in the Third Millennium?- Bibliography.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >