Liste des Groupes | Revenir à cl c |
On 06/04/2025 01:40, olcott wrote:Refuting the proofs and solving the halting problemOn 4/5/2025 6:35 PM, Richard Heathfield wrote:No, it hasn't. Only if it can determine the correct halt status for /any and every/ program will it do that... and it can't, for reasons already explained many times in some depth.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 it has refuted ALL of the conventional HP proofs.
Les messages affichés proviennent d'usenet.