The Unknowable

This companion volume to G.J. Chaitin's The Limits of Mathematics gives a historical survey of work in the 20th century on the foundations of mathematics. The t... » 

This companion volume to G.J. Chaitin's The Limits of Mathematics gives a historical survey of work in the 20th century on the foundations of mathematics. The text is an introduction to Chaitin's ideas and includes an explanation of the programming language used by him in both volumes. «