The Foundations Are Math and Logic — Naval Podcast Summary | Retyped