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: Every sufficiently competent C programmer knows --- Very Stupid
 Mistake and Liars
Date: Wed, 12 Mar 2025 04:06:05 +0000
Organization: Fix this later
Lines: 31
Message-ID: <vqr17d$2e4bo$5@dont-email.me>
References: <vqntaq$1jut5$1@dont-email.me> <vqp388$1tvqa$1@dont-email.me>
 <vqpdv9$202b2$2@dont-email.me> <vqperb$20c9k$2@dont-email.me>
 <E6mcnWv3nMa66036nZ2dnZfqnPWdnZ2d@brightview.co.uk>
 <vqqnk5$28jtr$1@dont-email.me> <vqqonm$28lh2$1@dont-email.me>
 <vqqq09$28kp8$1@dont-email.me> <vqqq7s$29buv$2@dont-email.me>
 <vqqrin$28lh2$4@dont-email.me> <vqqros$29meg$3@dont-email.me>
 <vqqvu3$2e4bo$2@dont-email.me> <vqr0hq$2e4f4$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 12 Mar 2025 05:06:05 +0100 (CET)
Injection-Info: dont-email.me; posting-host="1e46a42d02300691bd0ac693a83620d5";
	logging-data="2560376"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18fDHywHEQXJtNHdrKBhXT/1s+cnjGyhz4tS64I9H+zoA=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:mlf6c+WKFf8Sdph9uRtJn6wUu0I=
In-Reply-To: <vqr0hq$2e4f4$2@dont-email.me>
Content-Language: en-GB
Bytes: 2158

On 12/03/2025 03:54, olcott wrote:

<snip>

> DDD is a dumbed down version of DD and thus
> isomorphic to DD.

That's not what "isomorphic" means.

> DD is isomorphic to the HP
> counter example input. DD simulated by HHH
> cannot possibly halt.

On my system, it cannot possibly /start/ until it compiles, so I 
call BS.

> The DD input to HHH cannot possibly halt

Let's get it started first, shall we?

>> The question you continually fail to address is what HHH() does 
>> with arbitrary input programs.

***crickets***

-- 
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