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

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