Halting problem
G"del's Incompleteness Theorem: Predictive Thought Unpacked