Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: 195 page execution trace of DDD correctly simulated by HH0
 ---Boilerplate Reply
Date: Sat, 22 Jun 2024 14:41:43 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <v56nr7$ov4f$2@i2pn2.org>
References: <v4vrfg$2793f$1@dont-email.me> <v50o2t$2fh98$2@dont-email.me>
	<v51dc8$2jmrd$1@dont-email.me> <v53b0s$324b4$1@dont-email.me>
	<v53tjm$35vak$1@dont-email.me> <v565d9$3mg7e$1@dont-email.me>
	<v56iht$3or0r$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 22 Jun 2024 14:41:43 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="818319"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2476
Lines: 30

Am Sat, 22 Jun 2024 08:11:25 -0500 schrieb olcott:
> On 6/22/2024 4:27 AM, Fred. Zwarts wrote:
>> Op 21.jun.2024 om 15:01 schreef olcott:
>>> On 6/21/2024 2:44 AM, Fred. Zwarts wrote:
>>>> Op 20.jun.2024 om 16:12 schreef olcott:
>>>>> On 6/20/2024 3:09 AM, Fred. Zwarts wrote:
>>>>>> Op 20.jun.2024 om 02:00 schreef olcott:

>> The question which instruction is incorrectly simulated already shows
>> your error. The error is not that an instruction is simulated
>> incorrectly, but that some instruction are not simulated at all.
>> Why is that already over your head?
> It is a verified fact that the behavior that finite string DDD presents
> to HH0 is that when DDD correctly simulated by HH0 calls HH0(DDD) that
> this call DOES NOT RETURN.
Why are you changing the topic here?

> It is a verified fact that the behavior that finite string DDD presents
> to HH1 is that when DDD correctly simulated by HH0 calls HH1(DDD) that
> this call DOES RETURN.

DDD by itself always specifies the same behaviour. A better phrasing would
be that the different H's execute it differently; so at least one of them
must be wrong.

> I don't get why people here insist on lying about verified facts.
They are not true, let alone proven.

-- 
Man kann mit dunklen Zahlen nicht rechnen. Für die eigentliche Mathematik 
sind sie vollkommen nutzlos. --Wolfgang Mückenheim