Path: 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: Wed, 16 Apr 2025 23:05:08 -0500
Organization: A noiseless patient Spider
Lines: 35
Message-ID: <vtpull$3q71p$2@dont-email.me>
References: <vsnchj$23nrb$2@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 17 Apr 2025 06:05:10 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4eb20266d77c3503992c0bf59cb78096";
	logging-data="4004921"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/hTBfZRBnHr8gw+8s1Q89r"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:xlu9ZEEez1aB5fJ25+EPBSloIow=
X-Antivirus-Status: Clean
Content-Language: en-US
X-Antivirus: Norton (VPS 250416-4, 4/16/2025), Outbound message
In-Reply-To: <vtpamm$36b40$1@dont-email.me>

On 4/16/2025 5:24 PM, 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.
> 

Flibble and I did not solve the Halting Problem
instead Flibble, computer science professor
Eric Hehner PhD, and I agree that the halting
problem is a "category error" (Flibble's words).


(see page 2 and references)

Yes, then we three agree including PhD computer science professor
Eric Hehner PhD (see page 2 and references). 
publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D 


*Here is one of his best papers*
Objective and Subjective Specifications
https://www.cs.toronto.edu/~hehner/OSS.pdf
(6) Can Carol correctly answer “no” to this question?
The analysis of the above is the key insight into his whole paper.

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