Is the halting problem is really just the older Pinocchio paradox and Russell paradox?
- j153eLv 75 months ago
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.