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.lang.c
Subject: Re: Proving the: Simulating termination analyzer Principle
Date: Fri, 11 Apr 2025 21:57:42 +0100
Organization: Fix this later
Lines: 15
Message-ID: <vtbvo6$2ghlp$1@dont-email.me>
References: <vss56v$375du$2@dont-email.me> <vss91c$3b1no$1@dont-email.me>
 <vssabb$3aqnp$2@dont-email.me> <vssavl$3b2j0$3@dont-email.me>
 <vssi7p$3ipb5$3@dont-email.me> <vssjlr$3gd7d$4@dont-email.me>
 <vsss8i$d1q$1@dont-email.me> <vt52eo$nrf$2@dont-email.me>
 <vt6a5j$12sjs$1@dont-email.me> <vt70fd$1mtvn$1@dont-email.me>
 <vt78qo$1t4il$2@dont-email.me> <vt7g19$26bcv$1@dont-email.me>
 <vt9i4n$1ang$1@dont-email.me> <vta0kt$e7pj$1@dont-email.me>
 <vtb9p0$1ra42$1@dont-email.me> <vtbscm$2fqqg$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 11 Apr 2025 22:57:44 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6b00b5cbd09486fb855caeea624ce8c7";
	logging-data="2639545"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19d4D17AtadRs9DQ7H2KgWzo5hZ4M1BRuZhcjHmBhJzXA=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:I5BJwLxRc6kdZclygWH3OrSW9cA=
In-Reply-To: <vtbscm$2fqqg$1@dont-email.me>
Content-Language: en-GB
Bytes: 1850

On 11/04/2025 21:00, Chris M. Thomasson wrote:

<snip>

> Does your halt decider work or not?

Obviously not. If we had a working decision procedure we could 
use it to prove it doesn't work.

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