75 - Jody Azzouni: Formal Languages, Proof, and the Foundations of Mathematics
Robinson's Podcast
00:00
The Existence of Foundations in Mathematics
The problem is very straightforward. I think that mathematics will always transcend any ideology. Certainly it'll transcend any language. The formal language is because of a good girl phenomena. Ideologies are usually processed by us conceptually. If you go and think about numbers, oh, they're just they could be sets. Or you know, this is similar to me talking to you about sand and glass. You want to recapture the way we were thinking about functions at one point which was an operation. Think about it as a collection of ordered pairs with a certain property. That ought to be breathtaking. And that's the kind of thing that I think will continue in mathematics. There isn't going to
Transcript
Play full episode
