Sujet : Re: My reviewers think that halt deciders must report on the behavior of their caller
De : dbush.mobile (at) *nospam* gmail.com (dbush)
Groupes : comp.theoryDate : 04. Jun 2025, 03:46:28
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <101oc24$hlr6$2@dont-email.me>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
On 6/3/2025 10:34 PM, olcott wrote:
On 6/3/2025 9:12 PM, dbush wrote:
>
Given any algorithm (i.e. a fixed immutable sequence of instructions) X described as <X> with input Y:
>
A solution to the halting problem is an algorithm H that computes the following mapping:
>
(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed directly
>
Yes there is no algorithm that does that
Excellent!
Let The Record Show
That Peter Olcott
Has *EXPLICITLY* admitted
That no algorithm H exists that meets the above requirements, which is precisely the theorem that the halting problem proofs prove.
…