AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Does Plus Exist?
The existence of mathematics is something where given a definition of terms, what follows from that definition inevitably follows. The point is that it is not a thing of a, I don't know, the, you know, an elephant or things like that. It is different kind of thing to say does plus exist. That's a powerful thing. But in some sense, there is no such thing as 'do plus exist,' because we can define any term at all.