Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: Re: The halting problem as defined is a category error
Date: Mon, 21 Jul 2025 07:59:43 -0500
Organization: A noiseless patient Spider
Lines: 26
Message-ID: <105ldjv$3v8t8$1@dont-email.me>
References: <105bdps$1g61u$1@dont-email.me> <105lbst$2idvv$3@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 21 Jul 2025 14:59:44 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="57c3b27179f1849700b8243c36bf1601";
	logging-data="4170664"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/MA5YYkxo5AB2KSgkrpJjY"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:OsSEY0H83XN7BjAbzrOU1g3hjz8=
X-Antivirus: Norton (VPS 250721-2, 7/21/2025), Outbound message
X-Antivirus-Status: Clean
In-Reply-To: <105lbst$2idvv$3@solani.org>
Content-Language: en-US

On 7/21/2025 7:30 AM, Mild Shock wrote:
> I think your bisimulation is broken.
> 

Counter factual.
This code has been fully operational for several years.
https://github.com/plolcott/x86utm/blob/master/Halt7.c

> olcott schrieb:
>> Claude.ai agrees that the halting problem as defined is a
>> category error.
>>
>> https://claude.ai/share/0b784d2a-447e-441f-b3f0-a204fa17135a
>>
>> This can only be directly seen within my notion of a
>> simulating halt decider. I used the Linz proof as my basis.
>>
>> Sorrowfully Peter Linz passed away 2 days less than
>> one year ago on my Mom's birthday July 19, 2024.
>>
> 


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