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

Liste des GroupesRevenir à s logic 
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, 21: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)61olcott
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)57Fred. 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)2olcott
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  `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)52olcott
10 Jun 24   +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)48Fred. Zwarts
10 Jun 24   i+* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)3olcott
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)44olcott
10 Jun 24   i +* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)42Fred. Zwarts
10 Jun 24   i i`* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)41olcott
11 Jun 24   i i `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD)40Fred. Zwarts
11 Jun 24   i i  `* D correctly simulated by H proved for THREE YEARS --- rewritten39olcott
12 Jun 24   i i   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten38Fred. Zwarts
12 Jun 24   i i    `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten37olcott
12 Jun 24   i i     `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten36Fred. Zwarts
12 Jun 24   i i      `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten35olcott
12 Jun 24   i i       `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten34Fred. Zwarts
12 Jun 24   i i        `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten33olcott
12 Jun 24   i i         `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten32Fred. Zwarts
12 Jun 24   i i          `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten31olcott
13 Jun 24   i i           `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten30Fred. Zwarts
13 Jun 24   i i            `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten29olcott
13 Jun 24   i i             `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten28Fred. Zwarts
13 Jun 24   i i              `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten27olcott
14 Jun 24   i i               `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten26Fred. Zwarts
14 Jun 24   i i                `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten25olcott
14 Jun 24   i i                 `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten24Fred. Zwarts
14 Jun 24   i i                  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten23olcott
14 Jun 24   i i                   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten22Fred. Zwarts
14 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 --- rewritten20Fred. Zwarts
15 Jun 24   i i                      `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten19olcott
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 --- rewritten17Fred. Zwarts
15 Jun 24   i i                        `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten16olcott
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 --- rewritten14Fred. Zwarts
15 Jun 24   i i                          `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten13olcott
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 --- rewritten11Fred. Zwarts
15 Jun 24   i i                            `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten10olcott
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 --- rewritten8Fred. Zwarts
16 Jun 24   i i                              `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten7olcott
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                                `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten4olcott
17 Jun 24   i i                                 `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten3Fred. Zwarts
17 Jun 24   i i                                  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten2olcott
17 Jun 24   i i                                   `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Fred. Zwarts
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)3Richard Damon
10 Jun 24    `* Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)2olcott
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