Lex Fridman Podcast cover image

#124 – Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe

Lex Fridman Podcast

NOTE

Mathematics and Axioms: The Path Through the Multi-Way Graph

Mathematics is derived from a small set of axioms that generate theorems./nProofs in mathematics involve using axioms to show the equality of expressions./nMathematical space is connected by axioms, creating a multi-way graph of expressions./nA proof is a path through the multi-way graph that explains how expressions are related./nGoedel's theorem states that there are paths of infinite length in mathematics without an upper bound.

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner