Re: Proof of Completeness of Algebraic Properties of Relational Lattice
From: Neo <neo55592_at_hotmail.com>
Date: 22 May 2006 14:06:06 -0700
Message-ID: <1148331966.569109.243450_at_j33g2000cwa.googlegroups.com>
Date: 22 May 2006 14:06:06 -0700
Message-ID: <1148331966.569109.243450_at_j33g2000cwa.googlegroups.com>
> ... A single flaw is enough to invalidate a proof.
Ok, so first what is "Completeness"? (or is this self-defined by the system showing that it is complete. Is there a reference to judge by, that is not within the system itself?) Received on Mon May 22 2006 - 23:06:06 CEST