AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Is There a Formal System That We Can Certainly Imagine?
A plus is seems more fundamental, more basic than an elephant. But you can imagine a world without plus or anything like it. Like why do formal things that are discrete that can be used to reason after exist or, well, okay. So then the question is, but the whole point is computation, we can certainly imagine computation. That is, we can say there is a formal system that we can construct abstractly in our minds that is computation. And that that's the, and you know, we can, we can imagine it.