Here’s a talk that I gave for high school students about the halting problem and its applications in math: link. Bonus feature: I ended way too early, so at the end I tell various weird stories about historical mathematicians.