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 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 <a href="http://us2.metamath.org:8888/index.html">Metamath</a> web site.
Details
- Publication Date
- May 5, 2005
- Language
- English
- ISBN
- 9781411637245
- Category
- Science & Medicine
- Copyright
- All Rights Reserved - Standard Copyright License
- Contributors
- By (author): Norman Megill
Specifications
- Pages
- 211
- Binding
- Perfect Bound
- Interior Color
- Black & White
- Dimensions
- US Trade (6 x 9 in / 152 x 229 mm)