Home › Categories › Technology› Metamath

Metamath.pdf

metamath.pdf

🔗 Source: us.metamath.org

📊 Size: 1.07 MB

📄 Pages: 247 pages

⬇️ Downloads: 302

Summary

Metamath is a computer language for mathematical proofs, released into the public domain by Norman Megill and David A. Wheeler. The book covers the use of computers in mathematics, including computer algebra systems, automated theorem provers, and proof verifiers. It introduces the Metamath language and program, which can be used to create and verify formal proofs. The language is based on a formal system with axioms for propositional calculus, predicate calculus, and set theory. The book provides a specification of the Metamath language, including its syntax, proof verification, and basic keywords. It also covers the anatomy of a proof, extensions to the language, and the use of the Metamath program.

Download File

Description

Metamath is a computer language for mathematical proofs, released into the public domain by Norman Megill and David A. Wheeler.

Technical Information

File Format: PDF
File Size: 1.07 MB
Pages: 247
Language: EN
Total Downloads: 302
Last Updated: 2 weeks ago

Document Overview

This PDF document about Metamath provides comprehensive information and guidance. Whether you're a beginner or advanced user, this resource offers valuable insights into Metamath.