Robinson's Podcast cover image

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

Robinson's Podcast

00:00

Speaking Mathematics in Natural and Formal Languages

Jody: I wanted to talk about speaking mathematics in natural and formal languages. Not everyone listening is going to be a logician or a philosopher of mathematics. So I wanted you to maybe say what a formal language is and what a natural language is, because they're different. Jody: A natural language is a species specific ability that we have humans to generate this highly syntactic structured, semantically rich thing. And so it's an empirical question - still barely understood.

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