I can’t read past the abstract, but I’d find this more reassuring if it didn’t require Turing oracles.
That’s the first step.
my instincts are that while this problem might exist, you would only actually run into it if using a language specifically designed to create this problem.
My instincts agree with your instincts, but that’s not a proof… A bit more analysis would be useful.
That’s the first step.
My instincts agree with your instincts, but that’s not a proof… A bit more analysis would be useful.
Rigorous analysis certainly is useful, but I don’t think I’ve studied theoretical compsci at a high enough level to attempt a proof.