The Assayer: Metamath The Assayer - book reviews and discussion for the free-information renaissance
home    help    links    log in    log out    add or review a book    contact
Browse by    subject    author    title    reviewer

Metamath

AuthorN. Megill Entered2004-01-08 10:30:22 by Ryanov
Editedit data record FreedomCopyrighted, doesn't cost money to read, but otherwise not free (disclaimer)
SubjectQ.A - Mathematics. Computer science (Mathematics)
Read
http://www.metamath.org/
You can't update this URL or report it OK or broken because you aren't logged in.
ReviewYou can't add a review of this book right now because you're not logged in.
Notify
Profound
by Ryan Scott on 2004-01-08 10:30:22, review #366
content
better than 99%
writing
better than 90%
This site is not really a book, but is more of a tutorial with a lot of reference information. Its purpose is to rigorously prove the foundations of virtually all of mathematics (using ZFC set theory); it takes common notions and theorems in math and and shows how they melt down all the way back to the axioms of ZFC set theory! There is a proof that 2+2=4 (very hard, actually) using these axioms. In addition, there are a lot of proofs about Hilbert spaces and the so-called Quantum Logic. You don't even have to know much math to carefully follow the proofs, because all proofs are given in complete and total detail; and in each step of the proof you can click on the step used and see the proof that that individual step is also true, back to the axioms. It's a huge web of truly rigorous, mathematical proofs of all the important statements that form the foundation of what higher mathematicians do. Definitely worth a look.


You cannot revise or reply to this post because you are not logged in.

The contents of this web page, except the parts contributed by members of The Assayer, are copyright (c) 2000 by Benjamin Crowell, and are copyleft licensed under the Open Publication License 1.0, without options A or B.