Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Hypothetical possibilities V2
Date: Tue, 23 Jul 2024 10:20:43 +0300
Organization: -
Lines: 29
Message-ID: <v7nlkb$13vn6$1@dont-email.me>
References: <v7m05v$n73h$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 23 Jul 2024 09:20:43 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b538c18a808e7b1dbb2e6c99920961e5";
	logging-data="1179366"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/6OuETqv4udXyGUeT4VNAC"
User-Agent: Unison/2.2
Cancel-Lock: sha1:iCbfI8nlJRuZko1Jn4Jl5uMHcfI=
Bytes: 1551

On 2024-07-22 16:08:31 +0000, olcott said:

> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> int main()
> {
>    HHH(DDD);
> }
> 
> Of the two hypothetical possible ways that HHH can be encoded:
> (a) HHH(DDD) is encoded to abort its simulation.
> (b) HHH(DDD) is encoded to never abort its simulation.
> 
> We can know that (b) is wrong because this fails to meet the design 
> requirement that HHH must itself halt.
> 
> We also know that any simulation that must be aborted to prevent the 
> infinite execution of the simulator is necessarily a non-halting input.

What was wrong in the original "Hypothetical possibilities"?
How is V2 fixed?

-- 
Mikko