Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: Proving the: Simulating termination analyzer Principle
Date: Sat, 5 Apr 2025 14:32:10 -0700
Organization: A noiseless patient Spider
Lines: 6
Message-ID: <vss7gq$39cob$1@dont-email.me>
References: <vss56v$375du$2@dont-email.me> <vss6ie$389d8$3@dont-email.me>
 <vss7av$375du$8@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 05 Apr 2025 23:32:11 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b1f6f2df20b96bbd6b27ae620b81924a";
	logging-data="3453707"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19aIKmlTHD2HUD0pGoh4IgNj63jTdqqxIE="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:DGUaWl97JYWVBGlAdbsKYW9pwp8=
Content-Language: en-US
In-Reply-To: <vss7av$375du$8@dont-email.me>

On 4/5/2025 2:29 PM, olcott wrote:
[...]
> It is self-evident that HHH must stop simulating
> DDD to prevent its own non-termination.

Yawn.