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

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.