Path: ...!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: DDD emulated by HHH --- (does not refer to prior posts)
Date: Wed, 28 Aug 2024 11:09:46 +0200
Organization: A noiseless patient Spider
Lines: 59
Message-ID: <vampgq$3dl83$3@dont-email.me>
References: <vajdta$2qe9s$1@dont-email.me> <vak3a0$2teq9$1@dont-email.me>
 <vakhnf$302rl$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 28 Aug 2024 11:09:47 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="75b5fa56e09d4c6f30bc1773af702cac";
	logging-data="3593475"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/tZaZhtB5hglD3m6LKWEWL"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:tUneq+pZdVOqZJOYiAIWG/gwlyI=
Content-Language: en-GB
In-Reply-To: <vakhnf$302rl$2@dont-email.me>
Bytes: 3260

Op 27.aug.2024 om 14:44 schreef olcott:
> On 8/27/2024 3:38 AM, Fred. Zwarts wrote:
>> Op 27.aug.2024 om 04:33 schreef olcott:
>>> This is intended to be a stand-alone post that does not
>>> reference anything else mentioned in any other posts.
>>>
>>> void DDD()
>>> {
>>>    HHH(DDD);
>>>    return;
>>> }
>>>
>>> _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)
>>> [0000217f] 83c404     add esp,+04
>>> [00002182] 5d         pop ebp
>>> [00002183] c3         ret
>>> Size in bytes:(0018) [00002183]
>>>
>>> When we assume that:
>>> (a) HHH is an x86 emulator that is in the same memory space as DDD.
>>> (b) HHH emulates DDD according to the semantics of the x86 language.
>>>
>>> then we can see that DDD emulated by HHH cannot possibly get past
>>> its own machine address 0000217a.
>>>
>>
>>
>> Yes, we see. In fact DDD is not needed at all.
> 
> A straw man fallacy (sometimes written as strawman) is the informal 
> fallacy of refuting an argument different from the one actually under 
> discussion...
> https://en.wikipedia.org/wiki/Straw_man

Apparently you do not even understand the English that is used to 
describe the straw man fallacy.
Or are trying to distract the attention from the fact that DDD is not 
needed is a simple truism, a tautology in your terms?

> 
>> In the following program
>>
>>         int main() {
>>           return HHH(main);
>>         }
>>
>> HHH cannot possibly simulate itself up to the end of itself. Still HHH 
>> halts, which proves that there is an end. The only conclusion is, that 
>> the simulation is incomplete and therefore incorrect.
>> Further it is incorrect to think that the fact that the simulation 
>> halts too soon is an indication for non-halting behaviour. The 
>> analysis of that 'special condition' is the real problem, not the 
>> partial incorrect simulation.
> 
>