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:20:26
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v4csdq$1q0a8$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Mozilla Thunderbird
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.
*That you don't do this seems to prove that you know you are a liar*
_D()
[00000cfc](01) 55          push ebp
[00000cfd](02) 8bec        mov ebp,esp
[00000cff](03) 8b4508      mov eax,[ebp+08]
[00000d02](01) 50          push eax       ; push D
[00000d03](03) 8b4d08      mov ecx,[ebp+08]
[00000d06](01) 51          push ecx       ; push D
[00000d07](05) e800feffff  call 00000b0c  ; call H
[00000d0c](03) 83c408      add esp,+08
[00000d0f](02) 85c0        test eax,eax
[00000d11](02) 7404        jz 00000d17
[00000d13](02) 33c0        xor eax,eax
[00000d15](02) eb05        jmp 00000d1c
[00000d17](05) b801000000  mov eax,00000001
[00000d1c](01) 5d          pop ebp
[00000d1d](01) c3          ret
Size in bytes:(0034) [00000d1d]
--
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