Re: DDD correctly emulated by HHH is correctly rejected as non-halting.

Liste des GroupesRevenir à s logic 
Sujet : Re: DDD correctly emulated by HHH is correctly rejected as non-halting.
De : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : comp.theory sci.logic
Suivi-à : comp.theory
Date : 10. Jul 2024, 20:12:08
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <v6mito$bbr$1@news.muc.de>
References : 1 2
User-Agent : tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64))
[ 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).


Date Sujet#  Auteur
10 Jul 24 * DDD correctly emulated by HHH is correctly rejected as non-halting.21olcott
10 Jul 24 +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1olcott
10 Jul 24 +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.18Fred. Zwarts
10 Jul 24 i+* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3olcott
10 Jul 24 ii+- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
11 Jul 24 ii`- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
10 Jul 24 i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.14Alan Mackenzie
10 Jul 24 i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2olcott
11 Jul 24 i i`- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
10 Jul 24 i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2olcott
11 Jul 24 i i`- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
10 Jul 24 i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.5olcott
10 Jul 24 i i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.4olcott
11 Jul 24 i i `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3Fred. Zwarts
11 Jul 24 i i  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2olcott
12 Jul 24 i i   `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
21 Jul 24 i `* Tarski / Gödel and redefining the Foundation of Logic4olcott
21 Jul 24 i  +- Re: Tarski / Gödel and redefining the Foundation of Logic1Richard Damon
22 Jul 24 i  `* Re: Tarski / Gödel and redefining the Foundation of Logic2olcott
23 Jul 24 i   `- Re: Tarski / Gödel and redefining the Foundation of Logic1Richard Damon
11 Jul 24 `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal