The Unknowable (Discrete Mathematics and Theoretical Computer Science)

About this book

This essential companion volume to Chaitins highly successful "The Limits of Mathematics" also published by Springer gives a brilliant historical survey of the work of this century on the foundations of mathematics in which the author was a major participant. The Unknowable is a very readable and concrete introduction to Chaitins ideas and it includes a detailed explanation of the programming language used by Chaitin in both volumes. It will enable computer users to interact with the authors proofs and discover for themselves how they work. The software for The Unknowable can be downloaded from the authors Web site.