Deutsch English Français Italiano |
<v3b46v$1td5u$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: immibis <news@immibis.com> Newsgroups: comp.theory Subject: Re: Proof that H(D,D) meets its abort criteria --timing error-- Date: Sat, 16 Mar 2024 20:58:44 +0100 Organization: A noiseless patient Spider Lines: 18 Message-ID: <ut4tlk$32ba0$4@dont-email.me> References: <ut1sgk$2buev$2@dont-email.me> <ut20uf$1vtvi$1@i2pn2.org> <ut21t3$2d19j$1@dont-email.me> <ut24j0$2dnbk$2@dont-email.me> <ut24kj$2djbv$5@dont-email.me> <ut24vk$2dnvv$1@dont-email.me> <ut261v$2e06s$2@dont-email.me> <ut27gn$1vtvj$16@i2pn2.org> <ut286p$2e06s$10@dont-email.me> <ut3mvo$2qimh$1@dont-email.me> <ut4bgj$2uihj$3@dont-email.me> <ut4gvv$23136$4@i2pn2.org> <ut4hh7$2vpqk$3@dont-email.me> <ut4ibs$23135$2@i2pn2.org> <ut4j0f$2vpqk$9@dont-email.me> <ut4l3l$30ge0$4@dont-email.me> <ut4qeu$31jvt$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 16 Mar 2024 19:58:44 -0000 (UTC) Injection-Info: dont-email.me; posting-host="9416729331008e05b2a2bbdf5315a61a"; logging-data="3222848"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18eR0sTXsXmyu4jXpSn2lMf" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:SemEEo8l+WnxIWpkKd/C+cEpKcI= In-Reply-To: <ut4qeu$31jvt$2@dont-email.me> Content-Language: en-US Bytes: 2125 On 16/03/24 20:03, olcott wrote: > On 3/16/2024 12:32 PM, immibis wrote: >> On 16/03/24 17:56, olcott wrote: >>> *The timing is different* >> >> Turing machines don't have timing > > Sure they do. > > Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets a different result than Ĥ ⟨Ĥ⟩ > because Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ is executed : > BEFORE it has aborted its simulation and Ĥ ⟨Ĥ⟩ is executed > AFTER Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ has aborted its simulation. > No, the same Turing machine with the same initial tape contents will always produce the same final tape contents and halting state (or not halt) no matter when you run it.