Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: =?utf-8?Q?Re:_Refutation_of_Turing=E2=80=99s_1936_Halting_Problem_Proof_Based_on_Self-Referential_Conflation_as_a_Category_(Type)_Error?=
Date: Wed, 23 Apr 2025 11:52:34 +0300
Organization: -
Lines: 15
Message-ID: <vua9oi$2lub6$1@dont-email.me>
References: <vu6lnf$39fls$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 23 Apr 2025 10:52:35 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="fded5e7a06167176824d83714784eca7";
	logging-data="2816358"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19mJsfyQbYK2lorkOpdtjCv"
User-Agent: Unison/2.2
Cancel-Lock: sha1:b5fydX5IsBdqqVa2vTde4vJ5LUc=

On 2025-04-21 23:52:15 +0000, olcott said:

> Computer Science Professor Eric Hehner PhD
> and I all seem to agree that the same view
> that Flibble has is the correct view.

Others can see that their justification is defective and contradicted
by a good proof.

Some people claim that the unsolvability of the halting problem is
unproven but nobody has solved the problem.

-- 
Mikko