Deutsch English Français Italiano |
<vu1vr0$34a28$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
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