The Halting Problem is a central result in computer science, again well understood (especially here I would think!)
Their comment is correct.