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

On 5/10/25 4:17 PM, Mr Flibble wrote:

On Sat, 10 May 2025 20:07:50 +0000, Alan Mackenzie wrote:
 

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.

 Not at all: I have simply found a flaw that has been overlooked all this
time.  Peter effectively found the same flaw but came at it from a
different angle.

Nope, you have a misunderstanding and refuse to listen to YOUR error.

 

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

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

By ignoring the rules the proble was defined under, and fought your own strawman.

 /Flibble