Sujet : Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 08. Mar 2024, 03:36:44
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <usdq3b$1be15$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Mozilla Thunderbird
On 7/03/24 18:14, olcott wrote:
It is an easily fact that a correct and complete simulation of
the input to H(D,D) and the input to Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ cannot possibly halt.
It can if H(D,D) returns 0.