Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1
Date: Mon, 14 Apr 2025 22:35:21 -0500
Organization: A noiseless patient Spider
Lines: 40
Message-ID: <vtkk5p$2si58$1@dont-email.me>
References: <vrfuob$256og$1@dont-email.me> <vs92l3$1fccq$5@dont-email.me>
 <vs93ae$1k9u2$1@dont-email.me> <vs9g5p$1v2n9$5@dont-email.me>
 <vs9gcg$20g2j$3@dont-email.me> <vs9h9o$23cav$2@dont-email.me>
 <vs9hh3$20g2j$6@dont-email.me> <vs9jie$23cav$4@dont-email.me>
 <vs9kb1$26cg5$2@dont-email.me> <vs9pni$27rl4$9@dont-email.me>
 <3ade9e84224ba9b99c7363e0e9b69181804b7daa@i2pn2.org>
 <vsc2fd$1vihj$2@dont-email.me>
 <e1da7d564873d36f88e119fbbbdafd8c6b0f675e@i2pn2.org>
 <vsc9o7$2bk3d$2@dont-email.me> <vsdkq5$3rdgv$1@dont-email.me>
 <vselj9$th5g$1@dont-email.me> <vsg0tj$2e09c$1@dont-email.me>
 <vsht0a$90ss$4@dont-email.me> <vsiurv$1estf$1@dont-email.me>
 <vskqim$378kj$7@dont-email.me> <vsla1h$1kf$1@dont-email.me>
 <vsn08o$1ltd2$5@dont-email.me>
 <b748de0dbba6d397f790f7112fbaf891a9550e30@i2pn2.org>
 <vth4pr$3in23$7@dont-email.me>
 <ee7f2cd7fb674e3a212e7f98514a82aee3a1141b@i2pn2.org>
 <vtk70r$2d98m$1@dont-email.me> <vtk785$2csgt$1@dont-email.me>
 <vtkb72$2h48g$1@dont-email.me> <vtkcv0$2h8cs$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 15 Apr 2025 05:35:21 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8b77476f19ca356aa7dba57a400512e1";
	logging-data="3033256"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/xqgqYzCNwyw2cdcNZWmin"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:P3nvNFpxJejvK4P4nDdpRrB0U14=
Content-Language: en-US
In-Reply-To: <vtkcv0$2h8cs$1@dont-email.me>
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250414-0, 4/13/2025), Outbound message

On 4/14/2025 8:32 PM, Richard Heathfield wrote:
> On 15/04/2025 02:02, olcott wrote:
>> On 4/14/2025 6:54 PM, dbush wrote:
>>> On 4/14/2025 7:50 PM, olcott wrote:
>>>> On 4/14/2025 4:32 AM, joes wrote:
>>>>> Am Sun, 13 Apr 2025 14:54:35 -0500 schrieb olcott:
>>>>>> On 4/13/2025 9:46 AM, joes wrote:
>>>>>>> Am Thu, 03 Apr 2025 16:57:43 -0500 schrieb olcott:
> 
> <snip>
> 
>>>>>>>> THE FACT THAT DDD EMULATED BY HHH DOES NOT HALT IS NOT RELEVANT 
>>>>>>>> TO A
>>>>>>>> CORRECT DECISION BY A HALT DECIDER?
>>>>>>> Yes.
>>>>> To clarify: that *HHH* does not simulate DDD halting has no bearing on
>>>>> its direct execution.
>>>>>
>>>>
>>>> THE DIRECT EXECUTION IS NOT WHAT IT SEES 
>>>
>>> Irrelevant. 
>>
>>
>> THAT IS A STUPID THING TO SAY
> 
> Far from it. In fact it's very very true, and the all-caps foot-stamping 
> doesn't help your case one jot.
> 
>> THAT COMPLETELY IGNORES WHAT
>> COMPUTABLE FUNCTIONS ARE AND HOW THEY WORK.
> 
> It doesn't matter how they work. 

You can't stupidly ignored that all deciders must be
computable functions.

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