Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1
Date: Tue, 15 Apr 2025 08:46:06 +0100
Organization: Fix this later
Lines: 51
Message-ID: <vtl2rv$36h6o$2@dont-email.me>
References: <vrfuob$256og$1@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>
 <vtkk5p$2si58$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 09:46:13 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="518c54d255421e14a04c2a4e021ec872";
	logging-data="3359960"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+1zQWFuXhJIr6CN4+LCdhJcmsXHlS9bvSFkT6IJ7gQFw=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:+9eyrGqfeC1UfXOl3OxmbrwjBPw=
In-Reply-To: <vtkk5p$2si58$1@dont-email.me>
Content-Language: en-GB
Bytes: 3646

On 15/04/2025 04:35, olcott wrote:
> 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.

Calling people stupid doesn't make them wrong and doesn't make 
you right. And stupid or not, it doesn't matter how deciders 
work; they can work any way you like as long as they do work and 
give the right answer. But no matter how they work, there are 
some answers they cannot correctly provide.

-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within