[0 - 0] = 1 is not a legal formula because it contains no variables. The ruleset explicitly states that the axioms page lists Formula. But we also said to add it to the list. Per “Invalid values for game variables can never be used” I’d argue that fact it simply shouldn’t be added to the axiom list because its an invalid value. Are we just going to look the other way on this or is there some good argument for why they should stay in the list?
I agree that Variables are different than game variables. But i think the entries in the wiki list are game variables, and as such adding invalid values (i.e. non formulae) to them shouldn’t be possible and thus the list should only contain x = x.
Actually, [0 - 0] = 1 is a valid formula per rule 2.3:
“The symbols “1†and “0†are Formulae that are True and False, respectively. The Connective “=†has its typical meaning of equality, where the Formulae on either side of it have the same value of True or False.”
The proposal “Fixes” changes the wording to what Sphinx quoted, thereby permitting [0 - 0] = 1 to be a Truth, but at the time that [0 - 0] = 1 was purportedly added to the list of Truths, the wording was what Ienpw III quoted, meaning, if I’m not mistaken, that the attempt to add [0 - 0] = 1 to the Truth list failed,
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.
redtara: they/them
I agree with your conclusion.
“A Variable is a single lowercase letter.”
“A Formula (plural Formulae) is either a single Variable or a sequence of Variables”
That contains no variables and is therefore not a formula.
However, I should note that I do disagree with your argument, as I think a “Variable” (as defined by the dynastic rules) is not the same thing as a “game variable”.