Path: ...!news.nobody.at!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: D correctly simulated by H cannot possibly reach its own line 06
 and halt
Date: Fri, 31 May 2024 19:52:20 +0200
Organization: A noiseless patient Spider
Lines: 14
Message-ID: <v3d2ok$2b0jm$4@dont-email.me>
References: <v3a40t$1o2ef$1@dont-email.me> <v3asj2$2ihjj$2@i2pn2.org>
 <v3asv1$1s60g$1@dont-email.me> <v3bvg7$24rgd$1@dont-email.me>
 <v3cml5$28tmt$1@dont-email.me> <v3cqs8$29k17$2@dont-email.me>
 <v3crrg$29gdk$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 31 May 2024 19:52:20 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ebb1cf1a7a0af37a2ba68e86e6688ae3";
	logging-data="2458230"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Aazh94GigPOGsS9dKkBt3"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:TuCmceU8dE70wqRyavhwiscHDHw=
In-Reply-To: <v3crrg$29gdk$4@dont-email.me>
Content-Language: en-US
Bytes: 1841

On 31/05/24 17:54, olcott wrote:
> On 5/31/2024 10:37 AM, Fred. Zwarts wrote:
>> You can assume a unicorn, but that does not make it existent. You can 
>> assume a simulating H that is a pure function and halts, but that does 
>> not make them existent. The set of such H is empty.
> 
> You simply ignored my proof that you are wrong.
> 
> D correctly simulated by pure function HH cannot possibly reach
> its own final state at line 06 in any finite number of steps of
> correct simulation.

Olcott thinks that a feather cannot stop a freight train. But a unicorn 
feather is strong enough to stop a freight train.