Path: ...!news.mixmin.net!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Every D correctly simulated by H never reaches its final state
 and halts
Date: Fri, 17 May 2024 21:06:33 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v28uup$1a3tk$4@i2pn2.org>
References: <v26b2t$1rdu0$1@dont-email.me> <v270q1$22vhs$1@dont-email.me>
 <v276pg$2459k$1@dont-email.me> <v27ukn$28r3c$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 18 May 2024 01:06:33 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1380276"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <v27ukn$28r3c$2@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3185
Lines: 60

On 5/17/24 11:55 AM, olcott wrote:
> On 5/17/2024 4:08 AM, Mikko wrote:
>> On 2024-05-17 07:25:52 +0000, Fred. Zwarts said:
>>
>>> Op 17.mei.2024 om 03:15 schreef olcott:
>>>> The following is self-evidently true on the basis of the
>>>> semantics of the C programming language.
>>>>
>>>> typedef int (*ptr)();  // ptr is pointer to int function
>>>> 00 int H(ptr x, ptr x);
>>>> 01 int D(ptr x)
>>>> 02 {
>>>> 03   int Halt_Status = H(x, x);
>>>> 04   if (Halt_Status)
>>>> 05     HERE: goto HERE;
>>>> 06   return Halt_Status;
>>>> 07 }
>>>> 08
>>>> 09 int main()
>>>> 10 {
>>>> 11   H(D,D);
>>>> 12   return 0;
>>>> 13 }
>>>>
>>>> In the above case a simulator is an x86 emulator that correctly
>>>> emulates at least one of the x86 instructions of D in the order
>>>> specified by the x86 instructions of D.
>>>>
>>>> This may include correctly emulating the x86 instructions of H
>>>> in the order specified by the x86 instructions of H thus calling
>>>> H(D,D) in recursive simulation.
>>>>
>>>> Any H/D pair matching the above template where
>>>> D(D) is simulated by the same H(D,D) that it calls
>>>> cannot possibly reach its own line 06 and halt.
>>>>
>>>> *This is a simple software engineering verified fact*
>>>>
>>>
>>> Note that olcott defines 'verified fact' as 'proven fact', but he is 
>>> unable to show the proof. So, it must be read as 'my belief'.
>>
>> A "proven fact" without a proof is not worse than a "verified fact"
>> without a verification.
>>
> 
> *I updated my wording*
> It is self-evidently true to anyone having sufficient knowledge
> of the semantics of the C programming language.
> 

Which, since I posted over two weeks ago how to do it in C, means that 
you don't have the needed knowledge of the C programming language, or 
about what truth actually is.

And the fact that you refuse to take up any of my challenges to have me 
repost the link (because you clearly prefer to just lie rather that try 
to do some research) it is clear that you are not actually certain of 
your claim, so you know you may be lying, but you do it anyway.