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: I have just proven the error of all of the halting problem proofs
 --- Mackenzie
Date: Sun, 27 Jul 2025 08:50:54 -0500
Organization: A noiseless patient Spider
Lines: 43
Message-ID: <1065as0$1rqln$1@dont-email.me>
References: <105ht1n$36s20$1@dont-email.me>
 <eed26ffea811a639a76d0184321c57eafba746cd@i2pn2.org>
 <pI4fQ.147044$gKRf.71824@fx12.ams4> <105kvub$2q17h$1@dont-email.me>
 <105lg9k$3v8t8$6@dont-email.me> <105ljhk$9si$1@news.muc.de>
 <105lkj4$3v8t8$13@dont-email.me> <105lnn2$2srt$1@news.muc.de>
 <105lpsd$1mvr$1@dont-email.me> <105m9me$2phf$1@news.muc.de>
 <87frejvq2x.fsf@bsb.me.uk> <10633d2$2h0d$1@news.muc.de>
 <1063527$2gj29$3@dont-email.me> <10636r8$2gfp$1@news.muc.de>
 <1063a53$2htm2$1@dont-email.me> <FlahQ.10234$mUCf.7371@fx05.ams4>
 <1063c0t$2i6le$1@dont-email.me> <1063m2d$1isr9$1@dont-email.me>
 <1063n55$1j27o$1@dont-email.me> <6DdhQ.207706$Tc12.80723@fx17.iad>
 <1063p7u$1j8ei$1@dont-email.me> <TifhQ.163802$VlKa.72628@fx11.iad>
 <10643o0$1kabq$1@dont-email.me> <8RnhQ.76375$RDB4.20744@fx09.iad>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 27 Jul 2025 13:50:56 +0000 (UTC)
Injection-Info: dont-email.me; posting-host="ebb81b7e559f654a9ccbe84c63c0d5aa";
	logging-data="1960631"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19odfDYCV4mNaiqoIgp1Dbk"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:7qzdydxKzqYexCuKU4Uc9pVE4Vk=
In-Reply-To: <8RnhQ.76375$RDB4.20744@fx09.iad>
X-Antivirus: Norton (VPS 250727-0, 7/26/2025), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean

On 7/27/2025 6:11 AM, Richard Damon wrote:
> On 7/26/25 10:43 PM, olcott wrote:>>
>> When HHH(DDD) simulates DDD it also simulates itself
>> simulating DDD because DDD calls HHH(DDD).
> 
> But can only do that if HHH is part of its input, or it is not 
> simulating its input.
> 
> And, it FAILS at simulating itself, as it concludes that HHH(DDD) will 
> never return, when it does.
> 

This ChatGPT analysis of its input below
correctly derives both of our views. I did
not bias this analysis by telling ChatGPT
what I expect to see.

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

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

int main()
{
   HHH(DDD);
   DDD();
}

Simulating Termination Analyzer HHH correctly simulates its input until:
(a) It detects a non-terminating behavior pattern then it aborts its 
simulation and returns 0,
(b) Its simulated input reaches its simulated "return" statement then it 
returns 1.

https://chatgpt.com/share/688521d8-e5fc-8011-9d7c-0d77ac83706c

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