Sujet : Re: D correctly simulated by H proved for THREE YEARS --- rewritten
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 12. Jun 2024, 01:57:04
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v4arp0$1a7uo$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla Thunderbird
On 6/11/2024 7:20 PM, Python wrote:
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
There are no finite string transformations from the input
to H to the behavior of D(D), thus the behavior of D(D)
is irrelevant.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…