
History of Science & Technology Q&A (October 1, 2025)
The Stephen Wolfram Podcast
00:00
Foundations of Mathematics and the Hilbert Program
Stephen describes Frege, Peano, and Hilbert's push to formalize mathematics and mechanize proofs.
Transcript
Play full episode