Stephen Wolfram investigates the discovery of structures since the Game of Life was invented--searching possibilities versus invention by explicit effort. A thorough look at oscillators, modularity, glider guns.| writings.stephenwolfram.com
Stephen Wolfram discusses understanding proofs discovered using automated theorem proving. Based on Wolfram’s proof of the simplest axioms of logic of Boolean algebra.| writings.stephenwolfram.com