Path: ...!2.eu.feeder.erje.net!3.us.feeder.erje.net!feeder.erje.net!weretis.net!feeder6.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: We finally know exactly how H1(D,D) derives a different result
 than H(D,D)
Date: Thu, 7 Mar 2024 21:36:44 -0800
Organization: i2pn2 (i2pn.org)
Message-ID: <use85c$167tc$3@i2pn2.org>
References: <usda7b$18hee$1@dont-email.me> <usdf9p$15934$2@i2pn2.org>
 <usdh1e$19t14$1@dont-email.me> <usdi0i$15ejn$1@i2pn2.org>
 <usdkf8$1aheg$1@dont-email.me> <use0kt$15q44$2@i2pn2.org>
 <use72e$1hb1j$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 8 Mar 2024 05:36:44 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1253292"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <use72e$1hb1j$1@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2002
Lines: 19

On 3/7/24 9:18 PM, olcott wrote:
> Olcott machines can compute the difference between H1(D,D) and H(D,D)
> because Olcott machines can correctly determine whether or not they
> themselves were called in recursive simulation.
> 
> For H1(D,D) and H(D,D)it is the extra inputs of 00001422 and 00001522
> For H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> and Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> the extra inputs are shown.
> 
> When I keep repeating the above a few hundred more times
> you will quit immediately forgetting that I ever said it.

All you have done is show why your H / H1 have been disqualified from 
being Halt Deciders.

They are not Computations using only the description of the Computation 
to be decided on.

This PROVES that they are not correct Halt Deciders.

And you are proved to be just a pathetic and pathological liar.