Robinson's Podcast cover image

75 - Jody Azzouni: Formal Languages, Proof, and the Foundations of Mathematics

Robinson's Podcast

00:00

The Different Properties of a Mathematical Proof

There are two distinct things about a mathematical proof. In one case, you get something you go, aha, that's why this is the case. But in the other case, you can't resist that because every step is right. This is how we experience certain kinds of proofs. And I'm not utterly convinced that there's something metaphysically slash logically solid about a purported explanation.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app