carnevalemanfredonia.it

eBook Metamath download

by Norman Megill

eBook Metamath download ISBN: 1411637240
Author: Norman Megill
Publisher: Lulu.com (July 2, 2005)
Language: English
Pages: 207
ePub: 1207 kb
Fb2: 1319 kb
Rating: 4.5
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.

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 metamath.org web site. (Note: the Preview is an on-line copy of the entire book so that you can see exactly what you'll be buying.)