Ep 1: Philosophy Discussion with Stephen Wolfram and Mark Jago
The Stephen Wolfram Podcast
00:00
Mathematics, axioms, and emergent practice
They discuss how mathematicians operate at higher abstraction levels and when proofs must descend to axioms.
Play episode from 53:56
Transcript
