Comment on Did Turing prove the undecidability of the halting problem?parentComments−anon2912yFiguring out whether a single given program halts is decidableWhether any single given program? No, it's not decidable. For many programs, sure.
Comments
Whether any single given program? No, it's not decidable. For many programs, sure.