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.

What arrogant self-important ignorance!  Turing indeed solved the
Entscheidungsproblem.  His procedure has been verified by hundreds of
thousands of mathematicians over the last century, and none of them have
found flaws in it.

It is overwhelmingly likely that your lack of mathematical training has
led you to delude yourself about finding an error.  The same applies to
Peter Olcott.

/Flibble

--
Alan Mackenzie (Nuremberg, Germany).