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>

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

This message: [ Message body ]
Next message: dawn: "Re: Ping: dawn, some mvl questions"
Previous message: Bob Badour: "Re: Ping: dawn, some mvl questions"
Maybe in reply to: Marshall: "Proof of Completeness of Algebraic Properties of Relational Lattice"
In reply to Neo: "Re: Proof of Completeness of Algebraic Properties of Relational Lattice"
Next in thread: Marshall: "Re: Proof of Completeness of Algebraic Properties of Relational Lattice"
Reply: Marshall: "Re: Proof of Completeness of Algebraic Properties of Relational Lattice"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]

Original text of this message