Path: ...!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: HHH maps its input to the behavior specified by it --- never
 reaches its halt state ---natural number mapping
Date: Sat, 10 Aug 2024 15:42:46 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <3a8550867c0c04c565f5c09168dced0cd73672ba@i2pn2.org>
References: <v8jh7m$30k55$1@dont-email.me> <v8oj1n$6kik$3@dont-email.me>
 <v8pvke$ih0a$1@dont-email.me> <4-qdnbdw1JzlRS37nZ2dnZfqlJydnZ2d@giganews.com>
 <v8v7p3$29r2r$1@dont-email.me> <v8vub1$32fso$14@dont-email.me>
 <1e1fa9bc4bbc00aa65c1a7974bd1bda87687c92b@i2pn2.org>
 <v90di8$38oni$1@dont-email.me>
 <47a76378d634bf0db4017f879d0160793b57125e@i2pn2.org>
 <v9161o$3gaju$1@dont-email.me>
 <b84374e766c199e1ba38ef1dc3bc8f6ab2c39dfc@i2pn2.org>
 <v91i97$3n4m0$1@dont-email.me> <v91unh$3rbor$1@dont-email.me>
 <v92gja$p1$3@dont-email.me> <v94m0l$ljf4$1@dont-email.me>
 <v95ae9$p5rb$1@dont-email.me> <v978dv$h1ib$1@dont-email.me>
 <v97j0q$ilah$2@dont-email.me>
 <ccc5dafb53acf66239baac0183a6291687794963@i2pn2.org>
 <v97l3j$kof0$2@dont-email.me> <v97pgq$l4f4$2@dont-email.me>
 <v97qf0$lise$2@dont-email.me> <v97rq3$l4f4$4@dont-email.me>
 <v97t7g$m8l6$1@dont-email.me> <v98bu1$s12e$1@dont-email.me>
 <v98c7u$s5bj$1@dont-email.me> <v98d4g$s12e$3@dont-email.me>
 <v98dmd$sddi$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 10 Aug 2024 19:42:46 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2124526"; 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: <v98dmd$sddi$1@dont-email.me>
Bytes: 3502
Lines: 40

On 8/10/24 3:05 PM, olcott wrote:
> On 8/10/2024 1:56 PM, Fred. Zwarts wrote:
>> Op 10.aug.2024 om 20:41 schreef olcott:
>>> On 8/10/2024 1:35 PM, Fred. Zwarts wrote:
>>>>
>>>> No evidence for these claims. We know that a simulation of a halting 
>>>> program is correct only when it reaches the halt state, 
>>>
>>> void Infinite_Recursion()
>>> {
>>>    Infinite_Recursion();
>>> }
>>>
>>> void Infinite_Loop()
>>> {
>>>    HERE: goto HERE;
>>> }
>>>
>>> You seem to be an ignoramus. Ordinary ignorance can be corrected.
>>
>> Completely irrelevant. There is no infinite loop in HHH because HHH 
>> aborts after N recursions, not after an Infinite_Recursion.
> 
> Thus you already knew that your statement was false before you
> said it. Infinite_Loop() need not be emulated to non-existent
> completion before HHH recognizes its infinite behavior pattern.
> 
> Why say things that you know are false?
> 

Of course it doesn't, because it can actually prove that such an 
emulation will go on forever, as we can observe.

It can't do that for DDD,  and in fact, if we give that DDD paired to 
the HHH that thinks DDD is non-halting and aborts and returns to a true 
complete emulator (at a diffferent address than HHH is at, something not 
used) then we see that DDD will halt, and thus HHH is wrong.

This has been proving, and you ignoring that proof just shows that you 
are toostupid to see your errors, and too stupid to see that you are too 
stupid to see the errors, which makes you the worse kind of stupid.