Re: more closed-world chatter
From: Marshall <marshall.spight_at_gmail.com>
Date: 8 May 2007 14:26:16 -0700
Message-ID: <1178659576.204434.112830_at_u30g2000hsc.googlegroups.com>
Date: 8 May 2007 14:26:16 -0700
Message-ID: <1178659576.204434.112830_at_u30g2000hsc.googlegroups.com>
On May 8, 11:59 am, Marshall <marshall.spi..._at_gmail.com> wrote:
>
> forall A: forall B: e1(A) = e2(B)
Gack, that's the wrong question. The question is, is it the case that:
forall A: forall B: e1(A, B) = e2(A, B)
which is the two-variable case, but we also need to consider the general case with any number of variables.
So, if two expressions are equivalent as defined above, do they necessarily end up with the same inferred constraints? That's the big question.
Marshall Received on Tue May 08 2007 - 23:26:16 CEST