eBook Metamath download
by Norman Megill
Author: Norman Megill
Publisher: Lulu.com (July 2, 2005)
ePub: 1207 kb
Fb2: 1319 kb
Other formats: txt lrf azw mobi
Category: Math Sciences
The Metamath Proof Explorer references many text books that can be used in conjunction with Metamath.
The Metamath Proof Explorer references many text books that can be used in conjunction with Metamath. Thus, people interested in studying mathematics can use Metamath in connection with these books and verify that the proved assertions match the literature. Intuitionistic Logic Explorer. This database develops mathematics from a constructive point of view, starting with the axioms of intuitionistic logic and continuing with axioms of constructive set theory.
Remember that Metamath has a standard command line interface and you have to use the Command Prompt if you are using Windows.
bz2 (10 MB) or metamath. gz (12 MB) or metamath.
Mathematics Revealed . Logic and Set Theory Set theory can be viewed as a form of exact theology.
It is mainly a work by Norman Megill but there are also proofs made by other participants. Thus, people interested in studying mathematics can use Metamath in connection with these books. Technically speaking se. m develops-in the Hilbert style-ZFC set theory with the addition of the Grothendieck-Tarski axiom (to manage categories). The underlying logic is classical propositional calculus and classical predicate calculus with equality. Annexe 2: Other works connected to Metamath.
Authors and Affiliations. 1. o institute given. Megill N. (2006) Metamath. In: Wiedijk F. (eds) The Seventeen Provers of the World. Lecture Notes in Computer Science, vol 3600. Cite this chapter as: Megill N. Springer, Berlin, Heidelberg. Publisher Name Springer, Berlin, Heidelberg. Print ISBN 978-3-540-30704-4. Online ISBN 978-3-540-32888-9. eBook Packages Computer Science.