Thursday, June 27, 2013

Proposal: The Game is afoot

Times Out and Fails 2-3-1. -RaichuKFM

Adminned at 29 Jun 2013 07:43:07 UTC

Append to “Atomic Logic”:

CDV(A) is a Formula that is True of Atom A can declare victory and False otherwise. If for any atom A, CDV(A) is True, then CDV(B) is False for all atoms B, such that B != A.

Pushing win condition into Formulae. Goal: Prove that you win.

Comments

RaichuKFM: she/her

27-06-2013 14:25:39 UTC

against An Atom can always declare victory, it is achieving it that is the hard bit.

Tavros:

27-06-2013 14:31:21 UTC

for Clear enough, I think,

RaichuKFM: she/her

27-06-2013 14:34:26 UTC

My point is just that it is useless, as every Atom is part of Atom A. It is harmless, though, so imperial

Clucky: he/him

27-06-2013 15:37:18 UTC

doesn’t it create a contradiction with the second sentence though?

Larrytheturtle:

27-06-2013 15:54:28 UTC

imperial

Clucky: he/him

29-06-2013 07:26:11 UTC

against

quirck: he/him

29-06-2013 13:46:22 UTC

against

RaichuKFM: she/her

29-06-2013 14:41:51 UTC

against CoV