Sujet : Re: DD simulated by HHH cannot possibly halt (Halting Problem)
De : dbush.mobile (at) *nospam* gmail.com (dbush)
Groupes : comp.lang.cDate : 06. Apr 2025, 02:20:47
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vssktd$3mggf$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
User-Agent : Mozilla Thunderbird
On 4/5/2025 8:40 PM, olcott wrote:
On 4/5/2025 6:35 PM, Richard Heathfield wrote:
On 06/04/2025 00:16, olcott wrote:
I am trying to explain how the actual HHH works
one step at a time.
>
But it doesn't, so you're wasting your time. The best you'll manage is to determine the termination status of /some/ programs. That's not in dispute. But all programs? Can't be done, as has been explained to you ad nauseam.
>
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
As long as HHH determines the correct halt status
of DD
Which according the the halting function:
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
Is HALTING, which HHH does not do.