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 22:31:42 -0500
Organization: A noiseless patient Spider
Lines: 35
Message-ID: <vsssiu$d1q$3@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>
 <vssih0$3ipb5$5@dont-email.me> <vssk5v$3gd7d$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 06 Apr 2025 05:31:43 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="793f083d72b4d17330ab83742da338c2";
	logging-data="13370"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19zZby0yIdm9YovntO0elI5"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:mwePbDnZngSGQ7B3hc+RvuSpEFI=
X-Antivirus: Norton (VPS 250405-6, 4/5/2025), Outbound message
In-Reply-To: <vssk5v$3gd7d$6@dont-email.me>
X-Antivirus-Status: Clean
Content-Language: en-US
Bytes: 3101

On 4/5/2025 8:08 PM, Richard Heathfield wrote:
> On 06/04/2025 01:40, 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 it has refuted ALL of the conventional HP proofs.
> 
> 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.
> 

Refuting the proofs and solving the halting problem
are two different things.

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