Joel David Hamkins and Theodor Nenu, "Did Turing prove the undecidability of the halting problem?", 18 pages, 2024, arxiv:2407.00680. Continue reading
↧