Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: The halting problem as defined is a category error --- Flibble is
 correct
Date: Tue, 22 Jul 2025 10:21:13 -0500
Organization: A noiseless patient Spider
Lines: 45
Message-ID: <105oa99$hate$3@dont-email.me>
References: <105bdps$1g61u$1@dont-email.me> <105c0lk$1k7ip$1@dont-email.me>
 <105c22v$1k9r9$3@dont-email.me> <105c5rt$1l4j7$1@dont-email.me>
 <105cddu$1r7mi$1@dont-email.me> <105e259$26kvp$1@dont-email.me>
 <105e8nt$288fm$1@dont-email.me> <105ejtf$2asnh$1@dont-email.me>
 <105elol$2aph6$1@dont-email.me> <105fina$2eaf2$1@dont-email.me>
 <105ger8$2pk90$6@dont-email.me> <105i6u0$2ki8q$2@dont-email.me>
 <105j124$3cagp$9@dont-email.me> <105kttl$2pjsb$1@dont-email.me>
 <105li9c$3v8t8$11@dont-email.me> <105o6ln$39dud$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 22 Jul 2025 17:21:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a14401adad5651a253e4d054a1d0c031";
	logging-data="568238"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18kPzTlLKZwRKXt84ebqC+L"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:SbMenlbVrXvQfgSOyuWTAIW7IJ4=
In-Reply-To: <105o6ln$39dud$1@dont-email.me>
X-Antivirus: Norton (VPS 250722-2, 7/22/2025), Outbound message
X-Antivirus-Status: Clean
Content-Language: en-US

On 7/22/2025 9:19 AM, joes wrote:
> Am Mon, 21 Jul 2025 09:19:23 -0500 schrieb olcott:
> 
>> The correct measure of the behavior of the input to HHH(DDD)
>> is DDD simulated by HHH according to the semantics of the C programming
>> language.
> The measure of HHH(DDD) is HHH(DDD)?
> 

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

executed HHH emulates DDD that calls emulated HHH(DDD)
that emulates DDD that calls emulated emulated HHH(DDD)

  machine   stack     stack     machine        assembly
  address   address   data      code           language
  ========  ========  ========  ============== =============
[000021be][00103872][00000000] 55             push ebp
[000021bf][00103872][00000000] 8bec           mov ebp,esp
[000021c1][0010386e][0000219e] 689e210000     push 0000219e // push DDD
[000021c6][0010386a][000021cb] e823f4ffff     call 000015ee // call HHH
New slave_stack at:103916

Begin Local Halt Decider Simulation   Execution Trace Stored at:11391e
[0000219e][0011390e][00113912] 55             push ebp
[0000219f][0011390e][00113912] 8bec           mov ebp,esp
[000021a1][0011390a][0000219e] 689e210000     push 0000219e // push DDD
[000021a6][00113906][000021ab] e843f4ffff     call 000015ee // call HHH
New slave_stack at:14e33e
[0000219e][0015e336][0015e33a] 55             push ebp
[0000219f][0015e336][0015e33a] 8bec           mov ebp,esp
[000021a1][0015e332][0000219e] 689e210000     push 0000219e // push DDD
[000021a6][0015e32e][000021ab] e843f4ffff     call 000015ee // call HHH





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