Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Did Turing prove the undecidability of the halting problem?. Parent comment
Whether any single given program? No, it's not decidable. For many programs, sure.
There are no comments on this comment yet.
Whether any single given program? No, it's not decidable. For many programs, sure.