Re: D correctly simulated by H proved for THREE YEARS --- rewritten

Liste des GroupesRevenir à theory 
Sujet : Re: D correctly simulated by H proved for THREE YEARS --- rewritten
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 12. Jun 2024, 20:53:42
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v4cuc6$1qedu$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
On 6/12/2024 2:46 PM, Fred. Zwarts wrote:
Op 12.jun.2024 om 21:20 schreef olcott:
On 6/12/2024 2:13 PM, Fred. Zwarts wrote:
Op 12.jun.2024 om 20:24 schreef olcott:
On 6/12/2024 1:19 PM, Fred. Zwarts wrote:
Op 12.jun.2024 om 16:47 schreef olcott:
>
There is no infinite nested simulation detected,
>
If I am wrong then a specific sequence of steps of D correctly
simulated by H where D terminates normally can be provided.
>
No infinite execution has been detected,
>
You seem to simply not understand that D correctly simulated
by H would eventually crash due to out-of-memory error.
>
>
Exactly. A correct H simulated by H does not exist. But, again, you misses the point. It was in the part that you omitted.
So, again:
>
No infinite execution has been detected, only a premature abortion.
>
On 5/29/2021 2:26 PM, olcott wrote:
https://groups.google.com/g/comp.theory/c/dTvIY5NX6b4/m/cHR2ZPgPBAAJ
>
If that was true then you could provide every step of D correctly
simulated by H such that D simulated by H reaches its own simulated
"ret" instruction.
 I said that each H is unable to hit its target, so how could it reach the "ret" instruction of D? Please, think before you reply.
It is a binary choice either D correctly simulated by H can
possibly terminate normally by reaching its "ret" instruction
or not. Your attempt to twist these words to make it look like
there is more than these two possibilities is either ignorant
or deceptive.
--
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
8 Jun 24 * Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)87olcott
8 Jun 24 +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)2olcott
8 Jun 24 i`- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon
8 Jun 24 +- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon
9 Jun 24 `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)83Fred. Zwarts
9 Jun 24  +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)2olcott
9 Jun 24  i`- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon
9 Jun 24  +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)12olcott
9 Jun 24  i+- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon
10 Jun 24  i`* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)10Mikko
10 Jun 24  i `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)9olcott
11 Jun 24  i  +- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon
11 Jun 24  i  +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)6Mikko
11 Jun 24  i  i`* DDD correctly simulated by HH cannot possibly halt5olcott
12 Jun 24  i  i +- Re: DDD correctly simulated by HH cannot possibly halt1Richard Damon
12 Jun 24  i  i `* Re: DDD correctly simulated by HH cannot possibly halt3Mikko
12 Jun 24  i  i  `* Re: DDD correctly simulated by HH cannot possibly halt2olcott
15 Jun 24  i  i   `- Re: DDD correctly simulated by HH cannot possibly halt1Mikko
15 Jun 24  i  `- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Mikko
10 Jun 24  `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)68olcott
10 Jun 24   +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)62Fred. Zwarts
10 Jun 24   i+* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)6olcott
10 Jun 24   ii+* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)3joes
10 Jun 24   iii`* Proof that D correctly simulated by H has different behavior than D(D)2olcott
12 Jun 24   iii `- Re: Proof that D correctly simulated by H has different behavior than D(D)1Richard Damon
10 Jun 24   ii+- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Fred. Zwarts
12 Jun 24   ii`- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon
10 Jun 24   i`* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)55olcott
10 Jun 24   i +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)53Fred. Zwarts
10 Jun 24   i i`* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)52olcott
11 Jun 24   i i `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)51Fred. Zwarts
11 Jun 24   i i  `* D correctly simulated by H proved for THREE YEARS --- rewritten50olcott
12 Jun 24   i i   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten49Fred. Zwarts
12 Jun 24   i i    `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten48olcott
12 Jun 24   i i     `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten47Fred. Zwarts
12 Jun 24   i i      `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten46olcott
12 Jun 24   i i       `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten45Fred. Zwarts
12 Jun 24   i i        `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten44olcott
12 Jun 24   i i         `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten43Fred. Zwarts
12 Jun 24   i i          `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten42olcott
13 Jun 24   i i           `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten41Fred. Zwarts
13 Jun 24   i i            `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten40olcott
13 Jun 24   i i             `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten39Fred. Zwarts
13 Jun 24   i i              `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten38olcott
14 Jun 24   i i               `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten37Fred. Zwarts
14 Jun 24   i i                `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten36olcott
14 Jun 24   i i                 `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten35Fred. Zwarts
14 Jun 24   i i                  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten34olcott
14 Jun 24   i i                   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten33Fred. Zwarts
14 Jun 24   i i                    `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten32olcott
15 Jun 24   i i                     `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten31Fred. Zwarts
15 Jun 24   i i                      `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten30olcott
15 Jun 24   i i                       +- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Richard Damon
15 Jun 24   i i                       `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten28Fred. Zwarts
15 Jun 24   i i                        `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten27olcott
15 Jun 24   i i                         +- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Richard Damon
15 Jun 24   i i                         `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten25Fred. Zwarts
15 Jun 24   i i                          `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten24olcott
15 Jun 24   i i                           +- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Richard Damon
15 Jun 24   i i                           `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten22Fred. Zwarts
15 Jun 24   i i                            `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten21olcott
15 Jun 24   i i                             +- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Richard Damon
16 Jun 24   i i                             `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten19Fred. Zwarts
16 Jun 24   i i                              `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten18olcott
16 Jun 24   i i                               +- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Richard Damon
16 Jun 24   i i                               +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten5Fred. Zwarts
17 Jun 24   i i                               i`* Re: D correctly simulated by H proved for THREE YEARS --- rewritten4olcott
17 Jun 24   i i                               i `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten3Fred. Zwarts
17 Jun 24   i i                               i  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten2olcott
17 Jun 24   i i                               i   `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Fred. Zwarts
17 Jun 24   i i                               `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten11Mikko
17 Jun 24   i i                                `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten10olcott
18 Jun 24   i i                                 +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten2Mikko
18 Jun 24   i i                                 i`- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1olcott
18 Jun 24   i i                                 `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten7Fred. Zwarts
18 Jun 24   i i                                  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten6olcott
18 Jun 24   i i                                   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten5Fred. Zwarts
18 Jun 24   i i                                    `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten4olcott
18 Jun 24   i i                                     +- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Fred. Zwarts
18 Jun 24   i i                                     `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten2Mikko
18 Jun 24   i i                                      `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1olcott
12 Jun 24   i `- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)1Richard Damon
10 Jun 24   `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)5Richard Damon
10 Jun 24    `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)4olcott
10 Jun 24     +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)2joes
10 Jun 24     i`- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1olcott
11 Jun 24     `- Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal