Deutsch English Français Italiano |
<v3k6ek$3rtq1$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: Why does Olcott care about simulation, anyway? Date: Mon, 3 Jun 2024 13:38:12 +0300 Organization: - Lines: 12 Message-ID: <v3k6ek$3rtq1$1@dont-email.me> References: <v3j20v$3gm10$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 03 Jun 2024 12:38:13 +0200 (CEST) Injection-Info: dont-email.me; posting-host="0e670f0fad830183dc51c091d8d9edbb"; logging-data="4060993"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18va3htiY+Z2muVfFTBQuMS" User-Agent: Unison/2.2 Cancel-Lock: sha1:NabAVtn8IaxInivGa0xuFcEChHA= Bytes: 1219 On 2024-06-03 00:16:31 +0000, immibis said: > The halting problem says you can't find a Turing machine that tells > whether executing each other Turing machine will halt. Simulation > has nothing to do with the question. His simulator is productive. It can produce long traces, especially from recursive simulations. -- Mikko