Metamath
|
ISBN: 978-1-4116-3724-5
Publisher: Norman Megill
Copyright:
© 2007 (public domain) Standard Copyright License
Language: English
Country: United States
|
Printed: 211 pages, 6" x 9", perfect binding, black and white interior ink Download:
1 documents, 1346 KB
Description: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 web site. Keywords:Listed in: |
Stats:
Lulu Sales Rank: 26,538
This item has not yet been rated. Be the first to rate it!
Reviews:
Please log in or sign up to post a review.
Among all the languages for representing mathematical proofs, Metamath stands alone in its simplicity and elegance. This book begins by describing the need for a system like Metamath and the author's inspiring journey towards creating it. It continues with a step-by-step guide to using the metamath program to write and check proofs and ends with a precise description of the Metamath formal system itself. As a bonus, an appendix formalizes Hofstadter's MIU system in Metamath and shows how to derive "MUIIU".
This is an excellent, one-of-a-kind book. To anyone wishing to understand abstract mathematics from first principles in a completely rigorous way, I say: this is the book for which you've been waiting.
This is an excellent, one-of-a-kind book. To anyone wishing to understand abstract mathematics from first principles in a completely rigorous way, I say: this is the book for which you've been waiting.
[Click the preview to close]


