Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: DDD correctly emulated by HHH cannot possibly halt
Date: Sat, 13 Jul 2024 19:42:24 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <f333399a23b7f3ee8920608cba7cf98927bdc06c@i2pn2.org>
References: <v6e7va$c4sv$1@dont-email.me> <v6jqfg$1eul0$2@dont-email.me>
 <v6k6md$1h3a7$1@dont-email.me> <v6k9ef$1hicb$1@dont-email.me>
 <04b97cd4a405abead92368522fcf77070bb4fa55@i2pn2.org>
 <v6l24d$1oqjv$1@dont-email.me>
 <a267bfdf93c6fc179d09a3f62f25003f033aaff1@i2pn2.org>
 <v6m331$1tj30$7@dont-email.me>
 <6d43f24547a3b170ce6f7a99e30ec60dec589f79@i2pn2.org>
 <v6n8ob$24dmg$3@dont-email.me>
 <7f9b731b2367a2bcf2883278ee5265d30a8f82d6@i2pn2.org>
 <v6nau1$24jgn$2@dont-email.me>
 <744d42e4d9d67b49cb1844a2651cb0c350760f0c@i2pn2.org>
 <v6nc22$2501i$1@dont-email.me>
 <c784fa694b9d68f5ace1d07c9870050681268fdc@i2pn2.org>
 <v6ori5$2fuva$10@dont-email.me>
 <56314b3bac257d0fc228c26f3c8c5eec40a87215@i2pn2.org>
 <v6q4cj$2r7qt$1@dont-email.me>
 <1fbe0efc5b030be11df07a930754d90ce56525be@i2pn2.org>
 <v6q7vo$2rvqi$1@dont-email.me>
 <4ed43f5b0a3bfc3833e62746b70cd3c3dafac1e9@i2pn2.org>
 <v6r6b4$30qtt$1@dont-email.me>
 <6e2cbff6f29523d3f3674042aab172499402a43e@i2pn2.org>
 <v6v1ld$3pmjn$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 13 Jul 2024 23:42:25 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3137773"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <v6v1ld$3pmjn$2@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 4473
Lines: 60

On 7/13/24 7:12 PM, olcott wrote:
> On 7/13/2024 6:00 PM, joes wrote:
>> Am Fri, 12 Jul 2024 07:08:04 -0500 schrieb olcott:
>>> When I say the same words 150 and Richard does not see these words I
>>> have to know why this is.
>>> My aim is effective communication. I can't fix the issue unless I know
>>> what the issue it.
>> You communicate very ineffectively. You should listen to others and
>> respond to their questions.
>>
>>> The two possibilities Richard's ADD, and Richard is a Liar. If is is
>>> Richards's ADD then repeating the same sentence a dozen times seems to
>>> help.
>> 3. Richard is annoying but right, and you are a delusional spammer who
>> can't rephrase.
>>
>>>> You did talk of an HHH that only simulated a fixed number of steps.
>>>> They do not provide a correct (full) simulation.
>>> when 1 to ∞ steps of DDD are correctly emulated in the infinite set of
>>> every HHH/DDD pair and no DDD halts then we can say that DDD DOES NOT
>>> HALT.
> 
>> DDD halts if HHH does, period. And HHH shall be a decider.
>>
> 
> The DDD correctly emulated by HHH it its own separate
> process context cannot possibly halt even though it
> can be forced to stop running.

No, ALL DDDs that call an HHH that aborts its emulation and return will 
return.

The emulation of DDD may not reach a final state, but the program it 
represents do.

Note, "Emulations" do not actually exist in ANY actual process context, 
just a virtual context in the emulator, and doesn't actually have 
behavior only reveals the behavior of the machine emulated to the degree 
that it is emulated.

Remember, "Process Context" is what you RUN programs in.

EmulaEmulationr have there own Process COntext that the emulator runs 
in, and it creates within it a virtual contret to do the emulations in. 
That is NOT a context setup by the "os".

> 
> Any input that must be aborted to prevent the non
> termination of HHH necessarily specifies non-halting
> behavior or it would never need to be aborted.
> 

But it doesn't need to be aborts, as shown by the giving the input (that 
is still paired to this HHH) to a fully corrected emulator that doesn't 
abort its emulation, which will see DDD call that HHH and that HHH 
deciding to abort and return to DDD which will return. And thus HHH did 
not NEED to abort its emulaiton of DDD (though it did) because the 
correct emulaition of that DDD will halt.

You are confusing it with a DIFFERENT DDD that calls the HHH that never 
aborts, this DDD is not that one.