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

Liste des GroupesRevenir à theory 
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, 19: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.119olcott
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.93Fred. Zwarts
10 Jul 24 i+* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.37olcott
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
11 Jul 24 ii`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.34Mikko
11 Jul 24 ii `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.33olcott
11 Jul 24 ii  +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.10joes
11 Jul 24 ii  i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.9olcott
11 Jul 24 ii  i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.7joes
11 Jul 24 ii  i i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.6olcott
12 Jul 24 ii  i i +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
12 Jul 24 ii  i i `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.4joes
12 Jul 24 ii  i i  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3olcott
12 Jul 24 ii  i i   `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2joes
12 Jul 24 ii  i i    `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1olcott
12 Jul 24 ii  i `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
12 Jul 24 ii  +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
12 Jul 24 ii  +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.20Mikko
12 Jul 24 ii  i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.19olcott
12 Jul 24 ii  i +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
13 Jul 24 ii  i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.14Mikko
13 Jul 24 ii  i i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.13olcott
13 Jul 24 ii  i i +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
13 Jul 24 ii  i i +- Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
14 Jul 24 ii  i i `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.10Mikko
14 Jul 24 ii  i i  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.9olcott
14 Jul 24 ii  i i   +- Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
15 Jul 24 ii  i i   +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1joes
15 Jul 24 ii  i i   `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.6Mikko
15 Jul 24 ii  i i    `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.5olcott
16 Jul 24 ii  i i     `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.4Mikko
16 Jul 24 ii  i i      `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3olcott
17 Jul 24 ii  i i       +- Re: DDD incorrectly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
17 Jul 24 ii  i i       `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Mikko
14 Jul 24 ii  i `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3joes
14 Jul 24 ii  i  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.2olcott
14 Jul 24 ii  i   `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
12 Jul 24 ii  `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Mikko
10 Jul 24 i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.55Alan Mackenzie
10 Jul 24 i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.50Fred. Zwarts
10 Jul 24 i i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.49Alan Mackenzie
10 Jul 24 i i +* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.44olcott
11 Jul 24 i i i+* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.40Mikko
11 Jul 24 i i ii`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.39olcott
12 Jul 24 i i ii +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
12 Jul 24 i i ii `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.37Mikko
12 Jul 24 i i ii  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.36olcott
12 Jul 24 i i ii   `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.35Fred. Zwarts
13 Jul 24 i i ii    `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.34Mikko
13 Jul 24 i i ii     `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.33olcott
13 Jul 24 i i ii      +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
13 Jul 24 i i ii      +- Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
14 Jul 24 i i ii      `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.30Mikko
14 Jul 24 i i ii       `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.29olcott
14 Jul 24 i i ii        +- Re: DDD correctly emulated by HHH is INcorrectly rejected as non-halting.1Richard Damon
15 Jul 24 i i ii        `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.27Mikko
15 Jul 24 i i ii         `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention26olcott
16 Jul 24 i i ii          +- Re: DDD incorrectly emulated by HHH is incorrectly rejected as non-halting. --- You are not paying attention1Richard Damon
16 Jul 24 i i ii          `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention24Mikko
16 Jul 24 i i ii           `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention23olcott
17 Jul 24 i i ii            +- Re: DDD INcorrectly emulated by HHH is INcorrectly rejected as non-halting. --- You are not paying attention1Richard Damon
17 Jul 24 i i ii            `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention21Mikko
17 Jul 24 i i ii             `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention20olcott
17 Jul 24 i i ii              +- Re: DDD emulated by HHH is incorrectly rejected as non-halting.1joes
18 Jul 24 i i ii              `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention18Mikko
18 Jul 24 i i ii               `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention17olcott
19 Jul 24 i i ii                `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention16Mikko
19 Jul 24 i i ii                 `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention15olcott
19 Jul 24 i i ii                  +- Re: DDD incorrectly emulated by HHH is incorrectly rejected as non-halting. --- You are not paying attention1Richard Damon
20 Jul 24 i i ii                  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention13Mikko
20 Jul 24 i i ii                   `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention12olcott
21 Jul 24 i i ii                    `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting. --- You are not paying attention11Mikko
21 Jul 24 i i ii                     `* Tarski / Gödel and redefining the Foundation of Logic10olcott
21 Jul 24 i i ii                      +- Re: Tarski / Gödel and redefining the Foundation of Logic1Richard Damon
22 Jul 24 i i ii                      `* Re: Tarski / Gödel and redefining the Foundation of Logic8Mikko
22 Jul 24 i i ii                       `* Re: Tarski / Gödel and redefining the Foundation of Logic7olcott
23 Jul 24 i i ii                        +- Re: Tarski / Gödel and redefining the Foundation of Logic1Richard Damon
23 Jul 24 i i ii                        `* Re: Tarski / Gödel and redefining the Foundation of Logic5Mikko
23 Jul 24 i i ii                         `* Re: Tarski / Gödel and redefining the Foundation of Logic4olcott
24 Jul 24 i i ii                          +- Re: Tarski / Gödel and redefining the Foundation of Logic1Richard Damon
25 Jul 24 i i ii                          `* Re: Tarski / Gödel and redefining the Foundation of Logic2Mikko
25 Jul 24 i i ii                           `- Re: Tarski / Gödel and redefining the Foundation of Logic1olcott
11 Jul 24 i i i`* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.3Fred. Zwarts
11 Jul 24 i i i `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting --- incorrect either way2olcott
12 Jul 24 i i i  `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting --- incorrect either way1Richard Damon
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
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  `- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Fred. Zwarts
11 Jul 24 +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
11 Jul 24 `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.23Mikko
11 Jul 24  `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.22olcott
12 Jul 24   +- Re: DDD correctly emulated by HHH is correctly rejected as non-halting.1Richard Damon
12 Jul 24   `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.20Mikko
12 Jul 24    `* Re: DDD correctly emulated by HHH is correctly rejected as non-halting.19olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal