Idea for halting problem: an algorithmic system that can predict the behavior of everything in the universe, with sufficient advanced preparation time, can always predict when a process will halt, because it will always be able to outpredict a pathologic example via its own pathological counterbehavior and advance preparation.