Describes the use of computer programs to check several proofs in the foundations of mathematics.

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

The first book to present a readable explanation of Godel's theorem to both scholars and non-specialists, this is a gripping combination of science and accessib

Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple a

Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national