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 : 07. Mar 2024, 18:45:32
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <uscqvc$1564n$1@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 16:53, olcott wrote:
H(D,D) could never provide a return value consistent with the direct
execution of D(D)
In other words: H doesn't solve the halting problem.
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--