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) ---
 Boilerplate Reply
Date: Fri, 21 Jun 2024 13:26:25 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v54d41$lkkc$6@i2pn2.org>
References: <v45tec$4q15$1@dont-email.me> <v4hv85$3021v$1@dont-email.me>
 <v4ju8f$222a$1@i2pn2.org> <v4k1m4$3f99u$1@dont-email.me>
 <v4k4mt$3fnqu$1@dont-email.me> <v4maeo$3vv3f$1@dont-email.me>
 <v4mnim$1qt6$6@dont-email.me> <v4onga$hjo3$3@dont-email.me>
 <v4pbg4$ln46$1@dont-email.me> <v4rdtp$18al3$1@dont-email.me>
 <v4rvil$1boeu$2@dont-email.me> <v4s9hj$1dnm7$1@dont-email.me>
 <v4sa0h$1dk9i$3@dont-email.me> <v4sci6$1ebce$1@dont-email.me>
 <v4sd35$1eb2f$5@dont-email.me> <v4u3jl$1se49$1@dont-email.me>
 <v4umvh$1vpm0$7@dont-email.me> <v50d8k$2e51s$1@dont-email.me>
 <v50dtp$2e5ij$1@dont-email.me> <v51f4t$2k8ar$1@dont-email.me>
 <v51ge4$2kbbe$2@dont-email.me> <v52mil$jund$6@i2pn2.org>
 <v52n3h$2v5s6$1@dont-email.me> <v52p32$jund$7@i2pn2.org>
 <v52pht$2vh9u$1@dont-email.me> <v52qat$jund$9@i2pn2.org>
 <v52s4l$2vlma$1@dont-email.me> <v52td1$june$1@i2pn2.org>
 <v52tul$307ee$1@dont-email.me> <v5435h$lkkb$4@i2pn2.org>
 <v54bcf$38n2k$1@dont-email.me> <v54buj$lkkc$4@i2pn2.org>
 <v54cia$38n2k$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 21 Jun 2024 17:26:25 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="709260"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v54cia$38n2k$3@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 4391
Lines: 75

On 6/21/24 1:16 PM, olcott wrote:
> On 6/21/2024 12:06 PM, Richard Damon wrote:
>> On 6/21/24 12:56 PM, olcott wrote:
>>> On 6/21/2024 9:36 AM, Richard Damon wrote:
>>>> On 6/21/24 12:01 AM, olcott wrote:
>>>
>>>
>>> _DDD()
>>> [00002093] 55               push ebp
>>> [00002094] 8bec             mov ebp,esp
>>> [00002096] 6893200000       push 00002093 ; push DDD
>>> [0000209b] e853f4ffff       call 000014f3 ; call HH0
>>> [000020a0] 83c404           add esp,+04
>>> [000020a3] 5d               pop ebp
>>> [000020a4] c3               ret
>>> Size in bytes:(0018) [000020a4]
>>>
>>>>>
>>>>> That is the only definitive way to determine the
>>>>> actual behavior that the finite string specifies.
>>>>>
>>>>
>>>> It is the only was to COMPUTE the actual behavior, but to DETERMINE 
>>>> it doesn't need that.
>>>>
>>>
>>> Ah so you expect that HH0 must use its intuition to
>>> determine that behavior that it is supposed to report on.
>>>
>>
>>
>> Nope, if it exists, it needs to compute the answer. But, it doesn't 
>> need to exist as a correct decider for halting.
>>
> 
> If H(D,D) cannot apply finite string transformation rules
> to its input finite string of x86 machine language of D to
> derive the behavior of D(D) then H cannot even be asked
> the question: Does D(D) halt?

You are just showing your STUPDIITY and IGNRNCE of the topic.

There is NOTHING about the definition of a quesiton of a mapping that we 
can ask a decider to try to compute that says the mapping must be 
computable.

> 
> H(D,D) is being asked the question:
> Must your correct simulation of D be aborted to prevent
> your own non-termination?


Nope, it is being asked if the machine represented by its input will 
Halt when run.

You CLEARLY don't understand the nature of the problem, and are going 
back to your pathological lying.

> 
> It answers that question correctly.

So, it is a correct POOP decider, but not a Halt Decide, so you are just 
lying about that.

> 
> All undecidable decision problems make this same sort of mistake.
> Incorrect yes/no questions have no correct yes/no answer.
> 

Nope, YOU make that sort of mistake, becase you are just an ignorant 
pathological liar.

Try to show a reputable sourse that supports your claim.

I suspect you are going to end up having a lot of time to review your 
errors.