Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Computable Functions --- finite string transformation rules
Date: Thu, 24 Apr 2025 23:01:20 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <5f270e9cab88ae293c7ce72d03fb9ffbfa23df1a@i2pn2.org>
References: <vsnchj$23nrb$2@dont-email.me> <vtit6a$15e5s$3@dont-email.me>
 <vtivmo$19aqd$1@dont-email.me> <vtkc4l$2h48g$3@dont-email.me>
 <vtkdnm$2iqu5$1@dont-email.me> <vtkkge$2si58$2@dont-email.me>
 <vtl56j$3aajg$1@dont-email.me> <vtlu0a$3vgp0$1@dont-email.me>
 <vtm04f$2a90$1@dont-email.me> <vtm9q8$aut7$1@dont-email.me>
 <vtmah8$2a90$2@dont-email.me> <vtmgen$gs48$1@dont-email.me>
 <c2ad5086dba36124c070173c3e3252967df2fab9@i2pn2.org>
 <vu8g3q$v0qa$1@dont-email.me> <vu8lse$vn9b$1@dont-email.me>
 <vu8og4$13jl5$7@dont-email.me>
 <6d9ae3ac08bbbe4407fc3612441fc2032f949a3d@i2pn2.org>
 <vub168$3clpn$2@dont-email.me>
 <7ac75991b443ba53d52960ddb1932524dea8e03f@i2pn2.org>
 <40b048f71fe2ed2a8ef11d2d587c765c8fcbc977@i2pn2.org>
 <vucrgq$148pf$1@dont-email.me> <vudkt8$1ona3$2@dont-email.me>
 <vudp39$1rhdn$1@dont-email.me> <vudrgb$20gck$1@dont-email.me>
 <vue2fb$27hl3$1@dont-email.me> <vue464$28iho$2@dont-email.me>
 <3fcc6700e2a832dbae42afd82a4e2cf3a9d85dee@i2pn2.org>
 <vueta8$31sno$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 25 Apr 2025 03:01:20 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1767615"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <vueta8$31sno$1@dont-email.me>

On 4/24/25 10:50 PM, olcott wrote:
> On 4/24/2025 6:07 PM, Richard Damon wrote:
>> On 4/24/25 3:41 PM, olcott wrote:
>>> On 4/24/2025 2:12 PM, Fred. Zwarts wrote:
>>>> Op 24.apr.2025 om 19:13 schreef olcott:
>>>>>
>>>>> HHH correctly determines through mathematical induction that
>>>>> DD emulated by HHH (according to the finite string transformations
>>>>> specified by the x86 language) cannot possibly reach its final
>>>>> halt state in an infinite number of steps.
>>>
>>>> No, HHH has a bug which makes that it fails to see that there is 
>>>> only a finite recursion, 
>>>
>>> *You are technically incompetent on this point*
>>> When the finite string transformation rules of the
>>> x86 language are applied to the input to HHH(DD)
>>> THIS DD CANNOT POSSIBLY REACH ITS FINAL HALT STATE
>>> not even after an infinite number of emulated steps.
>>
> 
> 
>> When the defined finite string trasnsformation rules, thos of the x86 
>> language, are applied to this input, completed with the definitions 
>> from Halt7.c as stipulated, we see that DD calls HHH(DD), that it will 
>> spend some time emulating DDm then it will
> 
> Correctly determine that DD emulated by HHH can never possibly
> reach its final halt state even after an infinite number of
> steps are emulated. Many C programmers have attested to this.
> 
> int DD()
> {
>    int Halt_Status = HHH(DD);
>    if (Halt_Status)
>      HERE: goto HERE;
>    return Halt_Status;
> }
> 
> When the smart knowledgeable people here disagree it seems
> far too implausible to construe this as any honest mistake.
> 

Your are forgetting your stipulation, that Halt7.c is part of the input, 
and thus *THAT* definition of HHH is what you are stuck with, and that 
ALWAYS aborts at the point it does.

Thus, HHH *NEVER* correctly emulates the input, and you criteria is just 
a category error and you are proving your "logic" is based on LIES and 
ERRORS.

The fact that you can't see this just shows how stupid you are, and that 
you mind can't see its own errors.

I'm sorry, but you are just proving your utter stupdity.

You can't change what you have already defined.

How does that code in Halt7.c do what you claim it does, do you not 
understand how programs work?

Do you not realize you are stuck with your stipulations?

That you are just showing that nothing you say can be taken for what you 
say, as you disagree with yourself.

Sorry, you are just proving you are just a pathological liar that 
doesn't have an bit of understand of what you are talking about.