Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: DDD emulated by HHH --- (does not refer to prior posts)
Date: Tue, 27 Aug 2024 07:44:31 -0500
Organization: A noiseless patient Spider
Lines: 55
Message-ID: <vakhnf$302rl$2@dont-email.me>
References: <vajdta$2qe9s$1@dont-email.me> <vak3a0$2teq9$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 27 Aug 2024 14:44:31 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4e49f1fc8d79a2451e9ca324c6492361";
	logging-data="3148661"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19m6Jr6xnGGLOaW025MVDuX"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:NF8D3IG7jYFLCx3mnnk3VnTMg1A=
Content-Language: en-US
In-Reply-To: <vak3a0$2teq9$1@dont-email.me>
Bytes: 2965

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

> 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.


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer