Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,comp.ai.philosophy Subject: Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar Date: Sun, 17 Nov 2024 15:30:13 -0600 Organization: A noiseless patient Spider Lines: 41 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 17 Nov 2024 22:30:14 +0100 (CET) Injection-Info: dont-email.me; posting-host="f412909ad9be764d47e6636298420ea3"; logging-data="887417"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/qwmmOIa0x8qhYIEmfdd1p" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:ijWm2Lm+ca+uIgkAPu2FaEUc/tM= X-Antivirus: Norton (VPS 241117-2, 11/17/2024), Outbound message In-Reply-To: Content-Language: en-US X-Antivirus-Status: Clean Bytes: 2671 On 11/17/2024 2:51 PM, Richard Damon wrote: > On 11/17/24 1:36 PM, olcott wrote: >> void DDD() >> { >>    HHH(DDD); >>    return; >> } >> >> _DDD() >> [00002172] 55         push ebp      ; housekeeping >> [00002173] 8bec       mov ebp,esp   ; housekeeping >> [00002175] 6872210000 push 00002172 ; push DDD >> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD) >> [0000217f] 83c404     add esp,+04 >> [00002182] 5d         pop ebp >> [00002183] c3         ret >> Size in bytes:(0018) [00002183] >> >> DDD emulated by any encoding of HHH that emulates N >> to infinity number of steps of DDD cannot possibly >> reach its "return" instruction final halt state. >> >> This applies to every DDD emulated by any HHH no >> matter the recursive depth of emulation. Thus it is >> a verified fact that the input to HHH never halts. >> >> > > I will also add, that since you have dropped your requirements on HHH > (or are seeming to try to divorse yourself from previous assumptions) > there are MANY HHH that can complete the emulation, they just fail to be > "pure functions". > The damned liar despicably dishonest attempt to get away with changing the subject away from DDD reaching its final halt state. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer