Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news2@immibis.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Proof that Olcott is a liar
Date: Wed, 5 Jun 2024 03:17:55 +0200
Organization: A noiseless patient Spider
Lines: 14
Message-ID: <v3oec3$jthg$1@dont-email.me>
References: <v3neft$game$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 05 Jun 2024 03:17:56 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="83860e4324238056892f5ef29ec401be";
	logging-data="652848"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/ei6zjIeqWFbY9TUR8lu67"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:uX0hBtk2muvUTdXzk/ULk08ok9I=
Content-Language: en-US
In-Reply-To: <v3neft$game$1@dont-email.me>
Bytes: 1596

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.