Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben@bsb.me.uk>
Newsgroups: comp.theory
Subject: Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)
Date: Tue, 13 May 2025 01:18:57 +0100
Organization: A noiseless patient Spider
Lines: 37
Message-ID: <87ecwtmkge.fsf@bsb.me.uk>
References: <vv97ft$3fg66$1@dont-email.me> <vvjeqf$28555$1@dont-email.me>
	<vvjffg$28g5i$1@dont-email.me>
	<875xiaejzg.fsf@nosuchdomain.example.com>
	<vvjgt1$28g5i$5@dont-email.me>
	<87jz6qczja.fsf@nosuchdomain.example.com>
	<vvjotc$28g5i$12@dont-email.me>
	<vvnh9u$3hd96$1@raubtier-asyl.eternal-september.org>
	<vvno4e$3in62$2@dont-email.me> <vvo71c$rlt$1@news.muc.de>
	<PlNTP.270466$lZjd.128570@fx05.ams4> <vvochv$15td$2@news.muc.de>
	<vvodn5$3na6l$3@dont-email.me>
	<1276edeb9893085c59b02bbbd59fe2c64011736b@i2pn2.org>
	<vvqk4s$gldn$12@dont-email.me> <vvqln4$g8ck$5@dont-email.me>
	<vvrftj$ndkg$1@dont-email.me> <vvrima$nejb$3@dont-email.me>
	<877c2loj7b.fsf@bsb.me.uk> <871pstoj2n.fsf@bsb.me.uk>
	<vvtdou$17c1i$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Tue, 13 May 2025 02:18:58 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="938331c45a569ede21e499c9e2c7da72";
	logging-data="1453694"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/tKivLqfox61s2vMC1N4oa4xG/FPcGWJo="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:Y3xe90bmGJfMOWtjZA4nr3PBfSA=
	sha1:YGtFHjRGOBAtAb8Qv1dkarVTvzQ=
X-BSB-Auth: 1.e8ed2de71596e20b6e06.20250513011857BST.87ecwtmkge.fsf@bsb.me.uk
Bytes: 2901

Richard Heathfield <rjh@cpax.org.uk> writes:

> On 12/05/2025 18:05, Ben Bacarisse wrote:
>> Ben Bacarisse <ben@bsb.me.uk> writes:
>> 
>>> Richard Heathfield <rjh@cpax.org.uk> writes:
>>>
>>>> On 12/05/2025 01:38, Mike Terry wrote:
>
> <snip>
>
>>>>> No single computation can be undecidable, considered on its own!  There
>>>>> are only two possibilities: it halts or it doesn't.
>>>>
>>>> Or both, it seems. You say it halts (and I would not hesitate to take you at
>>>> your word if the alternative is to dredge up a Windows system from
>>>> somewhere). Olcott says it is non-halting.
>> This is very odd.  You know it either halts or it does not halt so what
>> do you mean by "Or both, it seems."?
>
> 'Odd' is exactly the word.
>
> Mr Olcott claims it never halts,

I don't think he does.  He claims that returning 0 is the correct
result, but that is all.

> and Mike Terry claims that it halts almost immediately.
>
> Perhaps we should send DDD to a robopsychiatrist.

No need.  It halts and PO claims that 0 (false) is the correct result
from some halting computations.  He's been quite clear about this in the
past.

-- 
Ben.