It seems to me that the constraints of reality are implicit. I don’t think “it can be done by a human” is satisfied by a method requiring time travel with a very specific form of paradox resolution. It sounds like you’re arguing that the Church-Turing thesis is simply worded ambiguously.
I definitely remember a different Church-Turing Thesis than what you said, and if we kept to realistic limitations of humans, then the set of computable functions is way, way smaller than the traditional view, so that’s not really much of a win at all. At any rate, it is usable by a human, mostly because humans are more specific, and critically a Universal Turing Machine can perfectly emulate a human brain, so if we accept the CTC model as valid for Turing Machines, then we need to accept it’s validity for humans, since humans are probably just yet another form of Turing Machine.
I will edit the post though, to make it clear what I’m talking about.
It seems to me that the constraints of reality are implicit. I don’t think “it can be done by a human” is satisfied by a method requiring time travel with a very specific form of paradox resolution. It sounds like you’re arguing that the Church-Turing thesis is simply worded ambiguously.
I definitely remember a different Church-Turing Thesis than what you said, and if we kept to realistic limitations of humans, then the set of computable functions is way, way smaller than the traditional view, so that’s not really much of a win at all. At any rate, it is usable by a human, mostly because humans are more specific, and critically a Universal Turing Machine can perfectly emulate a human brain, so if we accept the CTC model as valid for Turing Machines, then we need to accept it’s validity for humans, since humans are probably just yet another form of Turing Machine.
I will edit the post though, to make it clear what I’m talking about.