Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
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.
