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 g

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.