Chapter
The Metamathematical State of Mind
2:19:27 - 2:27:58 (08:30)
In this episode, Lex Fridman talks about the metamathematical space and formalized mathematics that encourage mathematicians' perception of having integrity and lack of underside quality. He also explains how different formalized mathematical systems have different axioms, but they can all prove Pythagoras's theorem.
Clips
The podcast discusses whether or not it is possible to represent everything in a formal way and if there are any limitations to formal representation.
2:19:27 - 2:19:55 (00:28)
Summary
The podcast discusses whether or not it is possible to represent everything in a formal way and if there are any limitations to formal representation.
ChapterThe Metamathematical State of Mind
Episode#234 – Stephen Wolfram: Complexity and the Fabric of Reality
PodcastLex Fridman Podcast
The idea of existence in a mathematical space where individual points are statements connected by proofs is metamathematics, where the perception of mathematics' integrity and lack of underside applies to this space as well; different formalized mathematics systems can have different axioms underneath but still prove the same theorem.
2:19:55 - 2:27:58 (08:02)
Summary
The idea of existence in a mathematical space where individual points are statements connected by proofs is metamathematics, where the perception of mathematics' integrity and lack of underside applies to this space as well; different formalized mathematics systems can have different axioms underneath but still prove the same theorem.