In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some a

"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives ca

"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical lo

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid