Halting problem

1. G"del's Incompleteness Theorem: Predictive Thought Unpacked