Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!news.quux.org!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 02:32:16 +0100
Organization: Fix this later
Lines: 58
Message-ID: <vtkcv0$2h8cs$1@dont-email.me>
References: <vrfuob$256og$1@dont-email.me> <vs7r9b$8ajp$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 15 Apr 2025 03:32:18 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="518c54d255421e14a04c2a4e021ec872";
	logging-data="2662812"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/uotvMpm5rsAeZytDVcQM0jkayW3ZGMPJJQMI0EAbWhQ=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:DzGM9h9etSxjkq/ZHKxK1WbXL6w=
Content-Language: en-GB
In-Reply-To: <vtkb72$2h48g$1@dont-email.me>
Bytes: 4215

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. In this case what matters is 
/whether/ your termination analyser works. The mainstream view is 
that a termination analyser /can't/ work in the general case, and 
to date you have done nothing to put any dents into that view.

Either your decider works 100% of the time or it doesn't. If it 
doesn't work it doesn't work, game over. But as Turing showed, if 
it /does/ work it can be incorporated into a program that will 
stop it working. Clearly you already know this --- your constant 
re-posting of your DDD() function shows that you're familiar with 
the way this is done --- so one can't help but wondering why you 
continue to flog your very dead horse.

Logic shows that you're wrong. Presumably you disagree with the 
logic, but that only works if the real world agrees with you. If 
you could come up with a working termination analyser that would 
obviously prove your point, but you would have to be able to show 
that it works correctly for arbitrary programs, without 
exception. This you have singularly failed to do.

-- 
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