Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Re: The halting problem as defined is a category error
Date: Thu, 24 Jul 2025 09:11:44 -0500
Organization: A noiseless patient Spider
Lines: 65
Message-ID: <105tev0$1fr8n$4@dont-email.me>
References: <105bdps$1g61u$1@dont-email.me>
 <GEzeQ.135758$gKRf.60411@fx12.ams4> <105fmv7$2lo8g$1@dont-email.me>
 <105gbst$2pk90$4@dont-email.me> <105iac9$396eu$2@dont-email.me>
 <105j0i2$3cagp$7@dont-email.me> <105l1pr$2q721$1@dont-email.me>
 <105lhj0$3v8t8$10@dont-email.me> <105nqeq$37mb8$1@dont-email.me>
 <105o5ak$g4mg$5@dont-email.me> <105q3a5$8fre$1@dont-email.me>
 <105qk70$v75u$1@dont-email.me> <105qo7a$b14g$2@dont-email.me>
 <105qraf$v75u$11@dont-email.me> <105rbr3$dp85$1@dont-email.me>
 <105rfrb$13aeu$1@dont-email.me> <105ria0$dp85$4@dont-email.me>
 <105rj13$13khb$2@dont-email.me> <105t0ln$l9h6$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 24 Jul 2025 16:11:45 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="fd5759eac3b2dc0860524bda45510ca5";
	logging-data="1568023"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/pnsqi1FPZYe8get+8B/Os"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ddu4gtg9YXWQOKZv29xtxPwOP/o=
X-Antivirus: Norton (VPS 250724-2, 7/24/2025), Outbound message
X-Antivirus-Status: Clean
Content-Language: en-US
In-Reply-To: <105t0ln$l9h6$1@dont-email.me>

On 7/24/2025 5:07 AM, joes wrote:
> Am Wed, 23 Jul 2025 16:08:51 -0500 schrieb olcott:
>> On 7/23/2025 3:56 PM, joes wrote:
>>> Am Wed, 23 Jul 2025 15:14:35 -0500 schrieb olcott:
>>>> On 7/23/2025 2:06 PM, joes wrote:
>>>>> Am Wed, 23 Jul 2025 09:24:15 -0500 schrieb olcott:
>>>>>> On 7/23/2025 8:31 AM, joes wrote:
>>>>>>> Am Wed, 23 Jul 2025 07:22:55 -0500 schrieb olcott:
> 
>>>>>> The actual behavior that is actually specified must include that in
>>>>>> both of these cases recursive simulation is specified. We can't just
>>>>>> close our eyes and pretend otherwise.
>>>>> That is what HHH does: close its eyes and pretend that DDD called a
>>>>> pure simulator instead of recursing. See below.
>>>>>
>>>> That you don't understand my code is ot a rebuttal. HHH simulate DDD
>>>> that calls HHH(DDD) that causes the directly executed HHH to simulate
>>>> itself simulating DDD until this simulated simulated DDD calls a
>>>> simulated simulated HHH(DDD).
>>>
>>> Of course, and then it incorrectly assumes that an unaborted simulation
>>> *of this HHH*, which does in fact abort, wouldn't abort.
>>>
>> If HHH(DDD) never aborts its simulation then this HHH never stops
>> running.

> If HHH (which aborts) was given to a UTM/pure simulator, it would
> stop running.
> 

typedef void (*ptr)();
int HHH(ptr P);

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

int Simulate(ptr x)
{
   x();
   return 1;
}

It is the behavior of the input to HHH(DDD) that
HHH is supposed to measure.

It is not the behavior of the input to Simulate(DDD)
that HHH is supposed to measure.

It is also not the behavior of the directly executed
DDD() that HHH is supposed to measure.

HHH(DDD) is only supposed to measure the behavior
of its own input.

It has been three years and still not one person
has understood that the behavior of an input that
calls its own simulator is not the same as the behavior
of an input that does not call its own simulator.

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