Re: Why do people here insist on denying these verified facts?

On 6/25/24 9:19 AM, olcott wrote:

On 6/25/2024 4:48 AM, Mikko wrote:

On 2024-06-24 14:03:12 +0000, immibis said:
>

On 24/06/24 15:50, olcott wrote:

On 6/24/2024 2:32 AM, Mikko wrote:

On 2024-06-23 13:23:10 +0000, olcott said:
>

On 6/23/2024 4:42 AM, Mikko wrote:

When the head line has the words "these verified facts" the message should
first tell what facts are "these verified facts" and who verified them
before any further discussion.
>

>
It is a verified fact that 2 + 3 = 5 according to the semantics
of arithmetic. Anyone having an opinion that contradicts this is WRONG.

>
Sure, but that was not the first thing mentioned in the initial message.
>

>
>
int P(ptr2 x)
{
  int Halt_Status = H(x, x);
  if (Halt_Status)
    HERE: goto HERE;
  return Halt_Status;
}
>
The call from P to H(P,P) when P is correctly emulated
by H cannot possibly return.
>
The call from P to H(P,P) when P is correctly emulated
by H1 DOES return.
>
>

>
Verified fact: the emulation is incorrect

>
But which emulation? By H or by H1?
>

 Both of them are correct.
Because P never calls H1(P,P) and P does call H(P,P)
the call from P to H(P,P) returns in the first case
and cannot possibly return in the second case.
 

No, H just can't see that it will return to P. You can say the Simulation by H didn't get to that point, but that is not a "behavior" of the input, but of the decider.