Ep 1: Philosophy Discussion with Stephen Wolfram and Mark Jago
The Stephen Wolfram Podcast
00:00
Formalism, Brouwer, and foundations
They contrast Hilbert's formalism with Brouwer's human-centered constructivism and differing views of mathematics.
Play episode from 01:31:00
Transcript
