Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Sequence of sequence, selection and iteration matters --- Ben
 agrees (typo corrected)
Date: Tue, 9 Jul 2024 09:44:23 -0500
Organization: A noiseless patient Spider
Lines: 30
Message-ID: <v6jic7$1ctoi$10@dont-email.me>
References: <v6e7va$c4sv$1@dont-email.me> <v6g444$pdc2$1@dont-email.me>
 <v6go4d$sg7f$1@dont-email.me>
 <80ebfd233bf599468126ddf048190bd0799605bd@i2pn2.org>
 <v6htmc$12ktu$1@dont-email.me>
 <dcd1b46e5442c8a532a33873f396b9cb9b0688a5@i2pn2.org>
 <v6hvps$12ktu$3@dont-email.me>
 <cf764821d8b9b08443fc6cd3d285bc0567f31fa6@i2pn2.org>
 <v6i3fg$13ejf$1@dont-email.me>
 <9b2d4259e78220028f0494f2e2aba382a3402f21@i2pn2.org>
 <v6i5vu$17hpj$2@dont-email.me>
 <11f09a2e12e5aa6ed05b450e70ab090286496ccc@i2pn2.org>
 <v6icmn$185d2$2@dont-email.me>
 <2a2192be89ca0e23f8649a9dd7c59050fa27cb4a@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 09 Jul 2024 16:44:23 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b5da22ad5ca0d0ccd5a9478202582a44";
	logging-data="1472274"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/kEeXhF2RY7wYpolJsR2xn"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:wRz7IND0K8XobcjT9VmxKbt++TY=
Content-Language: en-US
In-Reply-To: <2a2192be89ca0e23f8649a9dd7c59050fa27cb4a@i2pn2.org>
Bytes: 2815

On 7/9/2024 6:29 AM, Richard Damon wrote:
> On 7/9/24 12:01 AM, olcott wrote:
>>
>> It correctly determines that it needs to abort,
>> it aborts then it reports that it needed to abort.
> 
> But that is the question of POOP, not halting.
> 

*It does meet this criteria*

<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D would never
     stop running unless aborted then

     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>

*You disavow sequence of sequence, selection and iteration*
*I have never explained this issue to Ben this clearly before*
Ben seems to believe that HHH must report that it need not
abort its emulation of DDD because AFTER HHH has already
aborted this emulation DDD does not need to be aborted.

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