Robinson's Podcast cover image

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

Robinson's Podcast

00:00

The Different Types of Proof in Mathematics

There are multiple kinds of proof in mathematics corresponding roughly to this distinction that we drew earlier between natural and formal languages. What we call informal rigorous mathematical proof, which is the professional mathematical proof that shows up in journals. The proofs in an explicitly formal language actually almost no one ever uses them or even sees them. You practice them when you take a logic course. But it's not even if you are a logician studying logical systems, you don't write those things down.

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