Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Anyone that disagrees with this is not telling the truth V4
Date: Tue, 20 Aug 2024 12:07:30 +0300
Organization: -
Lines: 60
Message-ID: <va1mci$3aucm$2@dont-email.me>
References: <v9q52r$1tedb$1@dont-email.me> <v9sci9$2b063$1@dont-email.me> <v9sp71$2c67u$11@dont-email.me> <v9usb0$2pmb8$1@dont-email.me> <v9vckj$2rjt1$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 20 Aug 2024 11:07:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c68d48608550e7e7fabcc3f8200ba7d3";
	logging-data="3504534"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+RmsptcNXW4vWxjNRu0V5G"
User-Agent: Unison/2.2
Cancel-Lock: sha1:lCkkA5KAe3zvfIz5/VmvUP3aMe4=
Bytes: 2708

On 2024-08-19 12:08:51 +0000, olcott said:

> On 8/19/2024 2:30 AM, Mikko wrote:
>> On 2024-08-18 12:25:05 +0000, olcott said:
>> 
> 
> *Everything that is not expressly stated below is*
> *specified as unspecified*
> 
> 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]
> 
> *It is a basic fact that DDD emulated by HHH according to*
> *the semantics of the x86 language cannot possibly stop*
> *running unless aborted* (out of memory error excluded)
> 
> X = DDD emulated by HHH∞ according to the semantics of the x86 language
> Y = HHH∞ never aborts its emulation of DDD
> Z = DDD never stops running
> 
> My claim boils down to this: (X ∧ Y) ↔ Z
> 
> void EEE()
> {
>    HERE: goto HERE;
> }
> 
> HHHn predicts the behavior of DDD the same
> way that HHHn predicts the behavior of EEE.
> 
>>> 
>>> That HHH <is> and x86 emulator <is> sufficient to
>>> determine exactly what the behavior of DDD emulated by HHH
>>> according to the semantics of the x86 language would be.
>> 
>> The last "would be" means that the clause is conterfactual.
>> But why would anybody care about the conterfactual behaviour?
>> 
> 
> It is not counter-factual.

Then it is incorrect. The meaning of the word "would" is that
the containing clause is counter-factual.

-- 
Mikko