You can prove that some algorithms run forever. Similarly, you can prove that some algorithms halt. What you can’t do is come up with a procedure that will determine whether an arbitrary algorithm you feed it halts or not.
You can prove that some algorithms run forever. Similarly, you can prove that some algorithms halt. What you can’t do is come up with a procedure that will determine whether an arbitrary algorithm you feed it halts or not.