The Unknowable (Discrete Mathematics and Theoretical Computer Science)

Gregory J. Chaitin

ISBN 10: 9814021725 / ISBN 13: 9789814021722

Editore: Springer, 1999

Riguardo questo articolo

Codice articolo mon0003731433

Dati bibliografici

Titolo: The Unknowable (Discrete Mathematics and ...

Casa editrice: Springer

Data di pubblicazione: 1999

Legatura: Hardcover

Condizione: Very Good

Condizione sovraccoperta: Includes dust jacket.

Descrizione articolo

Riassunto:

This essential companion to Chaitins highly successful The Limits of Mathematics, gives a brilliant historical survey of important work on the foundations of mathematics. The Unknowable is a very readable introduction to Chaitins ideas, and includes software (on the authors website) that will enable users to interact with the authors proofs. "Chaitins new book, The Unknowable, is a welcome addition to his oeuvre. In it he manages to bring his amazingly seminal insights to the attention of a much larger audience His work has deserved such treatment for a long time." JOHN ALLEN PAULOS, AUTHOR OF ONCE UPON A NUMBER

Contenuti:

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.