Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: dbush <dbush.mobile@gmail.com>
Newsgroups: comp.theory
Subject: Re: Two computer science professors agree with Flibble
Date: Sun, 4 May 2025 23:18:14 -0400
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <vv9alm$3h92p$6@dont-email.me>
References: <TuuNP.2706011$nb1.2053729@fx01.ams4>
 <87cyd5182l.fsf@nosuchdomain.example.com> <vu6lnf$39fls$2@dont-email.me>
 <vugddv$b21g$2@dont-email.me> <vui4uf$20dpc$1@dont-email.me>
 <vuivtb$2lf64$3@dont-email.me> <vungtl$2v2kr$1@dont-email.me>
 <vuoaac$3jn5n$5@dont-email.me> <vuq81v$1hjka$1@dont-email.me>
 <vutefq$gmbi$3@dont-email.me> <vv22hs$puqs$1@dont-email.me>
 <vv89ll$2erlq$4@dont-email.me> <vv8en2$2kjgk$3@dont-email.me>
 <vv8ot8$2ub3p$1@dont-email.me> <vv8pqu$2ut5q$1@dont-email.me>
 <5YRRP.109778$_Npd.21893@fx01.ams4> <vv8qkt$2uhjq$2@dont-email.me>
 <87a57ramha.fsf@bsb.me.uk> <vv94qm$383jd$2@dont-email.me>
 <vv99l9$3h92p$2@dont-email.me> <vv9a6f$3hjhu$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 05 May 2025 05:18:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="18d110b57402f35c65b5688042d33321";
	logging-data="3712089"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19EQxAsL5VP8YNZe82XcmTm"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:SVDsHa93RmtSbuP5QehUWdoOT0w=
In-Reply-To: <vv9a6f$3hjhu$2@dont-email.me>
Content-Language: en-US

On 5/4/2025 11:10 PM, olcott wrote:
> On 5/4/2025 10:00 PM, dbush wrote:
>> On 5/4/2025 9:38 PM, olcott wrote:
>>> On 5/4/2025 8:13 PM, Ben Bacarisse wrote:
>>>> Richard Heathfield <rjh@cpax.org.uk> writes:
>>>>
>>>>> On 04/05/2025 23:34, Mr Flibble wrote:
>>>>>> The function is neither computable nor incomputable because there 
>>>>>> is no
>>>>>> function at all, just a category error.
>>>>>
>>>>> It's a point of view.
>>>>
>>>> It's a point of view only in the sense that there is no opinion so daft
>>>> that it's not someone's point of view.  The technical-sounding waffle
>>>> about it being a "category error" is simply addressed by asking where
>>>> the supposed category error is in other perfectly straightforward
>>>> undecidable problems.  For example, whether or not a context-free
>>>> grammar is ambiguous or not, or the very simple to pose Post
>>>> correspondence problem.
>>>>
>>>
>>> Flibble IS CORRECT when the halting problem is defined
>>> to be isomorphic (AKA analogous) to the Liar Paradox:
>>> "This sentence is not true".
>>>
>>> When the Halting Problem is defined as an input that
>>> does the opposite of whatever its decider reports
>>> then both Boolean return values are incorrect 
>>
>> False.  One value is correct and one is incorrect.
>>
> 
> Both Boolean RETURN VALUES FROM H *ARE* INCORRECT,
Category error.  Algorithms do one thing and one thing only.  And the 
algorithm that is the fixed code of the function H and everything it 
calls gives the wrong answer, and the opposing answer is the right answer.