Who Can Understand the Proof? A Window on Formalized Mathematics.
Stephen Wolfram discusses understanding proofs discovered using automated theorem proving. Based on Wolfram’s proof of the simplest axioms of logic of Boolean algebra.
Read in full here:
This thread was posted by one of our members via one of our news source trackers.