Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: Incorrect requirements --- Computing the mapping from the input
 to HHH(DD)
Date: Tue, 13 May 2025 03:38:03 +0100
Organization: Fix this later
Lines: 17
Message-ID: <vvubab$1hi3q$2@dont-email.me>
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> <87ecwtmkge.fsf@bsb.me.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 13 May 2025 04:38:04 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6985d97c0ee12080e7b93a3aa7ef3914";
	logging-data="1624186"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18H7tizE/+d7Syg0vNmO16bd8PqNkL/jkhMG1Mr1bdKdw=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ZIKhRIlDu3NJL4Hk0ByFxuQn7RY=
Content-Language: en-GB
In-Reply-To: <87ecwtmkge.fsf@bsb.me.uk>
Bytes: 2158

On 13/05/2025 01:18, Ben Bacarisse wrote:
> Richard Heathfield <rjh@cpax.org.uk> writes:

<snip>

>> Mr Olcott claims it never halts,
> 
> I don't think he does.

Then I am IN A LITTLE MAZE OF TWISTING PASSAGES, ALL DIFFERENT.

-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within