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

On 2024-06-24 13:50:20 +0000, olcott said:

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.

Those two claims don't actually claim anything without a definition
of "correctly emulated" and a proof that they are correctly emlulated
both by H and H1.
--
Mikko