Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Incorrect requirements --- Computing the mapping from the input
 to HHH(DD)
Date: Sun, 11 May 2025 10:14:54 -0500
Organization: A noiseless patient Spider
Lines: 62
Message-ID: <vvqetf$gldn$1@dont-email.me>
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>
 <1vOTP.290843$6Qab.147432@fx07.ams4> <vvpufa$12tn$1@news.muc.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 11 May 2025 17:14:55 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ef7faca461217fa132b1f53eef89d0be";
	logging-data="546231"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ohrQBY7JaeJ61OtYnPVIB"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:gheo7/4wbcm0fT2AqQdjmDtRJZc=
X-Antivirus: Norton (VPS 250511-2, 5/11/2025), Outbound message
Content-Language: en-US
In-Reply-To: <vvpufa$12tn$1@news.muc.de>
X-Antivirus-Status: Clean

On 5/11/2025 5:34 AM, Alan Mackenzie wrote:
> Mr Flibble <flibble@red-dwarf.jmc.corp> 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.
> 
> That's laughable.  You're just a confused and deluded narcissistic crank.
> If you really believe you've found a flaw in Turing's paper, try writing
> it up properly (something which is beyond you) and submit it for
> publication to a reputable peer-reviewed mathematical journal.  I'd be
> surprised if you even got a reply.
> 
>>> 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.
> 
> You don't even understand what "formally" means.
> 
>> /Flibble
> 

You pay attention to irrelevant details.
Flibble does understand the key essence of these
things better than you.

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