Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: =?UTF-8?Q?Re=3A_Computable_Functions_---_finite_string_transformati?=
 =?UTF-8?Q?on_rules_---_0_=E2=89=A01?=
Date: Mon, 28 Apr 2025 21:50:55 +0200
Organization: A noiseless patient Spider
Lines: 87
Message-ID: <vuom70$1jop$1@dont-email.me>
References: <vsnchj$23nrb$2@dont-email.me> <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>
 <bf0ee557f7c0eba386944a4551e607895c620d44@i2pn2.org>
 <vue9im$2d7t8$5@dont-email.me>
 <09bba11868dafecb6800ba8aec152304fec97553@i2pn2.org>
 <vuej7d$2md4c$1@dont-email.me>
 <51a4be0ebc0ddc76954fd2e5ec1c5951b5f306e3@i2pn2.org>
 <vug1gc$116u$1@dont-email.me>
 <6bd35d1c5fb0d281a29dc8e56458f2b83f63d878@i2pn2.org>
 <vugl27$it5g$2@dont-email.me> <vui73e$217h6$1@dont-email.me>
 <vuj0rf$2lf64$5@dont-email.me> <vukunp$i1sb$1@dont-email.me>
 <vulsm7$1bf1j$6@dont-email.me> <vungbu$2ujct$1@dont-email.me>
 <vuo99r$3jn5n$4@dont-email.me> <vuo9aq$3dd6e$4@dont-email.me>
 <vuohjk$3td7u$2@dont-email.me> <vuohst$3dd6e$6@dont-email.me>
 <vuojet$3td7u$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 28 Apr 2025 21:50:56 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f1eeb46f8b0244db43944d81f161af72";
	logging-data="53017"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/ylXqHYWx0r8lIBNU646vH"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:vLHlqbREm0qxrRMK5sszU6I9Id0=
In-Reply-To: <vuojet$3td7u$6@dont-email.me>
Content-Language: nl, en-GB

Op 28.apr.2025 om 21:03 schreef olcott:
> On 4/28/2025 1:37 PM, dbush wrote:
>> On 4/28/2025 2:32 PM, olcott wrote:
>>> On 4/28/2025 11:11 AM, dbush wrote:
>>>> On 4/28/2025 12:10 PM, olcott wrote:
>>>>> On 4/28/2025 4:05 AM, Mikko wrote:
>>>>>> On 2025-04-27 18:23:03 +0000, olcott said:
>>>>>>
>>>>>>> On 4/27/2025 4:51 AM, Mikko wrote:
>>>>>>>> On 2025-04-26 16:15:44 +0000, olcott said:
>>>>>>>>
>>>>>>>>> _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]
>>>>>>>>>
>>>>>>>>> When any HHH emulates DD according to the finite
>>>>>>>>> string transformation rules specified by the x86
>>>>>>>>> language (the line of demarcation between correct
>>>>>>>>> and incorrect emulation) no emulated DD can possibly
>>>>>>>>> reach its final halt state and halt.
>>>>>>>>
>>>>>>>> There is a type error above. First DD is introduced as a proper 
>>>>>>>> name.
>>>>>>>> But later it is used in the phrase "no emulated DD" where the rules
>>>>>>>> of the language require a generic name.
>>>>>>>>
>>>>>>>
>>>>>>> *This of this as an axiom schema*
>>>>>>> No DD correctly emulated by any HHH can possibly
>>>>>>> reach its final halt state. This conclusively
>>>>>>> proves that every HHH is correct to reject its
>>>>>>> input DD as non-halting.
>>>>>>
>>>>>> That cannot be used as a schema before you specify what symbols in 
>>>>>> it are
>>>>>> placeholders and what replacements can be used for the placeholders.
>>>>>>
>>>>>
>>>>> I have gone over this many hundreds of times
>>>>> do you not remember anything that I already said?
>>>>>
>>>>> int DD()
>>>>> {
>>>>>    int Halt_Status = EEE(DD);
>>>>>    if (Halt_Status)
>>>>>      HERE: goto HERE;
>>>>>    return Halt_Status;
>>>>> }
>>>>>
>>>>> When each element of the set of x86 emulators
>>>>> named EEE 
>>>>
>>>> Changing the input is not allowed.
>>>
>>> Hypothetical possibilities numbskull.
>>>
>>
>> So you're hypothesizing changing the input.
>>
>> Changing the input, hypothetically or otherwise, is not allowed.
> 
> Examining the infinite set of HHH/DD pairs simultaneously
> IS NOT CHANGING THE INPUT DUMBO.
> 

Of course it is. Each HHH has a different DD as input.
That has been pointed out to you many times. When will you finally 
understand it?
But we are looking at the HHH that includes Halt7.c. If HHH would 
properly analyse Halt7.c, it would see that there is a condition abort.
But HHH does not do that, it simply aborts prematurely. It fails to see 
that there is only a finite recursion.
The same holds for other hypothetical HHH when they abort prematurely.