Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT
Date: Sun, 20 Apr 2025 06:45:50 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <46b7d37cb0b0c30a767d6e0081c02bc62d4994f9@i2pn2.org>
References: <vsnchj$23nrb$2@dont-email.me> <vthqtc$5g2e$2@dont-email.me>
 <63af93cb608258cc3e12b9bab3a2efa0b7ee7eee@i2pn2.org>
 <vtit6a$15e5s$3@dont-email.me> <vtivmo$19aqd$1@dont-email.me>
 <vtkc4l$2h48g$3@dont-email.me> <vtkdnm$2iqu5$1@dont-email.me>
 <vtkkge$2si58$2@dont-email.me> <vtl56j$3aajg$1@dont-email.me>
 <vtlu0a$3vgp0$1@dont-email.me> <vtm04f$2a90$1@dont-email.me>
 <vtm9q8$aut7$1@dont-email.me> <vtmah8$2a90$2@dont-email.me>
 <vtmgen$gs48$1@dont-email.me> <vtmh1n$2a90$3@dont-email.me>
 <vto4vh$23i07$1@dont-email.me> <vto7qu$267in$1@dont-email.me>
 <k%RLP.1232047$Xb1.539402@fx05.ams4> <vtorpb$2uac$1@news.muc.de>
 <vtouuq$2s1j2$1@dont-email.me> <NKTLP.1054794$EYs7.672687@fx12.ams4>
 <vtp20t$2s1j2$2@dont-email.me> <H8ULP.1413496$dBr6.1033266@fx04.ams4>
 <vtp3h0$2s1j2$3@dont-email.me> <MUULP.751828$J61.441500@fx08.ams4>
 <vtpamm$36b40$1@dont-email.me> <UqsMP.1392742$cgs7.657919@fx14.ams4>
 <vttu2b$3b0ad$1@dont-email.me> <vtvk48$v92e$1@dont-email.me>
 <vu1vr0$34a28$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 20 Apr 2025 10:56:32 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1122967"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <vu1vr0$34a28$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0

On 4/20/25 1:14 AM, olcott wrote:
> On 4/19/2025 2:42 AM, Mikko wrote:
>> On 2025-04-18 16:19:23 +0000, olcott said:
>>
>>> On 4/18/2025 8:27 AM, Mr Flibble wrote:
>>>> On Wed, 16 Apr 2025 23:24:22 +0100, Richard Heathfield wrote:
>>>>
>>>>> On 16/04/2025 22:01, Mr Flibble wrote:
>>>>>> I, aka Mr Flibble, have uniquely identified this category error and
>>>>>> have thus solved the halting problem
>>>>>
>>>>> No, Mr Flibble, you have solved the Mr Flibble Problem. Well done! You
>>>>> may award yourself whatever cash prize you can find in your piggy 
>>>>> bank.
>>>>> Well done!
>>>>>
>>>>> And now you'd hurry back to using all those naughty words while your
>>>>> mummy's still out at the shops.
>>>>
>>>> Partial deciders are a thing,
>>>
>>> Yes they are and termination analyzers only need
>>> be correct on at least one input.
>>
>> Even in situations where an analyzer cannot determine the right answer
>> it must not give the wrong answer. Not halting is OK, and so is to say
>> that the answer cannot be determined.
>>
> 
> Cases of semantically invalid inputs must be rejected
> as erroneous.
> 

And what is semantically invalid about the actual program DDD?

Maybe your erroneous non-program function with undefined referant, but 
the D/DD/DDD when it includes the copy of the decider it is based on is 
fully defined and semantically valid.

You are just proviing your ignorance of the field.