Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!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
Date: Wed, 12 Mar 2025 01:41:10 +0000
Organization: Fix this later
Lines: 20
Message-ID: <vqqonm$28lh2$1@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 12 Mar 2025 02:41:11 +0100 (CET)
Injection-Info: dont-email.me; posting-host="1e46a42d02300691bd0ac693a83620d5";
	logging-data="2381346"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19r7N+9Q6FRO04YeMAkqvWH3IECLIZJROhYdu7LaUmo1g=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:WSNDD9dGYuQWOSnGx2GxXWkj2+0=
In-Reply-To: <vqqnk5$28jtr$1@dont-email.me>
Content-Language: en-GB
Bytes: 1984

On 12/03/2025 01:22, olcott wrote:
> DDD correctly simulated by HHH never reaches its
> own "return" instruction and terminates normally
> in any finite or infinite number of correctly
> simulated steps.

If it correctly simulates infinitely many steps, it doesn't 
terminate. Look up "infinite".

But your task is to decide for /any/ program, not just DDD. That, 
as you are so fond of saying, is 'stipulated', and you can't get 
out of it. The whole point of the Entscheidungsproblem is its 
universality. Ignore that, and you have nothing.

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