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 Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1 Date: Wed, 23 Apr 2025 07:35:27 -0400 Organization: i2pn2 (i2pn.org) Message-ID: References: <3ade9e84224ba9b99c7363e0e9b69181804b7daa@i2pn2.org> <7d3fb4c3b3ef4773a1e411e3f44d9251581ac403@i2pn2.org> <17c9dadf8034677b8b8285d334456fad3c7816b8@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 23 Apr 2025 11:36:26 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1534108"; 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: On 4/22/25 11:35 PM, olcott wrote: > On 4/22/2025 5:58 PM, Richard Damon wrote: >> On 4/22/25 10:07 AM, olcott wrote: >>> On 4/22/2025 7:40 AM, joes wrote: >>>> Am Mon, 14 Apr 2025 18:50:52 -0500 schrieb olcott: >>>>> On 4/14/2025 4:32 AM, joes wrote: >>>>>> Am Sun, 13 Apr 2025 14:54:35 -0500 schrieb olcott: >>>>>>> On 4/13/2025 9:46 AM, joes wrote: >>>>>>>> Am Thu, 03 Apr 2025 16:57:43 -0500 schrieb olcott: >>>>>>>>> On 4/3/2025 1:32 AM, Mikko wrote: >>>>>>>>>> On 2025-04-03 02:08:22 +0000, olcott said: >>>>>>>>>>>>>>> It is a truism that a correct x86 emulator would emulate >>>>>>>>>>>>>>> itself emulating DDD whenever DDD calls this emulator with >>>>>>>>>>>>>>> itself. >>>>>>>>>> Which does not agree or disagree with my comment nor say anything >>>>>>>>>> about it, >>>>>>>>>> and it doesn't clarify any aspect of your statement that i >>>>>>>>>> commented. >>>>>>>>>> If there is any indirect connection to anything relevant that >>>>>>>>>> connection is not presented, leaving your response unconnected >>>>>>>>>> and >>>>>>>>>> therefore irrelevant. >>>>>>>>>> So you did not reply to the immediated context. >>>>>>>>> THE FACT THAT DDD EMULATED BY HHH DOES NOT HALT IS NOT RELEVANT >>>>>>>>> TO A >>>>>>>>> CORRECT DECISION BY A HALT DECIDER? >>>>>>>> Yes. >>>>>> To clarify: that *HHH* does not simulate DDD halting has no >>>>>> bearing on >>>>>> its direct execution. >>>>> THE DIRECT EXECUTION IS NOT WHAT IT SEES THUS FORBIDDING IT FROM >>>>> REPORTING ON THE DIRECT EXECUTION. >>>> It sure ought to see the same thing the directly executing processor >>>> does. >>>> >>> >>> HHH cannot possibly see what HHH1. >>> >> >> But it isn't a matter of what HHH "sees", it is what the correct >> answer is. >> > > It never has been about a correct answer. I guess that shows us what you think about logic and rules. > It has always been about what finite string > transformations can be applied to finite > string inputs to derive corresponding outputs. > If one of them is a correct answer great. > So, TRUTH doesn't matter to you, by your own admission. So, you ADMIT that you HHH isn't a CORRECT Halt decide, just somethint that claims to be it. And thus a program sum that returns 10 for sum(2, 3) can still claim to be a summing program it is did some sort of manipulations to get the result You just admitted that you are nothing but the worlds biggest liar, and proud of it. > > >> If HHH can't figure that out, it just makes HHH wrong. >> >> You don't seem to understand that simple fact of truth. > >