Mathematics and Theorem Proving
Stephen Wolfram discusses the relevance of using mathematics to understand quantum mechanics better and how it relates to event horizons. He also talks about how automated theorem proving is used to find paths through multiway graphs, which directly maps to theorem proving.In this clip
From this podcast
Lex Fridman Podcast
Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124
Related Questions
How do physics and mathematics differ in the context of the episode Stephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #234 and the clip Mapping Proofs?
How do physics and mathematics differ in the context of the episode Stephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #234 and the clip Mapping Proofs?