Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Mike Terry Proves --- How the requirements that Professor Sipser
 agreed to are exactly met
Date: Fri, 16 May 2025 10:07:03 -0500
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <1007kan$3qb7l$8@dont-email.me>
References: <1005jsk$3akrk$1@dont-email.me>
 <bc6f0f045212bdfb7f7d883426873a09e37789ea@i2pn2.org>
 <1005u6v$3cpt2$1@dont-email.me> <1006oi9$3l93f$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 16 May 2025 17:07:04 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a793c50ac46b1404361ae4f1062ef558";
	logging-data="4009205"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19bbrT9B5Q+NSnwH1FoqZUs"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ILdE/Qrk+NBM59DgOaOq8PYkFrw=
X-Antivirus-Status: Clean
In-Reply-To: <1006oi9$3l93f$1@dont-email.me>
X-Antivirus: Norton (VPS 250516-4, 5/16/2025), Outbound message
Content-Language: en-US
Bytes: 3303

On 5/16/2025 2:13 AM, Mikko wrote:
> On 2025-05-15 23:43:27 +0000, olcott said:
> 
>> On 5/15/2025 6:18 PM, Richard Damon wrote:
>>> On 5/15/25 4:47 PM, olcott wrote:
>>>> I overcome the proof of undecidability of the Halting
>>>> Problem in that the code that
>>>> "does the opposite of whatever value that HHH returns"
>>>> becomes unreachable to DD correctly simulated by HHH.
>>>
>>> Nope, only to youtr INCORRECTLY simuated by HHH.
>>>
>>
>> In other words you believe that professor Sipser
>> screwed up when he agreed with these exact words.
>>
>> <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>
> 
> One may indeed thik so. Or pehaps he knew what he was doing but cheated.
> To sincerely agree with you without extreme care is an error.
> 

On 5/14/2025 7:36 PM, Mike Terry wrote:
 > There is a natural (and correct) statement that Sipser
 > is far more likely (I'd say) to have agreed to.
 >
 > First you should understand the basic idea behind a
 > "Simulating Halt Decider" (*SHD*) that /partially/
 > simulates its input, while observing each simulation
 > step looking for certain halting/non-halting patterns
 > in the simulation. A simple (working) example here
 > is an input which goes into a tight loop.
(Mike says much more about this)

*Click here to get the whole article*
https://al.howardknight.net/?STYPE=msgid&MSGI=%3C1003cu5%242p3g1%241%40dont-email.me%3E 


Message-ID: <1003cu5$2p3g1$1@dont-email.me>


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