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.