The Thinker and The Prover
https://gregreese.substack.com/p/the-thinker-and-the-prover?utm_source=podcast-email&publication_id=706779&post_id=183604159&utm_campaign=email-play-on-substack&utm_content=watch_now_button&r=ccrm2&triedRedirect=true&utm_medium=email
