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 14:01:58 -0500
Organization: A noiseless patient Spider
Lines: 52
Message-ID: <vsrun6$2ssgf$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 05 Apr 2025 21:01:58 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="dd5b5ea603cd9a7205a25ceb11bbfe28";
	logging-data="3043855"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/8cI1fc/jOlBaEIpbJlvQc"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:LMeSWt9JFlLIxX4vOyBzNwYGeKM=
X-Antivirus-Status: Clean
Content-Language: en-US
X-Antivirus: Norton (VPS 250405-6, 4/5/2025), Outbound message
In-Reply-To: <vsrtp0$2sut0$2@dont-email.me>
Bytes: 3246

On 4/5/2025 1:45 PM, Richard Heathfield wrote:
> On 05/04/2025 19:11, olcott wrote:
>> On 4/5/2025 11:25 AM, dbush wrote:

>>> On 4/5/2025 11:59 AM, olcott wrote:>>>>
>>>> Introduction to the Theory of Computation 3rd Edition
>>>> by Michael Sipser (Author) (best selling textbook)
>>>>
>>>> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>>>>      If simulating halt decider H correctly simulates its input D
>>>>      until H correctly determines that its simulated D would never
>>>>      stop running unless aborted then
>>>>
>>>>      H can abort its simulation of D and correctly report that D
>>>>      specifies a non-halting sequence of configurations.
>>>> </MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>>>
>>> But not what you think he agreed to:
>>>
>>>

void DDD()
{
   HHH(DDD);
   return;
}

>>
>> You have to show that by showing the details of how
>> what he agreed to is not accurately paraphrased by
>> *Simulating termination analyzer Principle*
> 
> No, you have to show firstly that your H determines anything at all 
> about D's behaviour. 

First of all it is the concrete DDD and the hypothetical HHH.
As any C programmer can see DDD simulated by HHH would cause
any correct simulator to get stuck in recursive simulation.

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

The same applies to DD simulated by this same HHH.

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