Robinson's Podcast cover image

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

Robinson's Podcast

00:00

The Evolution of Reasoning in Mathematics

There are serious disputes there among experts who know these topics better than anyone else. I don't deny that there can be such disputes, but they will get resolved. One way or another, it'll get resolved. These kinds of things have happened in the past. They are moving targets. They may lead to alternative mathematics. But the key point here is alternative mathematics is just mathematics. It's not something else.

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