Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Incorrect requirements --- Computing the mapping from the input
 to HHH(DD)
Date: Fri, 9 May 2025 23:12:42 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <bf5c22eacf2617714289873ef70f39fb5c98917a@i2pn2.org>
References: <vv97ft$3fg66$1@dont-email.me> <vvh0t2$1b939$1@dont-email.me>
 <vvhap5$1hp80$1@dont-email.me> <vvhf20$1ihs9$1@dont-email.me>
 <vvhfnd$1hvei$3@dont-email.me> <vvil99$1ugd5$1@dont-email.me>
 <vvinvp$1vglb$1@dont-email.me> <vviv75$222r6$1@dont-email.me>
 <vvj1fp$22a62$1@dont-email.me> <vvj2j6$23gk7$1@dont-email.me>
 <as9TP.251456$lZjd.93653@fx05.ams4> <87msbmeo3b.fsf@nosuchdomain.example.com>
 <vvjcge$27753$2@dont-email.me> <87a57mek8r.fsf@nosuchdomain.example.com>
 <vvjgh7$28g5i$4@dont-email.me> <87seled0zy.fsf@nosuchdomain.example.com>
 <vvjobj$28g5i$11@dont-email.me> <87zffmbeyt.fsf@nosuchdomain.example.com>
 <vvm1ih$33907$1@dont-email.me> <vvm6ku$34h6f$2@dont-email.me>
 <vvm7tl$34mm4$2@dont-email.me> <vvm9bv$34h6f$3@dont-email.me>
 <vvma5d$34vcu$2@dont-email.me> <vvmabo$34h6g$3@dont-email.me>
 <vvmb9d$35ds5$2@dont-email.me> <vvmcsj$34h6g$4@dont-email.me>
 <vvmd54$39lof$2@dont-email.me>
 <55e8616cd348689d709970345f2f012d41a9396c@i2pn2.org>
 <vvmeoi$3a34p$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 10 May 2025 03:22:24 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3887009"; 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: <vvmeoi$3a34p$4@dont-email.me>

On 5/9/25 10:47 PM, olcott wrote:
> On 5/9/2025 9:39 PM, Richard Damon wrote:
>> On 5/9/25 10:20 PM, olcott wrote:
>>> On 5/9/2025 9:15 PM, Richard Heathfield wrote:
>>>> On 10/05/2025 02:48, olcott wrote:
>>>>> On 5/9/2025 8:32 PM, Richard Heathfield wrote:
>>>>>> On 10/05/2025 02:29, olcott wrote:
>>>>>>> On 5/9/2025 8:15 PM, Richard Heathfield wrote:
>>>>>>>> On 10/05/2025 01:51, olcott wrote:
>>>>>>>>> On 5/9/2025 7:29 PM, Richard Heathfield wrote:
>>>>>>>>>> On 10/05/2025 00:02, olcott wrote:
>>>>>>>>>>> Correctly emulating one or more instructions <is>
>>>>>>>>>>> the correct emulation of 1 or more instructions
>>>>>>>>>>> of DD. This is a truism.
>>>>>>>>>>
>>>>>>>>>> No, it's not. Correct emulation would entail accurately 
>>>>>>>>>> simulating the whole of DDD's behaviour.
>>>>>>>>>
>>>>>>>>> It is stupidly wrong to require the complete
>>>>>>>>> emulation of a non-terminating input.
>>>>>>>>
>>>>>>>> It is touchingly naive to think you can persuade people to 
>>>>>>>> accept incomplete emulation as 'correct'.
>>>>>>>>
>>>>>>>
>>>>>>> If one instruction is emulated correctly
>>>>>>> then is is dishonest to say that zero
>>>>>>> instructions were emulated correctly.
>>>>>>
>>>>>> Which instruction do you think is emulated correctly?
>>>>
>>>>> _DDD()
>>>>> [00002172] 55         push ebp      ; housekeeping
>>>>> [00002173] 8bec       mov ebp,esp   ; housekeeping
>>>>> [00002175] 6872210000 push 00002172 ; push DDD
>>>>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
>>>>
>>>>
>>>> Assumes facts not in evidence. Your HHH function is in a translation 
>>>> unit that contains a syntax error.
>>>>
>>>
>>> It is a truism that when DDD is emulated by HHH
>>> according to the rules of the x86 language that
>>> the first four instructions of DDD would be emulated
>>> and then HHH would also be required to emulate
>>> itself emulating DDD.
>>>
>>
>> Nope, because by your definitions HHH can not correctly emulate that 
>> DDD, as it doesn't include the code for the HHH that it calls, 
> 
> DDD are HHH are on the same memory space I told you this 50 times
> DDD are HHH are on the same memory space I told you this 50 times
> DDD are HHH are on the same memory space I told you this 50 times
> DDD are HHH are on the same memory space I told you this 50 times
> DDD are HHH are on the same memory space I told you this 50 times
> 

But that doesn't mean that HHH is allowed to access it.

I guess you are just admitting that you are just a stupid liar that 
doesn't know the meaning of the words he uses.

If HHH needs to be a pure function, it can't access what isn't in the 
input, and thus you are lying that it can.

If HHH doesn't need to be a pure function, I have given you a version of 
it that does what you says it can't, showing you are wrong.

Either way, you have admitted that you are just a stupid liar.