Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: Bad faith and dishonesty
Date: Thu, 29 May 2025 21:34:42 +0100
Organization: Fix this later
Lines: 13
Message-ID: <101agd2$1sm1$4@dont-email.me>
References: <m99YP.725664$B6tf.610565@fx02.ams4>
 <100uct4$184ak$1@dont-email.me> <100v9ta$1d5lg$7@dont-email.me>
 <1011eai$1urdm$1@dont-email.me> <10121bt$22da5$4@dont-email.me>
 <8bb5266e35845a4d8f2feb618c0c18629c04e4e7@i2pn2.org>
 <1012oj1$278f8$1@dont-email.me>
 <1196d9de2e2aebc1b6d1a85047192e8ea1aeb1f1@i2pn2.org>
 <10137lv$2djeu$1@dont-email.me> <ewIZP.135645$vK4b.131815@fx09.ams4>
 <1017l6l$3cerk$1@dont-email.me> <1017tr1$3drlu$5@dont-email.me>
 <1017ufm$3e54m$6@dont-email.me> <1019vm1$3u8nj$3@dont-email.me>
 <101a65n$3vsp7$1@dont-email.me> <101a86h$3vfam$6@dont-email.me>
 <101a9np$gl7$1@dont-email.me> <101ab0d$10eg$1@dont-email.me>
 <101abbb$gl7$3@dont-email.me> <101aca4$17rj$1@dont-email.me>
 <101actt$3v9gr$6@dont-email.me> <101adcs$17rj$3@dont-email.me>
 <101advt$3v9gr$7@dont-email.me> <101aecc$1iu2$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 29 May 2025 22:34:43 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b460fc7b74503cbb8966d520c678c9ad";
	logging-data="62145"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+MvmZE0VlsFC6E0JhQAkgXG+Ws3xhYzPwMQEc/6ra+Uw=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:lI9mcJeTPdLOWgNrCgCDg8PCrDw=
Content-Language: en-GB
In-Reply-To: <101aecc$1iu2$1@dont-email.me>

On 29/05/2025 21:00, olcott wrote:
> A simulating termination analyzer must PREDICT FUTURE BEHAVIOR.
> This means that it must predict what the behavior WOULD BE if
> it never aborted its simulation.

It must not only predict, but predict *correctly*.

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