Book of Donmon Teith

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.

In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A col

A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.

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