Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Ben Bacarisse fails understand that deciders COMPUTE THE MAPPING
 FROM INPUTS
Date: Thu, 29 Aug 2024 08:50:23 -0500
Organization: A noiseless patient Spider
Lines: 53
Message-ID: <vapub0$3vumk$3@dont-email.me>
References: <va104l$376ed$4@dont-email.me>
 <d42e5d30ea5f1c067283cb04d8a7293e2117188e@i2pn2.org>
 <va24hl$3cvgv$1@dont-email.me>
 <431deaa157cdae1cae73a1b24268a61cf8ec2c1c@i2pn2.org>
 <va38qh$3ia79$1@dont-email.me>
 <7a1c569a699e79bfa146affbbae3eac7b91cd263@i2pn2.org>
 <va3f7o$3ipp3$1@dont-email.me>
 <729cc551062c13875686d266a5453a488058e81c@i2pn2.org>
 <va3kac$3nd5c$1@dont-email.me>
 <148bf4dd91f32379a6d81a621fb7ec3fc1e00db0@i2pn2.org>
 <va3lai$3nd5c$2@dont-email.me> <va46sd$3pr24$1@dont-email.me>
 <va4mle$3s0hu$1@dont-email.me>
 <5591ff08ed8f7b4bdf33813681e156b775efe0ec@i2pn2.org>
 <va63uu$2fo9$1@dont-email.me>
 <b0a86b6a1343ebb5f9112ae757768a7cbbc770b2@i2pn2.org>
 <va65r8$6ht7$1@dont-email.me>
 <da75188ffa7677bd2b6979c8fc6ba82119404306@i2pn2.org>
 <878qwn0wyz.fsf@bsb.me.uk>
 <efacnfsQdv-ErlT7nZ2dnZfqnPadnZ2d@brightview.co.uk>
 <87le0jzc8f.fsf_-_@bsb.me.uk> <vaj1kd$2kvg9$1@dont-email.me>
 <vamk31$3d76g$1@dont-email.me> <vangu0$3dfra$1@dont-email.me>
 <vap9fa$3t28c$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 29 Aug 2024 15:50:24 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="e678f999b18028d25fa9559cad82e90c";
	logging-data="4192980"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19+uW1+IHbbABUx8e4SSi+P"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:4SSyeqQ1V+L1NuJbDS0zOFxsy2k=
In-Reply-To: <vap9fa$3t28c$1@dont-email.me>
Content-Language: en-US
Bytes: 3771

On 8/29/2024 2:54 AM, Mikko wrote:
> On 2024-08-28 15:49:20 +0000, immibis said:
> 
>> On 28/08/24 09:37, Mikko wrote:
>>> This group is for discussions about the theory of computation and 
>>> related
>>> topics. Discussion about people is off-topic.
>>
>> there is no moderation, so people are even free to post about cheap 
>> viagra if they want.
> 
> Administrators or servers may prevent those that post too musch spam.
> Other than that, nobody prevents off-topic posts. We may point out to
> posters or adimistrators that if a message is off-topic or harmful to
> dicsussion. Adminstrotors hardly care unless there are too many such
> posts.
> 

When some specific person makes a key mistake that results
in the incorrect denigration of my life's work I correct this
specific person's specific mistake.

That Ben did not understand how deciders compute the mapping
from input finite strings to the behaviors that they specify
was his only mistake. No one else got this close to correct.

*Context for Ben's agreement*
On 10/14/2022 11:36 AM, olcott wrote:
 >
 > int Sipser_D(ptr2 M)
 > {
 >    if ( Sipser_H(M, M) )
 >      return 0;
 >    return 1;
 > }
 >
 > int main()
 > {
 >    Output((char*)"Input_Halts = ", Sipser_D(Sipser_D));
 > }
 >

On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
 > I don't think that is the shell game.  PO really /has/ an H
 > (it's trivial to do for this one case) that correctly determines
 > that P(P) *would* never stop running *unless* aborted.
....
 > But H determines (correctly) that D would not halt if it
 > were not halted.  That much is a truism.

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