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.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer