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:38:21 -0500
Organization: A noiseless patient Spider
Lines: 69
Message-ID: <v54dqe$394bf$1@dont-email.me>
References: <v45tec$4q15$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>
 <v54d41$lkkc$6@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:38:22 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="d3e479354f6c59f79625e93d556f5bfb";
	logging-data="3445103"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18EKpDfgFWn4YGb5/PuALyI"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:OOlhzVR/L4t0TQkReKz9bEFdw90=
In-Reply-To: <v54d41$lkkc$6@i2pn2.org>
Content-Language: en-US
Bytes: 4373

On 6/21/2024 12:26 PM, Richard Damon wrote:
> 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.
> 
You are the one being stupid here, yet you can't help it.

That you don't understand the details of how deciders
are asked questions is significant ignorance on your part.

You keep implicitly presuming the deciders can read computer
science textbooks.

int sum(int x, int y){ return x + y; }
Can map (3,4) to 7.
Cannot map(3,4) to 37.

H(D,D) can map D correctly simulated by H to recursive simulation.
H(D,D) cannot map D correctly simulated by H to termination.




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