Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
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 23:40:58 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v4j2ga$kqh$11@i2pn2.org>
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 03:40:58 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="21329"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v4j0h2$39gh7$3@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3268
Lines: 53

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.

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?"

Since, it has been shown that you H(D,D) will return 0, since you claim 
that is the correct answer, that means that D(D) will halt, and thus, 
the item of the mapping that you claim does not exist is simply that

D,D -> Halting.

And if you want to claim that you can make THAT H just return 1, no, you 
can't because THAT H is a fully defined program, and its behavior is 
fully determined, and you already said that its behavior for this input 
was to return 0

You are just proving yourself to be a STUPID LIAR.