EIEpisodeIndex
From podcastLex Fridman PodcastFrom guestStephen Wolfram

Episode #234 from 2:29:15

Automated proof systems

Stephen Wolfram and Lex Fridman discuss automated proof systems.

October 27, 2021Unknown19 chaptersStephen WolframStephen Wolfram
Open full episodeMore from Lex Fridman Podcast
Why this moment matters

Stephen Wolfram and Lex Fridman discuss automated proof systems.

Starts at 2:29:15
EconomicsPhysicsMathematics
People and topics
All moments
Automated proof systems chapter timestamp | Stephen Wolfram: Complexity and the Fabric of Reality | EpisodeIndex