Re: ZFC solution to incorrect questions: reject them --discourse context --

On 3/18/24 4:54 PM, olcott wrote:

On 3/18/2024 6:35 PM, immibis wrote:

On 19/03/24 00:10, olcott wrote:

On 3/18/2024 11:19 AM, immibis wrote:

On 18/03/24 06:32, olcott wrote:

On 3/17/2024 11:49 PM, immibis wrote:

On 18/03/24 05:40, olcott wrote:

When H1 says YES it is right.
When H says YES it is wrong.

>
Any halt decider is right to say YES on the input (D,D) if and only if D(D) halts.
>

*When H(D,D) says YES D gets stuck at line 05*
>
Can D correctly simulated by H terminate normally?
01 int D(ptr x)  // ptr is pointer to int function
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 void main()
10 {
11   D(D);
12 }
>
>

>
That would be a different D. The facts that Hah(Dah,Dah) returns TRUE and Dah gets stuck at line 05 do not prove that Han(Dan,Dan) returns TRUE and Dan gets stuck at line 05.

>
*D is always the exact same finite string of machine code bytes*
>

>
The argument to a halting decider must be a self-contained program and the input to that program. The same finite string must always have the same behaviour.

 Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
 is self-contained yet still refers to an infinite set of encoding of H
such that the answer Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ is always contradicted.
 Every yes/no question: Does Ĥ ⟨Ĥ⟩ halt?
such that YES is a correct answer from one entity
and YES is an incorrect answer from another entity
is an incorrect question when posed to this second entity.
 

More of your lies.
H^ in Linz's proof is ALWAYS a SPECIFIC MACHINE and contains a copy of a SPECIFIC (but general) decider.
You are just too stupid to understand what he is saying, which has made you into the self-made pathetic moronic ignorant pathological lying idiot that you are today.
And, it seems you have no one to blame but yourself, as it seems you worked ery hard to make your self this dumb.