Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: Halting Problem: What Constitutes Pathological Input Date: Tue, 6 May 2025 13:47:11 -0500 Organization: A noiseless patient Spider Lines: 54 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 06 May 2025 20:47:11 +0200 (CEST) Injection-Info: dont-email.me; posting-host="4d3877b25e07ae675aebb853b858fd37"; logging-data="3735851"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18P66e4AtpZs8CBY0sNey0G" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:YpkuP9R3fdtcLjRjthRwb0hU9y0= In-Reply-To: X-Antivirus: Norton (VPS 250506-4, 5/6/2025), Outbound message Content-Language: en-US X-Antivirus-Status: Clean Bytes: 3655 On 5/6/2025 7:14 AM, dbush wrote: > On 5/6/2025 1:54 AM, olcott wrote: >> On 5/6/2025 12:49 AM, Richard Heathfield wrote: >>> On 06/05/2025 00:29, olcott wrote: >>> >>> >>> >>>> >>>> It is the problem incorrect specification that creates >>>> the contradiction. >>> >>> Not at all. The contradiction arises from the fact that it is not >>> possible to construct a universal decider. >>> >>>> Everyone here insists that functions computed >>>> by models of computation can ignore inputs and >>>> base their output on something else. >>> >>> I don't think anyone's saying that. >>> >>> Maybe you don't read so well. >>> >> >> What are the exact steps for DD to be emulated by HHH >> according to the semantics of the x86 language? >> *Only an execution trace will do* > > The exact same steps for DD to be emulated by UTM. > _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] Machine address by machine address specifics that you know that you cannot provide because you know that you are wrong. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer