Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: DD simulated by HHH cannot possibly halt (Halting Problem)
Date: Sat, 5 Apr 2025 19:40:00 -0500
Organization: A noiseless patient Spider
Lines: 26
Message-ID: <vssih0$3ipb5$5@dont-email.me>
References: <vsnchj$23nrb$2@dont-email.me> <vsngo6$26agq$1@dont-email.me>
 <vsnh44$26c94$3@dont-email.me> <vsnht7$26agq$2@dont-email.me>
 <vsnlvv$2h8pt$1@dont-email.me> <vsnnb5$2g4cd$2@dont-email.me>
 <vsnnug$2h8pt$2@dont-email.me> <vsnou2$2g4cd$5@dont-email.me>
 <vspqmt$o89d$1@dont-email.me> <vsq97g$19eo9$1@dont-email.me>
 <vsqhov$1hl94$1@dont-email.me> <vsqmth$1mglg$2@dont-email.me>
 <vsrk17$2le7u$1@dont-email.me> <vsrlh7$2n0kg$1@dont-email.me>
 <vsrrnl$2ssgf$3@dont-email.me> <vsrtp0$2sut0$2@dont-email.me>
 <vsrun6$2ssgf$5@dont-email.me> <vsrvao$2sut0$3@dont-email.me>
 <vsrvsd$317k3$1@dont-email.me> <vss3se$35rqb$1@dont-email.me>
 <vss6qe$375du$7@dont-email.me> <vssa00$3b2j0$1@dont-email.me>
 <vssdl8$3evdr$2@dont-email.me> <vsseo6$3gd7d$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 06 Apr 2025 02:40:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ef4cc0d21fd1ecbcf29cd91ea99c5a02";
	logging-data="3761509"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+FmHsTgqxLglFJBqK4ixj7"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:T8K/6ROetXd8YqFCBU02k7MsxoQ=
X-Antivirus-Status: Clean
Content-Language: en-US
X-Antivirus: Norton (VPS 250405-6, 4/5/2025), Outbound message
In-Reply-To: <vsseo6$3gd7d$1@dont-email.me>
Bytes: 2615

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 it has refuted ALL of the conventional HP proofs.


-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer