ZFC solution to incorrect questions: reject them

∀ H ∈ Turing_Machine_Deciders
∃ TMD ∈ Turing_Machine_Descriptions  |
Predicted_Behavior(H, TMD) != Actual_Behavior(TMD)
There is some input TMD to every H such that
Predicted_Behavior(H, TMD) != Actual_Behavior(TMD)
When we disallow decider/input pairs that are incorrect
questions where both YES and NO are the wrong answer
(the same way the ZFC disallowed self-referential sets) then
pathological inputs are not allowed to come into existence.
Does the barber that shaves everyone that does not shave
themselves shave himself? is rejected as an incorrect question.
https://en.wikipedia.org/wiki/Barber_paradox#
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer