75 - Jody Azzouni: Formal Languages, Proof, and the Foundations of Mathematics
Robinson's Podcast
00:00
The Importance of Languages in Mathematics
I prefer to speak as a nominalist and I think in that particular case what we're talking about are languages. This is the kind of thing that certainly was going on explicitly at least by certain practitioners in the movement from naive set theory to eventually one or another formal set theory. So this naive set theory we know is inconsistent. Then what does it mean we're really talking about when we talk about set theory without specifying that we're referring to some specific formal system? Like maybe perhaps even before we know that there are axiom systems. How do we know whether what we're saying is true or false? If you're a plate-nessed you've got a real issue here. You
Transcript
Play full episode
