Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Python <python@invalid.org>
Newsgroups: comp.theory
Subject: Re: Overview of proof that the input to HHH(DDD) specifies
 non-halting behavior
Date: Tue, 13 Aug 2024 03:53:29 +0200
Organization: CCCP
Lines: 7
Message-ID: <v9eeap$3fish$10@dont-email.me>
References: <v9edol$3metk$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 13 Aug 2024 03:53:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9cd82149b879d05bbfbcba58d7db48e8";
	logging-data="3656593"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19CJUtqBi4m26TWlCuXDEss"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:V1pcJqRhplHlbpdlANhi+FOS5Gw=
Content-Language: en-US
In-Reply-To: <v9edol$3metk$1@dont-email.me>
Bytes: 1139

Le 13/08/2024 à 03:43, olcott a écrit :
> We prove that the simulation is correct.

No. You didn't.