Did Turing prove the undecidability of the halting problem?