75 - Jody Azzouni: Formal Languages, Proof, and the Foundations of Mathematics
Robinson's Podcast
00:00
The Heterogeneity of Mathematics
I'm not sure if this is entirely related, but you've written about what you've referred to as the heterogeneity of mathematical proofs. And it seemed to be something that you were concerned about. So concerned? Yeah, am I wrong? Okay. Well, what I was pointing out was something else. Look, so one, there is this old tradition, right, from the modern period and before that if you're going to look for the source of a priori truths, look thou to mathematics. It's full of them. You really get down to understanding it. The bread and butter Proofs don't look like that. They look like all sorts of things together. That's the
Transcript
Play full episode
