Sujet : Re: D correctly simulated by H proved for THREE YEARS ---
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 10. Jun 2024, 04:54:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v45tec$4q15$1@dont-email.me>
User-Agent : Mozilla Thunderbird
*No one has verified the actual facts of this for THREE YEARS*
*No one has verified the actual facts of this for THREE YEARS*
*No one has verified the actual facts of this for THREE YEARS*
On 5/29/2021 2:26 PM, olcott wrote:
https://groups.google.com/g/comp.theory/c/dTvIY5NX6b4/m/cHR2ZPgPBAAJTHE ONLY POSSIBLE WAY for D simulated by H to have the same
behavior as the directly executed D(D) is for the instructions
of D to be incorrectly simulated by H (details provided below).
_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]
In order for D simulated by H to have the same behavior as the
directly executed D(D) H must ignore the instruction at machine
address [00000d07]. *That is an incorrect simulation of D*
H does not ignore that instruction and simulates itself simulating D.
The simulated H outputs its own execution trace of D.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
Date | Sujet | # | | Auteur |
10 Jun 24 | Re: D correctly simulated by H proved for THREE YEARS --- | 270 | | olcott |
10 Jun 24 |  Re: D correctly simulated by H proved for THREE YEARS --- | 267 | | Richard Damon |
11 Jun 24 |   Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error | 266 | | olcott |
11 Jun 24 |    Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error | 265 | | Richard Damon |
11 Jun 24 |     Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error | 264 | | olcott |
11 Jun 24 |      Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error | 263 | | Richard Damon |
11 Jun 24 |       Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 262 | | olcott |
11 Jun 24 |        Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 260 | | Richard Damon |
12 Jun 24 |         Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 259 | | olcott |
12 Jun 24 |          Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 223 | | Python |
12 Jun 24 |           Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 222 | | olcott |
12 Jun 24 |            Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 221 | | Richard Damon |
12 Jun 24 |             Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 220 | | olcott |
12 Jun 24 |              Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 219 | | Richard Damon |
12 Jun 24 |               Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 218 | | olcott |
12 Jun 24 |                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 217 | | Richard Damon |
13 Jun 24 |                 Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 216 | | olcott |
13 Jun 24 |                  Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 215 | | Richard Damon |
13 Jun 24 |                   Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 214 | | olcott |
13 Jun 24 |                    Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 213 | | Richard Damon |
13 Jun 24 |                     Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 212 | | olcott |
13 Jun 24 |                      Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 211 | | Richard Damon |
13 Jun 24 |                       Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 210 | | olcott |
13 Jun 24 |                        Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 209 | | Richard Damon |
13 Jun 24 |                         Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 208 | | olcott |
13 Jun 24 |                          Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 207 | | Richard Damon |
13 Jun 24 |                           Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 206 | | olcott |
13 Jun 24 |                            Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 205 | | Richard Damon |
13 Jun 24 |                             Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 204 | | olcott |
13 Jun 24 |                              Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 203 | | Richard Damon |
13 Jun 24 |                               Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 202 | | olcott |
14 Jun 24 |                                Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 201 | | Richard Damon |
14 Jun 24 |                                 Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 172 | | olcott |
14 Jun 24 |                                  Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules | 171 | | Richard Damon |
14 Jun 24 |                                   H(D,D) cannot even be asked about the behavior of D(D) | 170 | | olcott |
14 Jun 24 |                                    Re: H(D,D) cannot even be asked about the behavior of D(D) | 169 | | Richard Damon |
14 Jun 24 |                                     Re: H(D,D) cannot even be asked about the behavior of D(D) | 168 | | olcott |
14 Jun 24 |                                      Re: H(D,D) cannot even be asked about the behavior of D(D) | 167 | | Richard Damon |
14 Jun 24 |                                       Re: H(D,D) cannot even be asked about the behavior of D(D) | 166 | | olcott |
15 Jun 24 |                                        Re: H(D,D) cannot even be asked about the behavior of D(D) | 58 | | Richard Damon |
15 Jun 24 |                                         Re: H(D,D) cannot even be asked about the behavior of D(D) | 57 | | olcott |
15 Jun 24 |                                          Re: H(D,D) cannot even be asked about the behavior of D(D) | 56 | | Richard Damon |
15 Jun 24 |                                           Re: H(D,D) cannot even be asked about the behavior of D(D) | 6 | | olcott |
15 Jun 24 |                                            Re: H(D,D) cannot even be asked about the behavior of D(D) | 5 | | Richard Damon |
15 Jun 24 |                                             Re: H(D,D) cannot even be asked about the behavior of D(D) | 4 | | olcott |
15 Jun 24 |                                              Re: H(D,D) cannot even be asked about the behavior of D(D) | 3 | | Richard Damon |
15 Jun 24 |                                               Re: H(D,D) cannot even be asked about the behavior of D(D) | 2 | | olcott |
15 Jun 24 |                                                Re: H(D,D) cannot even be asked about the behavior of D(D) | 1 | | Richard Damon |
15 Jun 24 |                                           Re: H(D,D) cannot even be asked about the behavior of D(D) | 49 | | olcott |
15 Jun 24 |                                            Re: H(D,D) cannot even be asked about the behavior of D(D) | 48 | | Richard Damon |
15 Jun 24 |                                             Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 47 | | olcott |
15 Jun 24 |                                              Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 39 | | Richard Damon |
15 Jun 24 |                                               Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 38 | | olcott |
15 Jun 24 |                                                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 37 | | Richard Damon |
15 Jun 24 |                                                 Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 36 | | olcott |
15 Jun 24 |                                                  Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 35 | | Richard Damon |
15 Jun 24 |                                                   Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 34 | | olcott |
15 Jun 24 |                                                    Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 33 | | Richard Damon |
15 Jun 24 |                                                     Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 32 | | olcott |
15 Jun 24 |                                                      Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 31 | | Richard Damon |
15 Jun 24 |                                                       Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 30 | | olcott |
15 Jun 24 |                                                        Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 29 | | Richard Damon |
15 Jun 24 |                                                         Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 28 | | olcott |
15 Jun 24 |                                                          Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 27 | | Richard Damon |
15 Jun 24 |                                                           Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 26 | | olcott |
15 Jun 24 |                                                            Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 25 | | Richard Damon |
15 Jun 24 |                                                             Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 24 | | olcott |
15 Jun 24 |                                                              Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 23 | | Richard Damon |
15 Jun 24 |                                                               Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 22 | | olcott |
15 Jun 24 |                                                                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 21 | | Richard Damon |
15 Jun 24 |                                                                 Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 20 | | olcott |
15 Jun 24 |                                                                  Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 19 | | Richard Damon |
15 Jun 24 |                                                                   Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 18 | | olcott |
15 Jun 24 |                                                                    Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 17 | | Richard Damon |
15 Jun 24 |                                                                     Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 16 | | olcott |
15 Jun 24 |                                                                      Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 15 | | Richard Damon |
15 Jun 24 |                                                                       Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 14 | | olcott |
15 Jun 24 |                                                                        Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 13 | | Richard Damon |
15 Jun 24 |                                                                         Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 12 | | olcott |
16 Jun 24 |                                                                          Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 11 | | Richard Damon |
16 Jun 24 |                                                                           Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 10 | | olcott |
16 Jun 24 |                                                                            Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 9 | | Richard Damon |
16 Jun 24 |                                                                             Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 8 | | olcott |
16 Jun 24 |                                                                              Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 7 | | Richard Damon |
16 Jun 24 |                                                                               Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 6 | | olcott |
16 Jun 24 |                                                                                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 5 | | Richard Damon |
16 Jun 24 |                                                                                 Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 4 | | olcott |
16 Jun 24 |                                                                                  Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 3 | | Richard Damon |
16 Jun 24 |                                                                                   Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 2 | | olcott |
16 Jun 24 |                                                                                    Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 1 | | Richard Damon |
15 Jun 24 |                                              Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 7 | | joes |
15 Jun 24 |                                               Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. | 6 | | olcott |
15 Jun 24 |                                                Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) | 5 | | Richard Damon |
15 Jun 24 |                                                 Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) | 2 | | olcott |
15 Jun 24 |                                                  Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) | 1 | | Richard Damon |
15 Jun 24 |                                                 Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) | 2 | | olcott |
15 Jun 24 |                                                  Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth Itself is not Broken. (Just misunderstood) | 1 | | Richard Damon |
21 Jun 24 |                                        Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 48 | | olcott |
21 Jun 24 |                                         Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 47 | | Richard Damon |
21 Jun 24 |                                          Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 44 | | olcott |
21 Jun 24 |                                           Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 43 | | Richard Damon |
21 Jun 24 |                                          Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply | 2 | | olcott |
22 Jun 24 |                                        DDD correctly emulated by H0 | 59 | | olcott |
15 Jun 24 |                                 H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies | 12 | | olcott |
15 Jun 24 |                                 H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES | 16 | | olcott |
12 Jun 24 |          Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 35 | | Richard Damon |
12 Jun 24 |        Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | Fred. Zwarts |
10 Jun 24 |  Re: D correctly simulated by H proved for THREE YEARS --- | 1 | | olcott |
11 Jun 24 |  Re: D correctly simulated by H proved for THREE YEARS --- rewritten | 1 | | olcott |