Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory Subject: Re: Simulating Termination Analyzer HHH correctly rejects input DDD Date: Fri, 11 Oct 2024 09:05:14 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <7ef0599f4dff608ffbb22d834567046a8d90df9f@i2pn2.org> References: <212f549294ebc77a918569aea93bea2a4a20286a@i2pn2.org> <99e47ed4e1f732d090ffc11c42169f4970539e94@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 11 Oct 2024 13:05:14 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1554102"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird Content-Language: en-US In-Reply-To: X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 9095 Lines: 211 On 10/11/24 8:16 AM, olcott wrote: > On 10/11/2024 6:04 AM, Richard Damon wrote: >> On 10/10/24 9:55 PM, olcott wrote: >>> On 10/9/2024 6:48 PM, Richard Damon wrote: >>>> On 10/9/24 2:46 PM, olcott wrote: >>>>> On 10/9/2024 6:46 AM, Richard Damon wrote: >>>>>> On 10/9/24 7:01 AM, olcott wrote: >>>>>>> On 10/9/2024 1:08 AM, Jeff Barnett wrote: >>>>>>>> On 10/8/2024 6:49 AM, Andy Walker wrote: >>>>>>>>> ... after a short break. >>>>>>>>> >>>>>>>>>      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. >>>>>>>>> >>>>>>>>>      Peter -- you surely have better things to do.  No-one >>>>>>>>> sensible >>>>>>>>> is reading the repetitive stuff.  Decades, and myriads of >>>>>>>>> articles, ago >>>>>>>>> people here tried to help you knock your points into shape, but >>>>>>>>> anything >>>>>>>>> sensible is swamped by the insults.  Free advice, worth roughly >>>>>>>>> what you >>>>>>>>> are paying for it:  step back, and summarise [from scratch, not >>>>>>>>> using HHH >>>>>>>>> and DDD (etc) without explanation] (a) what it is you think you >>>>>>>>> are trying >>>>>>>>> to prove and (b) what progress you claim to have made.  No more >>>>>>>>> than one >>>>>>>>> side of paper.  Assume that people who don't actively insult >>>>>>>>> you are, in >>>>>>>>> fact, trying to help. >>>>>>>> >>>>>>>> And this approach has been tried many times. It makes no more >>>>>>>> progress than the ones you are criticizing. Just assume the >>>>>>>> regulars are lonesome, very lonesome and USENET keeps everybody >>>>>>>> off the deserted streets at night. >>>>>>> >>>>>>> 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. >>>>>> >>>>>> But fails, because you provided it with a proven incorrect pattern >>>>>> >>>>>>> >>>>>>> HHH recognizes this pattern when HHH emulates itself emulating DDD >>>>>>> >>>>>>> void DDD() >>>>>>> { >>>>>>>    HHH(DDD); >>>>>>>    return; >>>>>>> } >>>>>>> >>>>>> >>>>>> Which isn't a correct analysis (but of course, that is just what >>>>>> you do) >>>>>> >>>>>> Since we know that HHH(DDD) returns 0, it can not be a non- >>>>>> terminating behaivor, but that claim is just a lie. >>>>>> >>>>>>> One cannot simply ignore the actual behavior specified by the >>>>>>> finite string x86 machine language of DDD such that >>>>>>> >>>>>> >>>>>> Right, one can not ignore the fact that HHH(DDD) is determined to >>>>>> return 0. >>>>>> >>>>>>> DDD emulated by each corresponding HHH that can possibly >>>>>>> exist never returns >>>>>> >>>>>> More lies. It has been determined that EVERY DDD that calls an >>>>>> HHH(DDD) that returns 0 will halt. >>>>>> >>>>>> The DDDs that don't return are the ones that call an HHH that >>>>>> never returns an answer. >>>>>> >>>>> >>>>> *Your weasel words are in incorrect paraphrase of this* >>>> >>>> WHAT PARAPHARSE. >>>> >>>>> >>>>> DDD emulated by each corresponding HHH that can possibly >>>>> exist never returns >>>> >>>> No, that means the behavior of the code of DDD when directly >>>> executed. or youy are lying about working on the Halting Problem. >>>> >>> >>> It seems to me that you just said that: >>> the behavior of DDD emulated by HHH >>> >>> the behavior of DDD emulated by HHH. >>> >> >> No, (the behavior of ddd) [that was] emulated by HHH is a different >> sentence then >> >> the behavior (of DDD) [by] emulation by HHH >> > > That merely seem grammatically incorrect. > In any case I am only taking about the behavior of DDD > emulated by HHH. If you mean about the behavior seen in the emulation of DDD by HHH, that just is an admission that it is *YOU* working on the strawman, as the ONLY correct criteria for Halting/Termination is the behavior of the actual program, or things proven to be identical to it. The fact that DDD when run halts, just shows that is it just a blantant (and stupid) lie to claim the HHH was "correct" to say it doesn't > >>> Instead you seemed to have said that: >>> the behavior of DDD emulated by HHH >>> is the behavior of DDD when directly executed. >> >> (The behavior of DDD) is the behavior of DDD directly executed. >> > > I am only talking about the behavior of DDD emulated by HHH. > That the premise to my deduction. And if by that you mean the behavior of the emulation of DDD by HHH, then you are shown to be LYING about the conclusion, since "Non-Termination" is a property of the program it talking about. > > When you change the premise to my deduction as the basis of > your rebuttal that the strawman error. Right, and since the DEFINITION of the term you are using in the conclusion is based on a DIFFERENT property than your premise, your arguement is shown to be just a strawman with incorrect logic. > > A straw man fallacy (sometimes written as strawman) is the > informal fallacy of refuting an argument different from the > one actually under discussion, while not recognizing or > acknowledging the distinction. > https://en.wikipedia.org/wiki/Straw_man Right, so looking at a partial emulation which doesn't reach the end, can NOT be a stand in for the behavior of the program DDD, since they differ, and thus your use of it is just a strawman, which appears to be a DELIBERATE lie. > >> The emulated by HHH, just specifies WHICH DDD was look at. >> >> The sentence, in the context of Computation Theory and the Halting >> Problem, does not allow the "emulation" to modify behavior (which >> wasn't in your original sentence to begin with) as which behavior is >> defined by the technical definiitions of the field, something you have >> CHOSEN to no learn, thus leading you into self-inflicted stupidity. >> > > No matter what anyone anywhere says > THIS IS A VERIFIED FACT. > > void DDD() ========== REMAINDER OF ARTICLE TRUNCATED ==========