Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Two computer science professors agree with Flibble
Date: Mon, 5 May 2025 11:09:50 +0300
Organization: -
Lines: 41
Message-ID: <vv9roe$26bo$1@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 10:09:51 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c0ee36f36d783f9bcfd42c2b0286c9be";
	logging-data="72056"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+PmNSNqtn+2IxPBNrjRcJ8"
User-Agent: Unison/2.2
Cancel-Lock: sha1:eUAGOSFiuTagUifHiS5Barla6uE=

On 2025-05-05 03:10:06 +0000, olcott said:

> 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,
> Even though D halts or fails to halt.

False. If H does not return the correct value then a value that
H does not return is correct.

-- 
Mikko