Sujet : Re: HHH(DD) --- COMPUTE ACTUAL MAPPING FROM INPUT TO OUTPUT
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 17. Apr 2025, 05:05:08
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vtpull$3q71p$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
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; Geniushits a target no one else can see." Arthur Schopenhauer