Deutsch English Français Italiano |
<v4k0sr$3f4m3$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Date: Sat, 15 Jun 2024 15:19:40 +0300 Organization: - Lines: 44 Message-ID: <v4k0sr$3f4m3$1@dont-email.me> References: <v4j0h2$39gh7$3@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 15 Jun 2024 14:19:40 +0200 (CEST) Injection-Info: dont-email.me; posting-host="fb4ae353e280409bd8e10200d3ed0b1b"; logging-data="3642051"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18KCp1kAJbMmDBkD+VSR0ux" User-Agent: Unison/2.2 Cancel-Lock: sha1:o8YvG12xLk6Wn6gyCA/4h7FBRUI= Bytes: 2641 On 2024-06-15 03:07:14 +0000, olcott said: > On 6/13/2024 8:24 PM, Richard Damon wrote: > > On 6/13/24 11:32 AM, olcott wrote: > >> > >> It is contingent upon you to show the exact steps of how H computes > >> the mapping from the x86 machine language finite string input to > >> H(D,D) using the finite string transformation rules specified by > >> the semantics of the x86 programming language that reaches the > >> behavior of the directly executed D(D) > >> > > > > Why? I don't claim it can. > > _D() > [00000cfc](01) 55 push ebp > [00000cfd](02) 8bec mov ebp,esp > [00000cff](03) 8b4508 mov eax,[ebp+08] > [00000d02](01) 50 push eax ; push D > [00000d03](03) 8b4d08 mov ecx,[ebp+08] > [00000d06](01) 51 push ecx ; push D > [00000d07](05) e800feffff call 00000b0c ; call H > [00000d0c](03) 83c408 add esp,+08 > [00000d0f](02) 85c0 test eax,eax > [00000d11](02) 7404 jz 00000d17 > [00000d13](02) 33c0 xor eax,eax > [00000d15](02) eb05 jmp 00000d1c > [00000d17](05) b801000000 mov eax,00000001 > [00000d1c](01) 5d pop ebp > [00000d1d](01) c3 ret > Size in bytes:(0034) [00000d1d] > > If there is no mapping from the input to H(D,D) to the behavior > of D(D) then H is not even being asked about the behavior of D(D). > H has no obligation to answer questions *THAT IT IS NOT BEING ASKED* The halting problem specification does not say that a halt decider can be asked questions. It requires that a description of a Turing macine and a description of an input to that Turing machine can be given as an input. -- Mikko