News for hackers. Stuff that matters.
Re:Did Turing prove the undecidability of the halting problem? by anon291 on Tuesday July 02, 2024 @10:45AM (#40857211)
> Figuring out whether a single given program halts is decidable

Whether any single given program? No, it's not decidable. For many programs, sure.

There are no comments on this comment yet.