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:48:47 +0100
Organization: Fix this later
Lines: 31
Message-ID: <vvqnu0$i3hn$4@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> <vvqlf0$gldn$16@dont-email.me>
 <eX4UP.687993$4AM6.454940@fx17.ams4> <vvqmkm$i3hn$3@dont-email.me>
 <3c5UP.70485$v0S.5020@fx14.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:48:48 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="023cae9dc0d2c2b383f3d86e34fa8cd9";
	logging-data="593463"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18MOlS3k/khXW+YBkwH6/48Wq12uTkafoRj5rq9tw7BBA=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:GE9Cab8TSmXQw0+/LfaGAuN1z+o=
In-Reply-To: <3c5UP.70485$v0S.5020@fx14.ams4>
Content-Language: en-GB

On 11/05/2025 18:33, Mr Flibble wrote:
> On Sun, 11 May 2025 18:26:46 +0100, Richard Heathfield wrote:
> 
>> On 11/05/2025 18:15, Mr Flibble wrote:
>>> The truth is it neither halts nor doesn't halt as the question being
>>> asked is ill-formed.
>>
>> So it's stopped running, but it's started hopping?
>>
>>
>> Your answer is bizarre, but it makes a lot more sense when we realise
>> that you are desperately trying to avoid saying that it's undecidable.
> 
> It is undecidable

Finally!

> but not for the reason given by Turing.


Pausing only to reflect that in his 1936 paper on computable 
numbers he didn't use the word 'halt' (not even once), I'll leave 
it at that and let you think about which reason Turing gave and 
what issue you have with it.

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