Is the halting problem is really just the older Pinocchio paradox and Russell paradox?

Answer 1

Russell's paradox ~ = no universal set in ZFC. Predicting the universality of a program, if universality = infinite run time, is a problem of prediction. Turing proved there was no program to solve this problem of prediction. So there's more to the halting problem than knowing that there's no universal set in ZFC.