Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Computable Functions --- finite string transformation rules
Date: Thu, 24 Apr 2025 19:03:34 -0500
Organization: A noiseless patient Spider
Lines: 85
Message-ID: <vuejgn$2md4c$3@dont-email.me>
References: <vsnchj$23nrb$2@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>
 <vue57b$27hl3$3@dont-email.me> <vue8qm$2d7t8$1@dont-email.me>
 <cb382175aa6cc9a806dedc1d2bcfbd916dfaf1b5@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 25 Apr 2025 02:03:36 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="39160e770cd8a33e2f9b3fd49f54870c";
	logging-data="2831500"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18PnfPIIPwdkjrhkBCoPPSq"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:X5300fJq3E3XON5hAYFZVuBOzgw=
Content-Language: en-US
In-Reply-To: <cb382175aa6cc9a806dedc1d2bcfbd916dfaf1b5@i2pn2.org>
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250424-14, 4/24/2025), Outbound message
Bytes: 5406

On 4/24/2025 6:10 PM, Richard Damon wrote:
> On 4/24/25 5:01 PM, olcott wrote:
>> On 4/24/2025 2:59 PM, Fred. Zwarts wrote:
>>> Op 24.apr.2025 om 21:41 schreef olcott:
>>>> 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.
>>>>
>>>> int DD()
>>>> {
>>>>    int Halt_Status = HHH(DD);
>>>>    if (Halt_Status)
>>>>      HERE: goto HERE;
>>>>    return Halt_Status;
>>>> }
>>>>
>>>> _DD()
>>>> [00002133] 55         push ebp      ; housekeeping
>>>> [00002134] 8bec       mov ebp,esp   ; housekeeping
>>>> [00002136] 51         push ecx      ; make space for local
>>>> [00002137] 6833210000 push 00002133 ; push DD
>>>> [0000213c] e882f4ffff call 000015c3 ; call HHH(DD)
>>>> [00002141] 83c404     add esp,+04
>>>> [00002144] 8945fc     mov [ebp-04],eax
>>>> [00002147] 837dfc00   cmp dword [ebp-04],+00
>>>> [0000214b] 7402       jz 0000214f
>>>> [0000214d] ebfe       jmp 0000214d
>>>> [0000214f] 8b45fc     mov eax,[ebp-04]
>>>> [00002152] 8be5       mov esp,ebp
>>>> [00002154] 5d         pop ebp
>>>> [00002155] c3         ret
>>>> Size in bytes:(0035) [00002155]
>>>>
>>>>
>>>>
>>> Again a lot of text, but no rebuttal.
>>
>> *This rebuttal is over-your-head*
>>
>> All computations must be finite string transformations
>> to finite string inputs.
> 
> 
> Right
>>
>> 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.
>>
> 
> No, HHH just stops performing those before it get to the end.
> 
> The transformation, which by definition of the x86 language, don't just 
> stop in the middle, continue to the point where the emulated HHH aborts 
> its emulation and returns 0 to the emulated DD which the halts.

Mathematical induction proves that DD emulated by HHH
cannot possibly reach its own final state in an infinite
number of steps and it does this with one recursive emulation.
There is a repeating pattern that every C programmer can see.

> 
> That fact you confuse the partial emulation of HHH with the actual 
> factual definition of the x86 language just shows your ignorance of what 
> you talk about, that you don't understand the nature of logic or truth, 
> and that you are nothing but a pathological liar.


-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer