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