Metamath is a tiny computer language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. The first part of the book provides... More > easy-to-read informal discussion of abstract mathematics and computers for general audiences. The later parts provide in-depth coverage of the foundations of mathematics, the Metamath language, and the Metamath program.< Less
Metamath is a tiny computer language that can express theorems in
abstract mathematics, accompanied by proofs that can be verified by a
computer program. The first part of the book provides... More > easy-to-read
informal discussion of abstract mathematics and computers for general
audiences. The later parts provide in-depth coverage of the foundations of mathematics, the Metamath
language, and the Metamath program. More information can be found at
the Metamath web site.< Less
Metamath is a tiny computer language that can express theorems in
abstract mathematics, accompanied by proofs that can be verified by a
computer program. The first part of the book provides... More > easy-to-read
informal discussion of abstract mathematics and computers for general
audiences. The later parts provide in-depth coverage of the foundations of mathematics, the Metamath
language, and the Metamath program. More information can be found at
the Metamath web site.< Less