Deutsch English Français Italiano |
<vqcvhm$34c3r$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
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: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals Date: Thu, 6 Mar 2025 14:11:34 -0600 Organization: A noiseless patient Spider Lines: 55 Message-ID: <vqcvhm$34c3r$2@dont-email.me> References: <vq5qqc$1j128$2@dont-email.me> <vq6l3k$1r2p8$1@dont-email.me> <vq72iv$1tapm$3@dont-email.me> <vqbkqs$2t20u$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 06 Mar 2025 21:11:35 +0100 (CET) Injection-Info: dont-email.me; posting-host="566f246a75be3c19f962b78108481d73"; logging-data="3289211"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19RQJzPMu1LocCFIU9yC2cQ" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:8bImqdo9xEjOneEWEdSoWGMaCi4= Content-Language: en-US X-Antivirus-Status: Clean In-Reply-To: <vqbkqs$2t20u$1@dont-email.me> X-Antivirus: Norton (VPS 250306-6, 3/6/2025), Outbound message Bytes: 3245 On 3/6/2025 2:02 AM, Mikko wrote: > On 2025-03-04 14:26:39 +0000, olcott said: > >> On 3/4/2025 4:36 AM, Mikko wrote: >>> On 2025-03-04 03:07:56 +0000, olcott said: >>> >>>> 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] >>>> >>>> DD correctly emulated by HHH cannot possibly >>>> reach its own "ret" instruction and terminate normally. >>>> >>>> The only valid rebuttal is to show all of the steps of >>>> exactly how DD correctly emulated by HHH reaches its >>>> own "ret" instruction. >>> >>> The question whether DD emulated by HHH exists is too uninteresting that >>> it would need a rebuttal, and so is the question that does it reach its >>> "ret" instruction if it exsists. >>> >> >> DD correctly emulated by HHH cannot possibly >> reach its own "ret" instruction and terminate normally. >> *Proves that the input to HHH(DD) can be rejected as non-halting* > > As "DD correctly emulated by HHH" does not exist *No one has made any attempt to show that* -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer