Did Turing prove the undecidability of the halting problem?
<|reference_start|>Did Turing prove the undecidability of the halting problem?: We discuss the accuracy of the attribution commonly given to Turing's 1936 paper "On computable numbers..." for the computable undecidability of the halting problem, coming eventually to a nuanced conclusion.<|reference_end|>
@article{hamkins2024did,
    title={Did Turing prove the undecidability of the halting problem?},
    author={Joel David Hamkins and Theodor Nenu},
    journal={arXiv preprint arXiv:2407.00680},
    year={2024},
    archivePrefix={arXiv},
    eprint={2407.00680},
    primaryClass={math.LO cs.LO}
}