Login
From:
writings.stephenwolfram.com
(Uncensored)
subscribe
Who Can Understand the Proof? A Window on Formalized Mathematics—Stephen Wolfram Writings
https://writings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/
links
backlinks
Tagged with:
mathematics
computational science
ruliology
Stephen Wolfram discusses understanding proofs discovered using automated theorem proving. Based on Wolfram’s proof of the simplest axioms of logic of Boolean algebra.
Roast topics
Find topics
Find it!
