Deutsch   English   Français   Italiano  
<c68a472aca1b9dc6350da8514d0ff29ddfda6008@i2pn2.org>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD
Date: Tue, 8 Oct 2024 10:13:42 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <c68a472aca1b9dc6350da8514d0ff29ddfda6008@i2pn2.org>
References: <ve1gbe$1r7s8$1@dont-email.me> <ve3dbs$274jb$1@dont-email.me>
 <ve3e25$26g97$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 8 Oct 2024 14:13:42 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1114622"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <ve3e25$26g97$3@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3169
Lines: 71

On 10/8/24 10:02 AM, olcott wrote:
> On 10/8/2024 8:50 AM, Mikko wrote:
>> On 2024-10-07 20:29:33 +0000, olcott said:
>>
>>> *Simulating Termination Analyzer HHH(DDD) rejects input DDD*
>>> HHH is an emulating termination analyzer that takes the machine
>>> address of DDD as input then emulates the x86 machine language
>>> of DDD until a non-terminating behavior pattern is recognized.
>>>
>>> *HHH recognizes this pattern when HHH emulates itself emulating DDD*
>>>
>>> void DDD()
>>> {
>>>    HHH(DDD);
>>>    return;
>>> }
>>
>> The above code shows that if HHH(DDD) rejects then DDD halts, which
>> means that no program that rejects DDD is a halting decider.
>>
> 
> DDD emulated by each corresponding HHH that can possibly
> exist never returns
> 
> thus each of the directly executed  HHH emulators that does
> return 0 correctly reports the above non-terminating behavior.
> 
> 

No, the program DDD (which is what the subject of the sentence refers 
to) returns since the HHH(DDD) that it calls returns (since you claim 
that HHH is correct in doing so)

The emulation of it by HHH just doesn't reach that point, because it is 
only partial.

You confound the truth of the program with the fantasy of the emulation, 
because you don't understand the different between truth and knowledge, 
and thus you don't have either.

Thus, the HHH are incorrect and it shows that


PPPP   EEEEE  TTTTT  EEEEE  RRRR
P   P  E        T    E      R   R
P   P  E        T    E      R   R
PPPP   EEEEE    T    EEEEE  RRRR
P      E        T    E      R R
P      E        T    E      R  R
P      EEEEE    T    EEEEE  R   R


  OOO   L       CCC    OOO   TTTTT  TTTTT
O   O  L      C   C  O   O    T      T
O   O  L      C      O   O    T      T
O   O  L      C      O   O    T      T
O   O  L      C      O   O    T      T
O   O  L      C   C  O   O    T      T
  OOO   LLLLL   CCC    OOO     T      T


L     IIIII  EEEEE   SSS
L       I    E      S   S
L       I    E      S
L       I    EEEEE   SSS
L       I    E          S
L       I    E      S   S
LLLLL IIIII  EEEEE   SSS


AND THINKS THAT IS JUST OK.