Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: Alan Mackenzie <acm@muc.de>
Newsgroups: comp.theory
Subject: Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)
Date: Sat, 10 May 2025 20:45:04 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <vvodsg$15td$3@news.muc.de>
References: <vv97ft$3fg66$1@dont-email.me>   <vvjcge$27753$2@dont-email.me> <vvjeqf$28555$1@dont-email.me> <vvjffg$28g5i$1@dont-email.me> <875xiaejzg.fsf@nosuchdomain.example.com> <vvjgt1$28g5i$5@dont-email.me> <87jz6qczja.fsf@nosuchdomain.example.com> <vvjotc$28g5i$12@dont-email.me> <vvnh9u$3hd96$1@raubtier-asyl.eternal-september.org> <vvno4e$3in62$2@dont-email.me> <vvo71c$rlt$1@news.muc.de> <PlNTP.270466$lZjd.128570@fx05.ams4> <vvobmm$15td$1@news.muc.de> <vvocpb$3na6l$1@dont-email.me>
Injection-Date: Sat, 10 May 2025 20:45:04 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="38829"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.4-20241224 ("Helmsdale") (FreeBSD/14.2-RELEASE-p1 (amd64))

olcott <polcott333@gmail.com> wrote:
> On 5/10/2025 3:07 PM, 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.

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


> Once we understand ....

[ Irrelevant stuff deleted ]

That's the whole point.  You _don't_ understand what you would need to
understand in order to read Turing's 1936 paper.  Or even what you would
need to read Linz's book.

Your mathematical competence is that of a young child.  Your self
delusion knows no bounds.

Others in this groups can see you for what you are.  What we see is not a
diligent scholar seeking the truth, but a deluded narcissist.

> -- 
> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
> hits a target no one else can see." Arthur Schopenhauer

-- 
Alan Mackenzie (Nuremberg, Germany).