Metamath book for 2019 available!
7y ago
Source
dwheeler.comMetamath book for 2019 available!dwheeler.comOne of my hobbies is playing with Metamath , a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. I find it absolutely fascinating. I’m happy to announce that the 2019 hardcover version of the so-called Metamath book is now available! You can even watch me unbox a proof copy . If you’re thinking about getting your own copy, please go to Lulu here: Metamath: A Computer Language for Mathematical Proofs by Norman Megill & David A. Wheeler, 2019, ISBN 9780359702237 .
You might also wanna read
Mathematics and Computation (2019) [pdf]
math.ias.edu·7mo ago
Mathematical Minimalism
johndcook.com·2mo ago
AI's rapid progress in solving advanced math problems sparks debate among mathematicians
The article explores how AI systems like GPT-5.5 Pro are making unprecedented progress in solving advanced mathematical problems, including
newscientist.com·25d agoCalculus for Mathematicians, Computer Scientists, and Physicists [pdf]
mathcs.holycross.edu·7mo ago
A Curated Guide to Books on the Lean Programming Language
A personal, subjective guide to books about the Lean programming language and theorem prover. The author shares their reading experience, of
lakesare.brick.do·1mo ago
The Imperfect Nature of Mathematical Proof Verification Systems
The article discusses the inherent limitations and potential failures in mathematical proof verification systems, challenging the perception
lawrencecpaulson.github.io·5mo ago
Comments
Sign in to join the conversation.
No comments yet. Be the first.