Deutsch English Français Italiano |
<v6mito$bbr$1@news.muc.de> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.nobody.at!weretis.net!feeder8.news.weretis.net!news.szaf.org!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,sci.logic Subject: Re: DDD correctly emulated by HHH is correctly rejected as non-halting. Followup-To: comp.theory Date: Wed, 10 Jul 2024 18:12:08 -0000 (UTC) Organization: muc.de e.V. Message-ID: <v6mito$bbr$1@news.muc.de> References: <v6m7si$1uq86$2@dont-email.me> <v6mhc7$20hbo$2@dont-email.me> Injection-Date: Wed, 10 Jul 2024 18:12:08 -0000 (UTC) Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2"; logging-data="11643"; mail-complaints-to="news-admin@muc.de" User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64)) Bytes: 1264 Lines: 16 [ Followup-To: set ] In comp.theory Fred. Zwarts <F.Zwarts@hetnet.nl> wrote: [ .... ] > Proving that the simulation is incorrect. Because a correct simulation > would not abort a halting program halfway its simulation. Just for clarity, a correct simulation wouldn't abort a non-halting program either, would it? Or have I misunderstood this correctness? [ .... ] -- Alan Mackenzie (Nuremberg, Germany).