@misc{indiciae2f51a4bd3e91,
  title = {Did Turing prove the undecidability of the halting problem?},
  author = {Joel David Hamkins and Theodor Nenu},
  year = {2025},
  url = {https://arxiv.org/abs/2407.00680},
  note = {Source identifier: 2407.00680}
}