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 21:42:55 -0500
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <vsspnf$3pobo$1@dont-email.me>
References: <vsnchj$23nrb$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> <vssih0$3ipb5$5@dont-email.me>
 <vssk5v$3gd7d$6@dont-email.me> <85jz7yhyls.fsf@nosuchdomain.example.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 06 Apr 2025 04:42:57 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="793f083d72b4d17330ab83742da338c2";
	logging-data="3989880"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+ChDAXKwez1dYS+sYKXEKK"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:8AEsKhuLfrmyBdgLgeA3UYoQJhA=
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250405-6, 4/5/2025), Outbound message
Content-Language: en-US
In-Reply-To: <85jz7yhyls.fsf@nosuchdomain.example.com>
Bytes: 2802

On 4/5/2025 8:23 PM, Keith Thompson wrote:
> Richard Heathfield <rjh@cpax.org.uk> writes:
> [...]
>> 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.
> 
> olcott has largely taken over comp.theory, and his posts have dominated
> that newsgroup for years.
> 
> Please stop helping him do the same to comp.lang.c.
> 

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

I had only intended to talk about the C aspects of that
function:

That DD correctly simulated by any HHH would prevent
this HHH from terminating unless HHH stops simulating DD.

It is others that dishonestly try to change the subject
away from this pure C aspect, not me.


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