Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
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 12:16:57 -0500
Organization: A noiseless patient Spider
Lines: 52
Message-ID: <v54cia$38n2k$3@dont-email.me>
References: <v45tec$4q15$1@dont-email.me> <v4hp3r$3viml$1@i2pn2.org>
 <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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 21 Jun 2024 19:16:58 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="d3e479354f6c59f79625e93d556f5bfb";
	logging-data="3431508"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+NToJdtmPf/e+tozDwvWgT"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:HrGT39uTFros08WdYl6Iji4r6wg=
In-Reply-To: <v54buj$lkkc$4@i2pn2.org>
Content-Language: en-US
Bytes: 3780

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?

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

It answers that question correctly.

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

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer