TY  - RPRT
TI  - Did Turing prove the undecidability of the halting problem?
AU  - Joel David Hamkins
AU  - Theodor Nenu
PY  - 2025
UR  - https://arxiv.org/abs/2407.00680
ID  - 2407.00680
ER  -