Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic Subject: Re: H(D,D) cannot even be asked about the behavior of D(D) V2 Date: Fri, 14 Jun 2024 22:53:01 -0500 Organization: A noiseless patient Spider Lines: 65 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 15 Jun 2024 05:53:01 +0200 (CEST) Injection-Info: dont-email.me; posting-host="020d44455d70acf7231aebb6a85d124b"; logging-data="3474205"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/TiTfvv/LNzIvy2eNV8LbT" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:50QRBy9zM9IdW1Rcg+uX0ihKBLY= Content-Language: en-US In-Reply-To: Bytes: 3660 On 6/14/2024 10:40 PM, Richard Damon wrote: > On 6/14/24 11:07 PM, olcott wrote: >> 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* >> > > You keep on stating that LIE. > That is is over-your-head does not even make it untrue. That you call me a liar makes you a liar. If you want to claim that I am wrong YOU MUST USE REASONING. Calling me a liar makes you a liar and a fool. > H, being a Halting Decider (or are you lying about that) has exactly one > question it *IS* being asked about every input it s given, that that is > "Will the execution of the program represented by your input Halt when > run?" > Yes you are very good at memorizing textbooks now prove that the input to H(D,D) can be transformed into the question Does D(D) halt? >> > Why? I don't claim it can. Then H is NOT BEING ASKED ABOUT THE BEHAVIOR OF D(D). I chopped out the attempt to change the subject. *YOU MUST STAY FOCUSED ON THIS POINT* -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer