Stephen Wolfram explains the science of ruliology--studying what abstract rules do--and integral applications of the science in his own work.

Stephen Wolfram explains the rich ruliology of lambdas, made particularly significant by their connection to practical computing. Covers basic computations to undecidability to multiway graphs and evaluation strategies.

Stephen Wolfram encourages amateur scientists to channel their passion, truly learn the subject that interests them and then systematically explore the computational universe using ruliology.

Stephen Wolfram takes the first steps in developing a medical metamodel framework for studying and formalizing the abstract foundations of medicine.

Stephen Wolfram discusses understanding proofs discovered using automated theorem proving. Based on Wolfram’s proof of the simplest axioms of logic of Boolean algebra.