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

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

On Sat, 10 May 2025 18:48:12 +0000, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 5/10/2025 7:37 AM, Bonita Montero wrote:

[ .... ]

I guess that not even a professor of theoretical computer science
would spend years working on so few lines of code.

I created a whole x86utm operating system.
It correctly determines that the halting problem's otherwise
"impossible" input is actually non halting.

You've spent over 20 years on this matter.  Compare this with Alan
Turing's solution of the Entscheidungsproblem.  He published this in
1936 when he was just 24 years old.

Turing didn't solve anything: what he published contained a mistake: the
category (type) error that I have described previously in this forum.

OK, then, give the page and line numbers from Turing's 1936 paper where
this alleged mistake was made.  I would be surprised indeed if you'd even
looked at Turing's paper, far less understood it.  Yet you're ready to
denigrate his work.

Perhaps it is time for you to withdraw these uncalled for insinuations.

/Flibble

--
Alan Mackenzie (Nuremberg, Germany).