Comment on Did Turing prove the undecidability of the halting problem?parentComments−Ygg22yNot 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.
Comments
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.