Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory,sci.logic
Subject: Re: DD correctly simulated by HH --- never stops running without
 aborting its simulation
Date: Fri, 7 Jun 2024 10:00:38 +0200
Organization: A noiseless patient Spider
Lines: 48
Message-ID: <v3uen8$1vn0h$1@dont-email.me>
References: <v3svh3$1k5vr$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 07 Jun 2024 10:00:41 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5bcde24dcfe9ee81a0f51067fa74cb7b";
	logging-data="2087953"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+sB0IACVFJX41MxsUMIVI+"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:zsSzHpzb3EU9aRiXqHz3FeL2c4w=
Content-Language: en-GB
In-Reply-To: <v3svh3$1k5vr$1@dont-email.me>
Bytes: 2963

Op 06.jun.2024 om 20:35 schreef olcott:
> <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 words10/13/2022>
> 
> *Try to show how this DD correctly simulated by any HH ever*
> *stops running without having its simulation aborted by HH*
> 
> _DD()
> [00001e12] 55         push ebp
> [00001e13] 8bec       mov  ebp,esp
> [00001e15] 51         push ecx
> [00001e16] 8b4508     mov  eax,[ebp+08]
> [00001e19] 50         push eax      ; push DD
> [00001e1a] 8b4d08     mov  ecx,[ebp+08]
> [00001e1d] 51         push ecx      ; push DD
> [00001e1e] e85ff5ffff call 00001382 ; call HH
> 

Olcott has proven himself that HH reports false negatives, with the 
following example:

        typedef int (*ptr)();  // ptr is pointer to int function in C

        int H(ptr p, ptr i);

        int main()
        {
          return H(main, 0);
        }

He proved that main halts and that H reports non-halting.

So, it should be no surprise that he finds other false negatives, like 
DD here.

Already earlier he claimed that his decider does not decide not about 
reality (the direct execution), but about its own decision process (the 
simulation). Another reason to expect false negatives. This makes his 
decider very uninteresting. Who wants to know whether a decider decides 
that its own process is correct? This is trivially correct. Just like 
the sentence "This sentence is true.": it might be true, but it is not 
informative.