The Unknowable - Rilegato

Chaitin, Gregory J.

Rilegato

ISBN 10: 9814021725 ISBN 13: 9789814021722

Casa editrice: Springer Nature, 1999

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

Su questo libro

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.

Product Description:

Book by Chaitin Gregory J

Su questa edizione

• Editore: Springer Nature
• Data di pubblicazione: 1999
• ISBN 10: 9814021725
• ISBN 13: 9789814021722
• Rilegatura: Copertina rigida
• Numero di pagine: 122