Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.logic
Subject: Re: The halting problem as defined is a category error
Date: Mon, 21 Jul 2025 14:30:22 +0200
Message-ID: <105lbst$2idvv$3@solani.org>
References: <105bdps$1g61u$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 21 Jul 2025 12:30:21 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="2701311"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101
 Firefox/128.0 SeaMonkey/2.53.21
Cancel-Lock: sha1:7K6Ki6YXmZj5Xbow8lUXm1umlYI=
In-Reply-To: <105bdps$1g61u$1@dont-email.me>
X-User-ID: eJwNysEBwCAIA8CVMECQcaw0+4/Q3vvSuXgrmIxUCqd3QMe6HdSk/yEdYb03F4yuBKfjmVvXyyDN8R4iXvQHFzwUIg==

I think your bisimulation is broken.

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.
>