Re: ZFC solution to incorrect questions: reject them

On 12/03/24 19:12, olcott wrote:

∀ 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)

And it can be a different TMD to each H.

When we disallow decider/input pairs that are incorrect
questions where both YES and NO are the wrong answer

Once we understand that either YES or NO is the right answer, the whole rebuttal is tossed out as invalid and incorrect.

Does the barber that shaves everyone that does not shave
themselves shave himself? is rejected as an incorrect question.

The barber does not exist. The following is true statement:
∀ Barber ∈ People. ¬(∀ Person ∈ People. Shaves(Barber, Person) ⇔ ¬Shaves(Person, Person))
The following is a true statement:
¬∃ Barber ∈ People. (∀ Person ∈ People. Shaves(Barber, Person) ⇔ ¬Shaves(Person, Person))