Future Proof Your Learning Strategy [Free L&D Guide]By adminAugust 14, 20254 Key Takeaways: Organizational anarchy occurs when constant change disrupts L&D programs, often due to market shifts, leadership changes, or budget…
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…
