Go?del's proof
A combination of science and accessibility, this book is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity. It presents a readable explanation to both scholars and non-specialists alike.
eBook, English, 2005
Routledge, London, 2005
1 online resource (94 pages) : illustrations
9780203715222, 0203715225
900416168
1. Introduction
2. The problem of consistency
3. Absolute proofs of consistency
4. The systematic codification of formal logic
5. An example of a successful absolute proof of consistency
6. The idea of mapping and its use in mathematics
7. Go?del's proofs
8. Concluding reflections