Path: ...!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
 ---ignoring all other replies
Date: Sat, 15 Jun 2024 11:12:32 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v4kb10$2218$15@i2pn2.org>
References: <v45tec$4q15$1@dont-email.me> <v48gh6$3kcoe$4@i2pn2.org>
 <v48jv2$se9c$1@dont-email.me> <v49dge$3kcoe$5@i2pn2.org>
 <v4a0hs$157ic$3@dont-email.me> <v4ak5o$3kcoe$6@i2pn2.org>
 <v4am8r$19edk$1@dont-email.me> <v4apjs$19rnv$1@dont-email.me>
 <v4arp0$1a7uo$1@dont-email.me> <v4b1c3$3nf9n$3@i2pn2.org>
 <v4b50m$1f89t$5@dont-email.me> <v4c12r$3oop0$3@i2pn2.org>
 <v4cjl7$1o4b4$1@dont-email.me> <v4d991$3qbnc$1@i2pn2.org>
 <v4da12$1sioe$1@dont-email.me> <v4dbmf$3qbnc$3@i2pn2.org>
 <v4dcd6$1sioe$3@dont-email.me> <v4df0h$3qbnd$1@i2pn2.org>
 <v4dhf5$1tsdf$2@dont-email.me> <v4dja1$3qbnd$5@i2pn2.org>
 <v4djhf$1tsdf$6@dont-email.me> <v4dk7b$3qbnc$8@i2pn2.org>
 <v4dl3b$225kb$1@dont-email.me> <v4dn5u$3qbnd$8@i2pn2.org>
 <v4dop4$22o4a$2@dont-email.me> <v4dq07$3qbnc$12@i2pn2.org>
 <v4dqq0$2353n$1@dont-email.me> <v4el9m$3rsd6$3@i2pn2.org>
 <v4f3ec$2akmh$2@dont-email.me> <v4g65a$3tn6q$1@i2pn2.org>
 <v4k906$3gc4t$4@dont-email.me> <v4kaas$2218$14@i2pn2.org>
 <v4kamr$3gc4t$8@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 15:12:32 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="67624"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <v4kamr$3gc4t$8@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 4588
Lines: 71

On 6/15/24 11:07 AM, olcott wrote:
> On 6/15/2024 10:00 AM, Richard Damon wrote:
>> On 6/15/24 10:37 AM, 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.
>>>>
>>>
>>> We must fully resolve this point before proceeding on any other
>>> halting problem points. If the reason that you don't answer is
>>> that this is simply over-your-head then it may not make sense to
>>> continue talking about these things with you.
>>>
>>> This is the key point that you must understand otherwise our
>>> conversation hit the brick wall of your persistently maintained
>>> ignorance.
>>>
>>> If there is no mapping from the input to H(D,D) to the behavior
>>> of D(D) then *H IS NOT BEING ASKED ABOUT THIS BEHAVIOR*
>>>
>>>
>>
>> You just seem to be stuck in your lies.
>>
>> There *IS* a mapping from the input to H(D,D) to the behavior of D(D), 
> 
> *Then do as I originally requested and provide ALL OF THE STEPS*
> *ANYTHING AND EVERYTHING BESIDES ALL OF THE STEPS WILL BE REJECTED*
> *OUT-OF-HAND AS WRONG ANSWER*

Mappings don't HAVE steps.

The mapping, for this H and D, is:

(D,D) -> 1

This is true, as it can be shown that D(D) will Halt, since H(D,D) 
returns 0. By definition, Halting Machines mean the mapping of the 
representations of that machine are to Halting (which is represented by 
1 for your decider).

You are just showing a total ignorance of the topic.

> 
> _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]
> 
>