News for hackers. Stuff that matters.

A comment on Did Turing prove the undecidability of the halting problem?. Parent comment

Re:Did Turing prove the undecidability of the halting problem? by Ygg2 on Tuesday July 02, 2024 @10:12AM (#40856891)
Not a CS theorist, but it's not about you proving a program halts, it's about program proving that any program halts.

It's kinda like some statements in math given a set of axioms can't be proven or disproven.

[ Parent | on HN ]

There are no comments on this comment yet.