Ebook: The unknowable
Author: Gregory J Chaitin
- Series: Springer series in discrete mathematics and theoretical computer science
- Year: 1999
- Publisher: Springer
- City: Singapore ; New York
- Edition: draft
- Language: English
- djvu
A hundred years of controversy regarding the foundations of mathematics -- LISP: a formalism for expressing mathematical algorithms -- Gödel's proof of his incompleteness theorem -- Turing's proof of the unsolvability of the halting problem -- My proof that you can't show that a LISP expression is elegant -- Information & randomness: a survey of algorithmic information theory -- Mathematics i the third millennium?
Download the book The unknowable for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)