Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

On 11/05/2025 16:44, olcott wrote:

On 5/11/2025 7:09 AM, Mr Flibble wrote:

On Sun, 11 May 2025 12:57:21 +0100, Richard Heathfield wrote:
>

On 11/05/2025 12:48, Mr Flibble wrote:

On Sun, 11 May 2025 10:34:18 +0000, Alan Mackenzie wrote:
>

Mr Flibble <flibble@red-dwarf.jmc.corp> wrote:

>
<snip>
>

Nope, I have formally defined the error that doesn't contradict
Peter's work.

>
You don't even understand what "formally" means.

>
Sure I do. I can formally define it again for you if you like? Here is
the formal definition:
>
What constitutes halting problem pathological input:
>
Input that would cause infinite recursion when using a decider of the
simulating kind.

>
When executed directly, such an input would either halt or not,
category error or no.
>
Which is it?

>
Peter's view:
* direct execution results in infinite recursion which is treated as non-
halting.
>

Not exactly, it is not direct execution.

So what is its halt state when directly executed?
If it's non-halting, why quibble with Flibble?
But if it's halting, your simulation is wrong, right?
Oh, decisions, decisions.
--
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