Chapter
The Challenge of Rigorous Math Proofs
2:34:49 - 2:40:20 (05:30)
Building machine logic through programming is much easier than holding math proofs in your brain and visualizing them for hours.
Clips
The speaker discusses the benefits of controlling randomness in a system to optimize it rather than just letting it happen haphazardly.
2:34:49 - 2:38:56 (04:07)
Control
Summary
The speaker discusses the benefits of controlling randomness in a system to optimize it rather than just letting it happen haphazardly.
ChapterThe Challenge of Rigorous Math Proofs
Episode#169 – Ryan Hall: Solving Martial Arts from First Principles
PodcastLex Fridman Podcast
Theoretical computer science requires rigorous math proofs, long and focused hours of reasoning, and doing novel things that nobody has ever done before, making it a more intense job than programming.
2:38:56 - 2:40:20 (01:23)
Theoretical Computer Science
Summary
Theoretical computer science requires rigorous math proofs, long and focused hours of reasoning, and doing novel things that nobody has ever done before, making it a more intense job than programming.