where both physical references and logical references are to be described ‘effectively’ or ‘formally’, in computable or logical form.
Can anyone say a bit more about why physical references would need to be described ‘effectively’/computably? Is this based on the assumption that the physical universe must be computable?
Can anyone say a bit more about why physical references would need to be described ‘effectively’/computably?
I think because if they are described by an uncomputable procedure, one for example involving oracles or infinite resources, then they (with very high probability) would not be able to be computed by our brains.
MrMind is talking about an “oracle” in the sense of a mathematical tool. Oracles in this sense are are well-defined things that can do stuff traditional computers can’t.
Can anyone say a bit more about why physical references would need to be described ‘effectively’/computably? Is this based on the assumption that the physical universe must be computable?
I think because if they are described by an uncomputable procedure, one for example involving oracles or infinite resources, then they (with very high probability) would not be able to be computed by our brains.
So? Use said oracles to upgrade our brains.
MrMind is talking about an “oracle” in the sense of a mathematical tool. Oracles in this sense are are well-defined things that can do stuff traditional computers can’t.
I’m perfectly aware what an oracle is. I was using it in the same sense.
This crossed my mind, but I thought there might be other deeper reasons.