News for hackers. Stuff that matters.
Re:Did Turing prove the undecidability of the halting problem? by FartyMcFarter on Thursday July 04, 2024 @01:56PM (#40876800)
A proper algorithm comes with a proof that it's correct. But even if I don't understand the proof, knowing the answer itself is useful.

There are no comments on this comment yet.