Re: Proof that Olcott is a liar

Liste des GroupesRevenir à s logic 
Sujet : Re: Proof that Olcott is a liar
De : news2 (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logic
Date : 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 correctly16olcott
4 Jun 24 +* Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly5Fred. Zwarts
4 Jun 24 i`* Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly4olcott
5 Jun 24 i `* Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly3Fred. Zwarts
5 Jun 24 i  `* Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly2olcott
5 Jun 24 i   `- Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly1Fred. Zwarts
4 Jun 24 +* Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry8olcott
4 Jun 24 i`* Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry7Fred. Zwarts
5 Jun 24 i `* Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry6olcott
6 Jun 24 i  `* Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry5olcott
7 Jun 24 i   +- Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry1Richard Damon
7 Jun 24 i   `* Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry3olcott
7 Jun 24 i    +- Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry1Richard Damon
7 Jun 24 i    `- Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly -- Mike Terry1Mikko
5 Jun 24 +- Re: Proof that Olcott is a liar1immibis
5 Jun 24 `- Re: Proof that executed HH(DD,DD) and simulated HH(DD,DD) simulate DD correctly1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal