Sujet : Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 08. Mar 2024, 04:05:48
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <usdrpr$1bkg1$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
On 3/7/2024 7:36 PM, immibis wrote:
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.
D simulated by H cannot possibly halt even if we simplify it to this:
void D(void (*x)())
{
H(x, x);
}
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--
Re: Refutation of the Peter Linz Halting Problem proof 2024-03-05 --partial agreement--