Path: ...!feeds.phibee-telecom.net!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Python <python@invalid.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: D correctly simulated by H proved for THREE YEARS --- rewritten
Date: Wed, 12 Jun 2024 02:20:11 +0200
Organization: CCCP
Lines: 8
Message-ID: <v4apjs$19rnv$1@dont-email.me>
References: <v45tec$4q15$1@dont-email.me> <v46na7$3ifov$4@i2pn2.org>
 <v48be9$rgsh$1@dont-email.me> <v48gh6$3kcoe$4@i2pn2.org>
 <v48jv2$se9c$1@dont-email.me> <v49dge$3kcoe$5@i2pn2.org>
 <v4a0hs$157ic$3@dont-email.me> <v4ak5o$3kcoe$6@i2pn2.org>
 <v4am8r$19edk$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 12 Jun 2024 02:20:12 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="84bda7c30ae5a1eebdd62c5f31846967";
	logging-data="1371903"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19DupHU++Yj4ksb0zwc0EPr"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:IPy5dG3GwsjAvswHwUf492T4q+Q=
In-Reply-To: <v4am8r$19edk$1@dont-email.me>
Content-Language: en-US
Bytes: 1457

Le 12/06/2024 à 01:23, olcott a écrit :
....
> It turns out that by the generic definition of a decider
> what the directly executed D(D) does is not any of the
> business of H.

LOL