Whenever people ask about the halting problem as it pertains to programming, people respond with \"If you just add one loop, you\'ve got the halting program and therefore yo
From Programming Pearls, by Jon Bentley 4.6 Problems 5. Prove that this program terminates when its input x is a positive integer.
while x != 1 do if even(x) x = x/2 else x = 3*x +1