Halting problem simplifies to be very similar to whether or not it is possible to express something that cannot be proven true or false.

The pathological process would encode the behaviors of the thing that cannot be proven into a loop.