Robinson's Podcast cover image

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

Robinson's Podcast

00:00

The History of Natural Language Mathematics

In Principia, it's a higher order logic. But then there is complicated relationship between higher order logic and first order zermelo-frankle set theory or some sort of set theory. They are not logically equivalent, but there's a way in which you can capture the mathematics in either of them. This should start to give people a pause who are thinking, oh, well, natural language mathematics, it's just one of these. It's none of those.

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