Path: ...!3.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: Alan Mackenzie <acm@muc.de>
Newsgroups: comp.theory
Subject: Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH
Date: Sat, 8 Feb 2025 12:53:53 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <vo7k51$12q1$1@news.muc.de>
References: <vnumf8$24cq0$1@dont-email.me>   <228a9804d6919149bac728ccf08134ed90db121e@i2pn2.org> <vo3cf0$35449$1@dont-email.me> <6f15178eda69b13fae9cbfef29acad05c9c6aeb3@i2pn2.org> <vo3t3n$37kcg$1@dont-email.me> <1454e934b709b66a0cb9de9e9796cb46fed0425c@i2pn2.org> <vo5c8c$3ipo2$2@dont-email.me> <f7f9c03f97de054f6393139c74f595f68400ede5@i2pn2.org> <vo6b14$3o0uo$1@dont-email.me> <274abb70abec9d461ac3eb34c0980b7421f5fabd@i2pn2.org> <vo6rhd$3tsq7$1@dont-email.me> <vo79pq$8vq$2@dont-email.me>
Injection-Date: Sat, 8 Feb 2025 12:53:53 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="35649"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.4-20241224 ("Helmsdale") (FreeBSD/14.2-RELEASE-p1 (amd64))
Bytes: 1575
Lines: 15

Fred. Zwarts <F.Zwarts@hetnet.nl> wrote:
> Op 08.feb.2025 om 06:53 schreef olcott:

[ .... ]

> If so, then it proves the failure of the simulation. The simulation 
> aborts too soon on unsound grounds, one cycle before the normal 
> termination of the program.

Hello, Fred.

Welcome back!

-- 
Alan Mackenzie (Nuremberg, Germany).