Friday, June 21, 2013

Proposal: Properties and Principles

Passes 4-0. — Quirck

Adminned at 23 Jun 2013 13:00:26 UTC

Append to the rule “Atomic Logic”:

If P is the name of a GNDT column and E is a value, then the formula Has(A,P,E) is True if Atom A has a value E for P, and is False otherwise.
The formula Exists(P,E) is True if any Atom has a value of E for P, and is False otherwise.
In Formulae {A@} represents the set of all Atoms.

 

expanding to introduce basic interactions with GNDT and general state. Also, making sure that a set of Atoms is accessible. (With set theory this can be used to represent subsets of atoms!)

Comments

Tavros:

06-21-2013 18:10:46 UTC

imperial The idea seems pretty good, though currently, the axioms don’t contain any set theory, so the only thing we can do with {A@} is construct the Formula “X is an element of {A@}”, which is equivalent to “X is an Atom”.

nqeron:

06-21-2013 21:22:37 UTC

yet… . Trust me - set theory will likely be introduced.

Skju:

06-22-2013 03:27:39 UTC

for I think that “set” is taken to mean what it conventionally does.

RaichuKFM:

06-22-2013 04:01:40 UTC

for