Ep 1: Philosophy Discussion with Stephen Wolfram and Mark Jago
The Stephen Wolfram Podcast
00:00
Mathematical truth as proof or verification
Mark defends a verificationist notion of mathematical truth based on proofs, constructions, and evidence.
Play episode from 21:42
Transcript
