Sujet : Re: D correctly simulated by H proved for THREE YEARS --- rewritten De : python (at) *nospam* invalid.org (Python) Groupes :comp.theorysci.logic Date : 12. Jun 2024, 01:20:11 Autres entêtes Organisation : CCCP Message-ID :<v4apjs$19rnv$1@dont-email.me> References :123456789 User-Agent : Mozilla Thunderbird
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.
…