It looks Deutschian CTCs are similar to a computer that can produce all possible outputs in different realities, then selectively destroy the realities that don’t solve the problem. It’s not surprising that you could solve the halting problem in such a framework.
The way CTC computers actually work is because getting the right answer to a hard problem, assuming we can act on the fundamental degrees of freedom of the universe, means that this is the only logically self-consistent solution, and that getting the wrong answer, or not getting an answer at all is logically inconsistent, and thus can’t exist.
It looks Deutschian CTCs are similar to a computer that can produce all possible outputs in different realities, then selectively destroy the realities that don’t solve the problem. It’s not surprising that you could solve the halting problem in such a framework.
The way CTC computers actually work is because getting the right answer to a hard problem, assuming we can act on the fundamental degrees of freedom of the universe, means that this is the only logically self-consistent solution, and that getting the wrong answer, or not getting an answer at all is logically inconsistent, and thus can’t exist.