Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT
Date: Sun, 20 Apr 2025 00:14:08 -0500
Organization: A noiseless patient Spider
Lines: 33
Message-ID: <vu1vr0$34a28$1@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 20 Apr 2025 07:14:11 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="843b9f483153b1334d813b2a826d512b";
	logging-data="3287112"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+bdnp11sabQ4+8seWtTXDw"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:EUs+QEtxvfjzTCJn7UUkVP/Vp2Q=
X-Antivirus: Norton (VPS 250420-0, 4/19/2025), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean
In-Reply-To: <vtvk48$v92e$1@dont-email.me>
Bytes: 3249

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.

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