Saturday, June 29, 2013

We’re a simple group, we are

Enacts at 7-0. -RaichuKFM

Adminned at 30 Jun 2013 19:06:39 UTC

Axioms:

* For all Atoms X and Y, X * Y is an Atom.
* E is an Atom. For all Atoms X, E * X = X and X * E = X.
* For all Atoms X, [X’ is an Atom, and X * X’ = E and X’ * X = E].

In other words, the Atoms form a group. Of course, these Axioms don’t tell us *which* group we form. If “The Game is nevertheless afoot” passes, we could add an axiom saying that the identity element, E, has achieved victory. Then we could allow Atoms to add axioms describing this group (with restrictions, of course); if you manage to make it so that you must be the identity element, then you win,

Comments

RaichuKFM:

06-29-2013 15:55:34 UTC

for

Skju:

06-29-2013 19:41:48 UTC

for

quirck:

06-29-2013 20:05:51 UTC

for

Larrytheturtle:

06-29-2013 23:41:29 UTC

for

Wakukee:

06-30-2013 02:57:15 UTC

for

nqeron:

06-30-2013 12:30:40 UTC

I’m a bit confused, but this sounds like fun.

for