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: HHH(DDD)==0
Date: Wed, 9 Oct 2024 07:46:46 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <454b4d6b3a6f67de5f3946aafc0199a55d240a2a@i2pn2.org>
References: <vdgpbs$2nmcm$1@dont-email.me> <ve1r9p$1t0bn$1@dont-email.me>
 <ade7b09486ca9de753a35f88aa4540c0233df3dd@i2pn2.org>
 <ve2038$1tdjm$1@dont-email.me>
 <56b830364cf651238ea19749c6dda753427cf8fb@i2pn2.org>
 <ve21rv$1tm6t$1@dont-email.me>
 <4ead3c7dcd0cb13a6c655716f106bb836aa4bc47@i2pn2.org>
 <ve39fd$26g97$1@dont-email.me>
 <030f6c2bf84dc1776787d597adcf5c2015cc861d@i2pn2.org>
 <ve3e3r$26g97$4@dont-email.me>
 <8c474bc7aee03e8eedb712f48c4b39c1c9e88a7b@i2pn2.org>
 <ve3gb8$27ad7$1@dont-email.me>
 <243d02f2d3397e7f681ebdad2e9b7d8a346bb75c@i2pn2.org>
 <ve405a$29pn2$1@dont-email.me>
 <a8e26927fd1751a23d0e4fc4e68a912628bd63da@i2pn2.org>
 <ve473a$2afp6$1@dont-email.me>
 <37c291e02299479ab8b55256f3744fe0ba48f6db@i2pn2.org>
 <ve4e64$2bp17$1@dont-email.me>
 <c5fc13c930680ba5f64f34e9a1c918c8c40e3530@i2pn2.org>
 <ve4q83$2ckv6$2@dont-email.me>
 <53d3ed2cfd983f3b895f6509020bcbe98e86d3e6@i2pn2.org>
 <ve4ubu$2h81c$1@dont-email.me> <ve5kmb$2k3oc$1@dont-email.me>
 <ve5o3j$2khlq$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 9 Oct 2024 11:46:46 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1248584"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <ve5o3j$2khlq$2@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 5685
Lines: 115

On 10/9/24 7:06 AM, olcott wrote:
> On 10/9/2024 5:08 AM, Mikko wrote:
>> On 2024-10-09 03:47:10 +0000, olcott said:
>>
>>> On 10/8/2024 7:49 AM, Andy Walker wrote:
>>>  > Richard -- no-one sane carries on an extended discussion with
>>>  > someone they [claim to] consider a "stupid liar".  So which are you?
>>>  > Not sane?  Or stupid enough to try to score points off someone who is
>>>  > incapable of conceding them?  Or lying when you describe Peter?  You
>>>  > must surely have better things to do.  Meanwhile, you surely noticed
>>>  > that Peter is running rings around you.
>>>
>>> I am incapable of conceding this self-evident truth:
>>>
>>>    DDD emulated by each corresponding HHH that can possibly
>>>    exist never returns
>>
>> That is not self-evident or even meaningful without a definition of
>> "each corresponding HHH".
>>
> An HHH/DDD pair such that DDD calls its own emulator.

Thus additting that each of those DDD are different, and that HHH must 
look at the exact DDD that calls it, which means that the HHH(DDD) that 
it sees being called will do what it does.

> 
> 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.

Or a false pattern that you have put into the list.

> 
> HHH recognizes this pattern when HHH emulates itself emulating DDD
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }

Which is the false pattern.

Since it was specified that this HHH is the same HHH as is currently 
running, and eventually we will see that this HHH(DDD) will return 0, we 
know as a proven fact that that HHH(DDD) will do also, and thus it is 
just a LIE that this patterns shows non-terminating behavior.

> 
> One cannot simply ignore the actual behavior specified by the
> finite string x86 machine language of DDD such that

Right, and that is that HHH(DDD) returns 0, and thus this string must 
represent a halting decider.

That you try to make this HHH(DDD) refer to some other program just 
shows that you are nothing but a liar.

> 
> DDD emulated by each corresponding HHH that can possibly
> exist never returns

Execpt that it does, proving you are just an idiotic liar.

You just confuse the actual DDD with the "fantasy" of the partial 
emulation of DDD by HHH, that you do because you dopn't understand what 
either Truth or Knowledge actually are and just muddle them to try to 
justify your lies.

> 
> thus each of the directly executed HHH emulators that does
> return 0 correctly reports the above non-terminating behavior.

Which is a lie, since we showed that the above was NOT non-terminationg 
behavior, but the product of a liar that doesn't know what he is talking 
about.

> 
> https://github.com/plolcott/x86utm x86utm operating system
> 
> Every executed HHH that returns 0 correctly reports that
> DDD emulated by its corresponding HHH never returns.
> 
> 

You are just showing 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 IT IS OK