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.