Given that Cantor’s Diagonal Argument – which demonstrates the existence of uncountable sets – is the technique which underlies Turing’s solution to the Entsche

Given that Cantor’s Diagonal Argument – which demonstrates the existence of uncountable sets – is the technique which underlies Turing’s solution to the Entscheidungsproblem, you might want to re-examine your assumptions.