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: olcott Newsgroups: comp.theory,sci.logic,comp.ai.philosophy Subject: H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES Date: Sat, 15 Jun 2024 11:22:09 -0500 Organization: A noiseless patient Spider Lines: 41 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 15 Jun 2024 18:22:10 +0200 (CEST) Injection-Info: dont-email.me; posting-host="65be3053bb2d9b452c13d5ddc3153d90"; logging-data="3706462"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+nQkN+nEMkd5cmN5kRbx2o" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:ipuvyvDItIsGmTf/SXLLLh6lR+o= Content-Language: en-US Bytes: 2616 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. The first six steps of this mapping are when instructions at the machine address range of [00000cfc] to [00000d06] are simulated/executed. After that the behavior of D correctly simulated by H diverges from the behavior of D(D) because the call to H(D,D) by D correctly simulated by H cannot possibly return to D. _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] -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer