Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem

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