Sujet : Re: Proof that Olcott is a liar
De : news2 (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 05. Jun 2024, 02:17:55
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3oec3$jthg$1@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
On 4/06/24 18:13, olcott wrote:
Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD
correctly. This proof requires expert knowledge of the C programming
language and the x86 programming language.
...
[00001dbe][0011331a][00001dc3] e8bff5ffff call 00001382 ; call HH
New slave_stack at:14dd5e
[00001db2][0015dd52][0015dd56] 55 push ebp ; DD line 01
These lines prove that HH(DD,DD) is not simulated correctly. Directly after the instruction CALL 00001382, the program counter must have the value 00001382.
| Date | Sujet | # | | Auteur |
| 4 Jun 24 |  Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 28 | | olcott |
| 4 Jun 24 |  Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 5 | | Fred. Zwarts |
| 4 Jun 24 |   Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 4 | | olcott |
| 5 Jun 24 |  Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 3 | | Fred. Zwarts |
| 5 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 2 | | olcott |
| 5 Jun 24 |  Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 1 | | Fred. Zwarts |
| 4 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 20 | | olcott |
| 4 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 19 | | Fred. Zwarts |
| 5 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 18 | | Mikko |
| 5 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 17 | | olcott |
| 6 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 16 | | Mikko |
| 6 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 15 | | olcott |
| 6 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 13 | | Mikko |
| 6 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 12 | | olcott |
| 7 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 1 | | Richard Damon |
| 7 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 10 | | Mikko |
| 7 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 9 | | olcott |
| 7 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 1 | | Richard Damon |
| 8 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 7 | | Mikko |
| 8 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 6 | | olcott |
| 8 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 1 | | Richard Damon |
| 9 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 4 | | Mikko |
| 9 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 3 | | olcott |
| 9 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 2 | | Mikko |
| 9 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 1 | | olcott |
| 7 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry | 1 | | Richard Damon |
| 5 Jun 24 | Re: Proof that Olcott is a liar | 1 | | immibis |
| 5 Jun 24 | Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly | 1 | | Richard Damon |