The Unification of Mathematics, Metamathematics and Physics
The Stephen Wolfram Podcast
00:00
Human-level mathematics vs. low-level axioms
Wolfram contrasts the human practice of mathematics with low-level axiomatic machine code and robustness of theorems.
Play episode from 41:00
Transcript
