1. Introduction -- 2. The incompleteness theorem : an overview -- 3. Computability, formal systems, and incompleteness -- 4. Incompleteness everywhere -- 5. Skepticism and confidence -- 6. Gd̲el, minds, and computers -- 7. Gd̲el's completeness theorem -- 8. Incompleteness, complexity, and infinity.