A proof of concept tool to verify estimatesBy adminJune 30, 20250 This post was inspired by some recent discussions with Bjoern Bringmann. Symbolic math software packages are highly developed for many…
Who Can Understand the Proof? A Window on Formalized Mathematics—Stephen Wolfram WritingsBy adminJune 19, 20250 The Simplest Axiom for Logic Theorem (Wolfram with Mathematica, 2000): The single axiom ((a•b)•c)•(a•((a•c)•a))c is a complete axiom system for…
A tool to verify estimates, II: a flexible proof assistantBy adminMay 28, 20250 In a recent post, I talked about a proof of concept tool to verify estimates automatically. Since that post, I…
