Re: Why do people here insist on denying these verified facts?

Liste des GroupesRevenir à theory 
Sujet : Re: Why do people here insist on denying these verified facts?
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 27. Jun 2024, 09:06:34
Autres entêtes
Organisation : -
Message-ID : <v5j31q$2khqo$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Unison/2.2
On 2024-06-26 12:45:56 +0000, olcott said:

On 6/26/2024 2:46 AM, Mikko wrote:
On 2024-06-25 21:24:34 +0000, olcott said:
 
On 6/25/2024 3:41 PM, joes wrote:
Am Sat, 22 Jun 2024 11:18:07 -0500 schrieb olcott:
On 6/22/2024 11:03 AM, joes wrote:
Am Sat, 22 Jun 2024 10:16:18 -0500 schrieb olcott:
On 6/22/2024 9:42 AM, Richard Damon wrote:
On 6/22/24 10:31 AM, olcott wrote:
 
The input to HHH0(DDD) includes itself.
The input to HHH1(DDD) DOES NOT include itself.
Yes, both include HHH0. The second case is boring.
Suppose DDD1 only called HHH1. How would HHH1 simulate it?
 
The fact that DDD calls HHH0(DDD) and does not call HHH1(DDD) changes
the behavior of DDD correctly emulated by HHH0 relative to DDD correctly
emulated by HHH1.
DDD does not change behaviour depending on its simulator, that is an
error on the part of the simulator.
 
 No dumbo that is not it.
The input that calls its own simulator defines different
behavior than when it is simulated by a different simulator.
 The only correct interpretation of the input is the interpretation
specified by the problem statement.
 In other words you believe that the you have the power to
overrule the semantics of the x86 language.
That is just your lie. The supreme authority on a problem is the problem
statement.
--
Mikko

Date Sujet#  Auteur
10 Nov 24 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal