Home Explore Bookmarks Inbox Collections Profile

Recent Search

Command Palette

Search for a command to run...

Command Palette

Search for a command to run...

Home Explore Bookmarks

Inbox Collections Profile

Who Can Understand the Proof? A Window on Formalized Mathematics — Blankdot

writings.stephenwolfram.com6 months ago

Who Can Understand the Proof? A Window on Formalized Mathematics

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.

Visit writings.stephenwolfram.com

No discussion yet. Be the first to share your thoughts!