Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Why do people here insist on denying these verified facts?
Date: Mon, 24 Jun 2024 08:50:20 -0500
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <v5btit$v0vb$5@dont-email.me>
References: <v56n8h$3pr25$1@dont-email.me> <v58ql8$9g3i$1@dont-email.me>
 <v597ju$brmn$2@dont-email.me> <v5b7f8$qu74$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 24 Jun 2024 15:50:21 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="30c92b316077fe98558b44dd129a1438";
	logging-data="1016811"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/F1+wyl8a7hiCMVLQkRYER"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:xvqr954oNYxCVE/j+Jhce5VNXzw=
In-Reply-To: <v5b7f8$qu74$1@dont-email.me>
Content-Language: en-US
Bytes: 2112

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