Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: =?UTF-8?Q?Re=3A_Flibble=E2=80=99s_Leap=3A_Why_Behavioral_Divergence?=
 =?UTF-8?Q?_Implies_a_Type_Distinction_in_the_Halting_Problem?=
Date: Sun, 11 May 2025 18:15:47 +0100
Organization: Fix this later
Lines: 16
Message-ID: <vvqm03$i3hn$1@dont-email.me>
References: <vv1UP.77894$JJT6.54808@fx16.ams4> <vvqd4u$g8a1$1@dont-email.me>
 <7N2UP.527443$wBt6.464256@fx15.ams4> <vvqfgq$gmmk$1@dont-email.me>
 <os3UP.670056$BFJ.223954@fx13.ams4> <vvqgpt$gmmk$4@dont-email.me>
 <aG3UP.366972$wBVe.321504@fx06.ams4> <vvqhaj$gldn$6@dont-email.me>
 <bV3UP.101097$0ia.1168@fx11.ams4> <vvqkff$gldn$13@dont-email.me>
 <WH4UP.229898$_Npd.172992@fx01.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 11 May 2025 19:15:48 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="023cae9dc0d2c2b383f3d86e34fa8cd9";
	logging-data="593463"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18VpgjZu0I/BC4cfJauTMu21wEWp3wD1m0n7NuvkLWGQg=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:AK/cKD+Oo7oDZnAQoizfPv+ljM4=
Content-Language: en-GB
In-Reply-To: <WH4UP.229898$_Npd.172992@fx01.ams4>

On 11/05/2025 17:59, Mr Flibble wrote:
> it is impossible to obtain a halting result


That sure looks like a concession that it's impossible to devise 
an algorithm that will produce a halting result.

Well done. We got you there in the end.


-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within