
History of Science & Technology Q&A (October 1, 2025)
The Stephen Wolfram Podcast
 00:00 
Principia Mathematica and Early Formal Proof Efforts
Stephen explains Whitehead and Russell's Principia Mathematica as an early mechanized derivation of mathematics.
 Transcript 
 Play full episode 


