Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT
Date: Sat, 19 Apr 2025 10:42:00 +0300
Organization: -
Lines: 28
Message-ID: <vtvk48$v92e$1@dont-email.me>
References: <vsnchj$23nrb$2@dont-email.me> <a8ab995b650b894cbfb635478f7406c4eee4d187@i2pn2.org> <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>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 19 Apr 2025 09:42:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9771f33c4d6a22f3fac4581d4c75e530";
	logging-data="1025102"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/j/GPVSmmeuTuI4HvZE0kU"
User-Agent: Unison/2.2
Cancel-Lock: sha1:ch2D7UgPSLdrosyXQ4W1WAM1uQo=
Bytes: 2789

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.

-- 
Mikko