It would be nice though, if outsiders could show some respect by demonstrating, as is probably demonstrable but difficult, that its object of study is incoherent, not just imaginary.
I’m not really sure it makes sense to talk about mathematical objects as being imaginary but not incoherent.
I’d be very surprised if this Universe was super-Turing, but you think it’s actually incoherent? I can definitely conceive of a hypercomputational cellular automata, what is it about the idea of our Universe being hypercomputational that seems incoherent to you?
I think that it is very common for things that we casually think we can definitely conceive of to actually be incoherent. I also think that almost everyone else underestimates how common it is.
I think I’m correcting for that. Do you agree that the halting oracle function itself is well-defined? If so, what seems inconceivable about a cellular automaton whose rules depend on the output of that oracle? OK, you have to stretch the definition of a cellular automaton to allow it, perhaps by allowing cells to have unbounded state, but the result is a wholly defined and therefore surely in-principle-conceivable Universe which is super-Turing. No?
It’s not incoherent. There could be such a thing as Hypercomputation.
However, nobody has found any evidence that it exists so far—and maybe they never will.
Hypercomputation enthusiasts claim that its existence doesn’t matter too much—and that it’s a valuable concept regardless of whether it exists or not. Maybe.
It would be nice though, if outsiders could show some respect by demonstrating, as is probably demonstrable but difficult, that its object of study is incoherent, not just imaginary.
I’m not really sure it makes sense to talk about mathematical objects as being imaginary but not incoherent.
I’d be very surprised if this Universe was super-Turing, but you think it’s actually incoherent? I can definitely conceive of a hypercomputational cellular automata, what is it about the idea of our Universe being hypercomputational that seems incoherent to you?
I think that it is very common for things that we casually think we can definitely conceive of to actually be incoherent. I also think that almost everyone else underestimates how common it is.
I think I’m correcting for that. Do you agree that the halting oracle function itself is well-defined? If so, what seems inconceivable about a cellular automaton whose rules depend on the output of that oracle? OK, you have to stretch the definition of a cellular automaton to allow it, perhaps by allowing cells to have unbounded state, but the result is a wholly defined and therefore surely in-principle-conceivable Universe which is super-Turing. No?
Respectful outsiders?
Is that a reference to the inner sanctum of the Hypercomputation sect? ;-)
It’s not incoherent. There could be such a thing as Hypercomputation.
However, nobody has found any evidence that it exists so far—and maybe they never will.
Hypercomputation enthusiasts claim that its existence doesn’t matter too much—and that it’s a valuable concept regardless of whether it exists or not. Maybe.
I don’t disagree (i.e., I don’t see any positive reason to doubt the coherence of hypercomputation – though Michael sounds like he has one), but remember not to confuse subjective conceivability and actual coherence.