The Unification of Mathematics, Metamathematics and Physics
The Stephen Wolfram Podcast
00:00
Why Gödel isn't central to practice
Wolfram links undecidability and computational irreducibility to metamathematics and explains why practitioners rarely face Gödel issues.
Play episode from 47:04
Transcript
