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 : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 12. Jul 2024, 14:34:59
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v6r7tj$30qtt$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla Thunderbird
On 7/12/2024 3:08 AM, joes wrote:
Am Thu, 11 Jul 2024 15:56:09 -0500 schrieb olcott:
On 7/11/2024 3:19 PM, joes wrote:
Am Thu, 11 Jul 2024 10:05:58 -0500 schrieb olcott:
On 7/11/2024 9:25 AM, joes wrote:
Am Thu, 11 Jul 2024 09:10:24 -0500 schrieb olcott:
On 7/11/2024 1:25 AM, Mikko wrote:
On 2024-07-10 17:53:38 +0000, olcott said:
On 7/10/2024 12:45 PM, Fred. Zwarts wrote:
Op 10.jul.2024 om 17:03 schreef olcott:
 
When DDD is correctly emulated by HHH according to the semantics of
the x86 programming language HHH must abort its emulation of DDD or
both HHH and DDD never halt.
If the recursive call to HHH from DDD halts, the outer HHH doesn't
need to abort.
Do you mean that HHH doesn't halt?
This.
 
DDD depends totally on HHH; it halts exactly when HHH does.
Which it does, because it aborts.
What does HHH do after it aborts?
And this one.
 
DDD correctly simulated by HHH has provably different behavior than
DDD correctly simulated by HHH1.
Which means that HHH is not doing the simulation correctly.
When HHH simulates DDD according to the semantics of the x86 language
then HHH is simulating correctly. When people disagree with the
semantics of the x86 language THEY ARE WRONG !!!
Aborting is not a correct simulation.
Please answer the other questions above.
 
Aborting is what a simulating termination analyzer must
do for any input that cannot possibly otherwise stop running.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

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