The Unification of Mathematics, Metamathematics and Physics
The Stephen Wolfram Podcast
00:00
Mathematics as metamathematical networks
Wolfram maps axiomatic derivations to graphs where theorems are paths and proofs form metamathematical space.
Play episode from 37:16
Transcript
