Path: ...!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: Two dozen people were simply wrong -- Only basis for rebuttal in
 the last 3 years
Date: Sat, 1 Jun 2024 10:09:02 -0500
Organization: A noiseless patient Spider
Lines: 49
Message-ID: <v3fdif$2r6gg$1@dont-email.me>
References: <v3501h$lpnh$1@dont-email.me> <v362eu$2d367$3@i2pn2.org>
 <v363js$vg63$2@dont-email.me> <v36803$2d368$3@i2pn2.org>
 <v368je$100kd$3@dont-email.me> <v373mr$2d367$5@i2pn2.org>
 <v37bpa$15n0b$1@dont-email.me> <v37i9p$lls$1@news.muc.de>
 <87y17smqnq.fsf@bsb.me.uk> <v37sap$18mfo$1@dont-email.me>
 <v3elpv$2mjca$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 01 Jun 2024 17:09:04 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5617c6a52e82e3edb2307f1199229213";
	logging-data="2988560"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+RbuJT5EpWcj4DhCluJ0Ei"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:QDp83SES3s/xwato0sFsmHKjlzs=
Content-Language: en-US
In-Reply-To: <v3elpv$2mjca$1@dont-email.me>
Bytes: 3221

On 6/1/2024 3:23 AM, Mikko wrote:
> On 2024-05-29 18:31:52 +0000, olcott said:
> 
>> *two dozen people were simply wrong*
> 
> Why are people who are wrong so important that they deserve
> a subject line? I would think that people who are right are
> more interesting.
> 

This is the key mistake of the definition of the halting problem itself.
Linz makes this same mistake. I already covered this extensively in
another reply.

That these two dozen different people are wrong about this shows that
the only basis for any rebuttal of my proof for the last three years IS
WRONG.

Because DD correctly simulated by HH remains stuck in recursive
simulation for 1 to ∞ steps of correct simulation this conclusively
proves that H is correct to reject DD as non-halting no matter what the
behavior of the directly executed DD(DD) is.

*The following is not agreement with ALL of the above words*
Professor Sipser said nothing about:
*no matter what the behavior of the directly executed DD(DD) is*
*He was pressed for time so we could not get that far in the conversion*

*Introduction to the Theory of Computation, by Michael Sipser*
https://www.amazon.com/Introduction-Theory-Computation-Michael-Sipser/dp/113318779X/

*On 10/13/2022 11:29:23 AM*
MIT Professor Michael Sipser agreed that these verbatim words are correct
(He has neither reviewed nor agreed to anything else in this paper)

<Professor Sipser agreed>
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.
</Professor Sipser agreed>


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