As a note on readability, I think you should avoid repeating Church-Turing and replace it by “the physical” and “the quantum” or similar.