Robinson's Podcast cover image

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

Robinson's Podcast

00:00

The Importance of Formal Languages in Mathematics

There is a subdiscipline of math that focuses on studying mathematics through these formal languages. Most mathematicians don't use them, most mathematicians are using mathematics or something like that. But it's really just mathematics the way that if somebody is studying the real line, it's a piece of mathematics. The question of what their logic is or their logic or whether that's the right way to think about how reasoning takes place in natural languages is hard to understand.

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