Did Turing prove the undecidability of the halting problem? · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2407.00680/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:27:26 GMTDid Turing prove the undecidability of the halting problem? — HN submissionhttps://news.ycombinator.com/item?id=40853620urn:hackerpapers:submission:2407.00680:40853620Tue, 02 Jul 2024 04:40:08 GMT<p>Did Turing prove the undecidability of the halting problem?</p><p></p><p>81 points; 105 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2407.00680/">Paper and source history</a>. A submission is not an endorsement.</p>math.LO