Passes 4-0. — Quirck
Adminned at 16 Jun 2013 19:43:46 UTC
Add the following Axioms:
* [0 && 0] = 0
* [0 && 1] = 0
* [1 && 0] = 0
* [1 && 1] = 1
* [0 || 0] = 0
* [0 || 1] = 1
* [1 || 0] = 1
* [1 || 1] = 1
* [0 -> 0] = 1
* [0 -> 1] = 1
* [1 -> 0] = 0
* [1 -> 1] = 1
* [~ 0] = 1
* [~ 1] = 0
If quantifiers are added, perhaps we can add axioms describing them,
“Any Atom can add an item to either list by submitting an entry in the “Proof†category that states the Formula to be added, which section to add it to <...>”
Does it mean that these axioms should already be listed on the Truths page? The addition of the axioms doesn’t require the Proof to pass.. And enacting the Proof does not imply any actions other than reporting the final tally of votes…
I think the intent of the rule is clear, and I’m fine with interpreting it as intended,
I wish there were a more compact way to write this, but I guess there isn’t?
Actually…
~ p = p - p
p & q = [p - p] - [q - q]
p || q = ~ [p - q]
p -> q = [~ p] || q
And we sure should patch that Proof thing.
BlogNomic is an online Nomic: a self-modifying game where changing the rules is part of the game. Players make blog posts proposing additions or alterations to the ruleset, discussing and casting votes in the comments: if enough vote in favour, the rules are changed and play continues.
The game has been running since 2003 and resets every month or so. Have a look around the wiki for more information and history. New players are always welcome and can join in the game at any time.
BlogNomic is powered by pMachine ExpressionEngine.
Sphinx:
I don’t know, I personally would prefer !x as NOT, but else this seems good to me.