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: =?UTF-8?Q?Re=3A_Computable_Functions_---_finite_string_transformati?=
 =?UTF-8?Q?on_rules_---_0_=E2=89=A01?=
Date: Sun, 27 Apr 2025 13:23:03 -0500
Organization: A noiseless patient Spider
Lines: 40
Message-ID: <vulsm7$1bf1j$6@dont-email.me>
References: <vsnchj$23nrb$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>
 <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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 27 Apr 2025 20:23:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ee5019efe4d0d5f225206792de93e35a";
	logging-data="1424435"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+dXphjo1ZDkXraoL1B0kKC"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:hC0vosR2+mcIX4PEzImbDptXF8g=
X-Antivirus: Norton (VPS 250427-6, 4/27/2025), Outbound message
Content-Language: en-US
In-Reply-To: <vukunp$i1sb$1@dont-email.me>
X-Antivirus-Status: Clean
Bytes: 3780

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.

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