Saturday, June 15, 2013

Invalid formula

[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?

posted by Clucky at 15 Jun 2013 00:04:20 UTC Comments (6)

Comments

redtara: they/them

15-06-2013 03:35:29 UTC

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”.

Clucky: he/him

15-06-2013 04:35:53 UTC

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.

redtara: they/them

15-06-2013 04:57:02 UTC

Yeah, I’d agree with that.

Sphinx:

15-06-2013 11:44:22 UTC

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.”

redtara: they/them

15-06-2013 15:38:36 UTC

Oh, right.

Tavros:

15-06-2013 15:43:40 UTC

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,