Deutsch   English   Français   Italiano  
<v3njas$gt0b$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!news.mixmin.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: Why does Olcott care about simulation, anyway? --- Mikes Review
Date: Tue, 4 Jun 2024 19:36:28 +0200
Organization: A noiseless patient Spider
Lines: 8
Message-ID: <v3njas$gt0b$1@dont-email.me>
References: <v3j20v$3gm10$2@dont-email.me>
 <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <v3jei1$3o3a7$1@dont-email.me>
 <0xqdnd8ktrnsc8D7nZ2dnZfqnPqdnZ2d@brightview.co.uk>
 <v3l002$5d3$1@dont-email.me>
 <lZadnYLpbtuB7cP7nZ2dnZfqn_udnZ2d@brightview.co.uk>
 <v3lrm2$4h2j$1@dont-email.me> <v3lsd6$2uv04$17@i2pn2.org>
 <v3ltij$8gjv$3@dont-email.me>
 <7MadnQlevYc8H8P7nZ2dnZfqnPSdnZ2d@brightview.co.uk>
 <v3m0m0$8r46$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 04 Jun 2024 19:36:29 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f75ff79593257f29d8483f0f3bd96c54";
	logging-data="553995"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19ii9EfFEkepsb1yIjC6QCX"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:BTbKSbWK5liFVjZROKfTJ7BA8Cs=
Content-Language: en-US
In-Reply-To: <v3m0m0$8r46$2@dont-email.me>
Bytes: 1743

On 4/06/24 05:12, olcott wrote:

> HH(DD,DD) only gets the machine address of DD as input, that
> is its only basis. When DD calls HH then the outer HH simply
> simulates whatever this call specifies

This is proven as a lie by your own words. You know that the outer HH 
refuses to simulate the inner DebugStep.