Robinson's Podcast cover image

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

Robinson's Podcast

00:00

The Conclusiveness of Informal Proofs

The implicit logic of mathematics up until the 20th century was something in the neighborhood of the first order predicate calculus, certainly classical. And I think an argument can be made based on the kinds of steps that they were allowing and their understanding of certain kinds of operations like negation. So yes, there's a real evidence for alternative logics but it is not clear at all how to prove them.

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