Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory,sci.logic Subject: Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike Date: Fri, 11 Jul 2025 09:42:13 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <2e5f87309ef3aca64233dcf0af44cf70fcf8132a@i2pn2.org> References: <101nq32$99vd$1@dont-email.me> <1ca786773f9ff02718c66e082bbc4182b36732ab@i2pn2.org> <104fduv$2n8gq$2@dont-email.me> <104ftep$rafj$1@dont-email.me> <104h475$324da$1@dont-email.me> <104hmkm$35gkb$2@dont-email.me> <104i0ar$36mma$1@dont-email.me> <775a1f21c8d308989a8ef2a0afaae66c1609912b@i2pn2.org> <104jc8l$3jrpl$9@dont-email.me> <104jpu7$3np76$1@dont-email.me> <104jsnj$3o6as$1@dont-email.me> <6e8be9ed51dfe82150849a119c5f6433bf7e2082@i2pn2.org> <104lscc$7l4q$11@dont-email.me> <104n9p9$lg9t$1@dont-email.me> <104oetg$sdlv$1@dont-email.me> <104plop$14f98$1@dont-email.me> <6c4ff091a855ee2dc1b75cfa089fd7d2574707ca@i2pn2.org> <104pt50$17cjo$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 11 Jul 2025 13:42:30 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="145270"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird X-Spam-Checker-Version: SpamAssassin 4.0.0 Content-Language: en-US In-Reply-To: <104pt50$17cjo$1@dont-email.me> On 7/10/25 10:33 PM, olcott wrote: > On 7/10/2025 9:10 PM, Richard Damon wrote: >> On 7/10/25 8:27 PM, olcott wrote: >>> On 7/10/2025 7:04 PM, Richard Damon wrote: >>>> On 7/10/25 9:24 AM, olcott wrote: >>>>> On 7/10/2025 6:35 AM, Richard Damon wrote: >>>>>> On 7/9/25 10:50 PM, olcott wrote: >>>>>>> On 7/9/2025 8:49 PM, Richard Damon wrote: >>>>>>>> On 7/9/25 9:55 AM, olcott wrote: >>>>>>>>> On 7/9/2025 6:44 AM, Richard Damon wrote: >>>>>>>>>> On 7/8/25 3:49 PM, olcott wrote: >>>>>>>>>>> On 7/8/2025 2:01 PM, Mike Terry wrote: >>>>>>>>>>>> >>>>>>>>>>>> This is one of PO's practiced tactics - he makes a claim, >>>>>>>>>>>> and regardless of how patently false that claim appears, he >>>>>>>>>>>> refuses to logically defend the claim beyond saying "the >>>>>>>>>>>> claim is true, and if you understood xxx you would realise >>>>>>>>>>>> it is true". >>>>>>>>>>>> >>>>>>>>>>> >>>>>>>>>>> All of my claims are easily verified facts to those >>>>>>>>>>> with the capacity to verify them. >>>>>>>>>>> >>>>>>>>>>> void DDD() >>>>>>>>>>> { >>>>>>>>>>>    HHH(DDD); >>>>>>>>>>>    return; >>>>>>>>>>> } >>>>>>>>>>> >>>>>>>>>>> _DDD() >>>>>>>>>>> [00002192] 55             push ebp >>>>>>>>>>> [00002193] 8bec           mov ebp,esp >>>>>>>>>>> [00002195] 6892210000     push 00002192  // push DDD >>>>>>>>>>> [0000219a] e833f4ffff     call 000015d2  // call HHH >>>>>>>>>>> [0000219f] 83c404         add esp,+04 >>>>>>>>>>> [000021a2] 5d             pop ebp >>>>>>>>>>> [000021a3] c3             ret >>>>>>>>>>> Size in bytes:(0018) [000021a3] >>>>>>>>>> >>>>>>>>>> Not a program, must include the code for HHH to be simulatable. >>>>>>>>>> >>>>>>>>> >>>>>>>>> You must have dementia. >>>>>>>>> I have told you that HHH does emulate DDD >>>>>>>>> then it emulates itself emulating DDD 500 times now. >>>>>>>>> >>>>>>>> >>>>>>>> And thus you admit that you are lying. >>>>>>>> >>>>>>> >>>>>>> *Here is the proof* >>>>>>> https://liarparadox.org/HHH(DDD)_Full_Trace.pdf >>>>>>> >>>>>>> >>>>>> >>>>>> SO, you admit that HHH fails to emulate JUST the input, >>>>> >>>>> *I have told you that HHH does emulate DDD* >>>>> *then it emulates itself emulating DDD 500 times now* >>>> >>>> And the question is HOW can it? >>>> >>>> You claim it isn't part of the input, and thus it isn't AVAILABLE >>>> for HHH to emualate. >>>> >>>> You don't seem to understand that HHH isn't ALLOWED to look at >>>> memory that isn't part of its input, without MAKING that memory part >>>> of its input. >>>> >>>>> >>>>> *NOW I PROVED THAT* >>>>> *See if you can remember this by your next reply* >>>>> >>>> >>>> No, you are just proving that you don't understand how programs and >>>> input are defined, and thus make yourself into a liar. >>>> >>> >>> *I just proved the fact that* >>> (1) HHH(DDD) is executed >>> (2) HHH emulates DDD >>> (3) emulated DDD calls an emulated HHH(DDD) >>> (4) emulated HHH emulates another instance of DDD >>> (5) this DDD calls HHH(DDD) again >>> https://liarparadox.org/HHH(DDD)_Full_Trace.pdf >>> >>> Its OK if you are no good with the x86 language >>> and can't understand the code. I began programming >>> way back when x86 programming was popular. >>> >>> Alternatively the details of how multi-tasking >>> works are too difficult for you. They are probably >>> too difficult for most programmers. >>> >> >> And thus you have proven my point that either you definition of what >> the input is, or what HHH does is just a lie. >> >> But, it seems you are too stupid to understand that problem. >> >> Your claims are: >> >> 1) The input contains only the code shown, and thus does not contain >> the code of HHH. >> >> 2) That HHH is simulating the input given to it, and thus JUST that >> input. >> >> 3) That HHH simulates the code of HHH. >> > > The test program HHH is not the program under test DDD. > The program under test and the test program will never > stop running unless HHH aborts its DDD. > But the rogram under test INCLUDED the code for HHH, which is what it uses when it calls it. THus, HHH is also part of the program under test. The fact that you mind can't understand this reuse concept shows you ignorance of the topic. In fact, the "Program" DDD isn't a program until the code of HHH is included in it. It seems you just don't know what a Program is. Since you are trying to define things per the C language, you may want to look to see how it defines a "Program". Note that every symbol referenced in a program must be DEFINED. Functions are defined by including the code for them into the program. Thus, the PROGRAM of DDD, must include the code of HHH as part of it. And since you are putting it into the same memory space as your decider, there also can not be any other definitions of HHH around, so your input DDD limits you to having just ONE SPECIFIED HHH, the one included in its code. I guess you are to stupid to see how thing makes your arguement just a big fat lie.