Path: ...!3.eu.feeder.erje.net!feeder.erje.net!news.in-chemnitz.de!news.swapon.de!news.mixmin.net!news.neodome.net!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Can D simulated by H terminate normally?
Date: Fri, 3 May 2024 22:10:18 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v145ea$c31$2@i2pn2.org>
References: <v0k4jc$laej$1@dont-email.me> <v0lic7$2g492$3@i2pn2.org>
 <v0lkas$12q0o$3@dont-email.me> <v0loq2$2g493$1@i2pn2.org>
 <v0lq7d$14579$2@dont-email.me> <v0ls98$2g492$7@i2pn2.org>
 <v0m29q$166o1$1@dont-email.me> <v0m37e$2gl1e$1@i2pn2.org>
 <v0m3v5$16k3h$1@dont-email.me> <v0m55t$2gl1f$3@i2pn2.org>
 <v0m5sn$172p4$1@dont-email.me> <v0oban$1o3b$1@news.muc.de>
 <v0oce3$1q3aq$4@dont-email.me> <v0oe1b$1o3b$2@news.muc.de>
 <v0ofl3$1r1mf$1@dont-email.me> <v0oh7g$1o3b$3@news.muc.de>
 <v0olhv$1sgeo$1@dont-email.me> <v0oobd$1o3b$4@news.muc.de>
 <v0or07$1tmga$1@dont-email.me> <v0qb59$2bsfc$1@dont-email.me>
 <v0r242$2hb7o$1@dont-email.me> <v0r3kh$hka$1@news.muc.de>
 <v0r5f2$2hb7o$11@dont-email.me> <v0r78v$hka$3@news.muc.de>
 <v0rd16$2k1bi$1@dont-email.me> <v0t3uj$1iuj$2@news.muc.de>
 <v0tneg$37lgj$5@dont-email.me> <v0umsa$2qov3$3@i2pn2.org>
 <v0v0tm$3kdu6$5@dont-email.me> <v0vlmb$3ovek$1@dont-email.me>
 <v1098d$3tep8$2@dont-email.me> <v12a35$f4kk$1@dont-email.me>
 <v12if4$h1tj$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 4 May 2024 02:10:18 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="12385"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v12if4$h1tj$2@dont-email.me>
Bytes: 4042
Lines: 65

On 5/3/24 7:40 AM, olcott wrote:
> On 5/3/2024 4:17 AM, Mikko wrote:
>> On 2024-05-02 14:50:53 +0000, olcott said:
>>
>>> On 5/2/2024 4:16 AM, Mikko wrote:
>>>> On 2024-05-02 03:22:29 +0000, olcott said:
>>>>
>>>>> When I had to make changes to Bank's the VISA credit card system
>>>>> I had to re-read the VISA change document fifteen times before
>>>>> I was confident that I understood every relevant detail.
>>>>
>>>> It's only because there was no detail that you could not accept.
>>>> Had there been one you could have stopped reading as soon you
>>>> found it, perhaps even before reading first time to the end.
>>>>
>>>
>>> It was because 99% of the details did not apply to my system
>>> that I had to carefully study all of the details to see which
>>> ones applied.
>>>
>>>> Likewise with your proofs: as soon as one error is found there
>>>> is no need to read further in order to determine that the proof
>>>> is erroneous.
>>>>
>>>
>>> There is no error in this and it is a verified fact not requiring
>>> any subjective judgement call:
>>>
>>> (a) It is a verified fact that D(D) simulated by H cannot
>>> possibly reach past line 03 of D(D) simulated by H whether H
>>> aborts its simulation or not.
>>
>> The use of an ambigouos expression "D(D) simulated by H" can
>> be regarded as an error.
>>
> 
> Perhaps you C skills are not that great?
> 
> Can D correctly simulated by H terminate normally?
> 00 int H(ptr x, ptr x)  // ptr is pointer to int function
> 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 void main()
> 10 {
> 11   H(D,D);
> 12 }
> 
> *Execution Trace*
> Line 11: main() invokes H(D,D);
> 
> *keeps repeating* (unless aborted)
> Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
> 
> *Simulation invariant*
> D correctly simulated by H cannot possibly reach past its own line 03.
> 
> 

Proven wrong and no refuation attempted, as accepted, be default, as an 
incorrect statement.