Saturday, June 15, 2013

Proposal: 26 is too limiting

Fails 2-3 with one unresolved DEF. — Quirck

Adminned at 17 Jun 2013 10:21:56 UTC

In the rule ‘Formulae’ after

A Variable is a single lowercase letter


or sequence of lowercase letters surrounded by a pair of parenthesis ( “(” and “)”)”

also append the following to the the first paragraph of ‘Formulae’

Connectives may not contain parenthesis or brackets.


Unless we’re expecting a variable to only exist within the scope of a formula, its too limiting. If we want to start defining global values we need a way to have more legal variables.



06-15-2013 18:05:05 UTC

Maybe we can make all single-letter variables only local and global variables like you said? Or, global variables are created by simply using caps? (“THIS” would be a global variable). Just tossing in some ideas, because I think it might make more complicated proofs quite hard to read if you have [] brackets and () brackets meaning different things. I don’t know, but I would like a different sign than brackets, maybe * or # or something…

Ienpw III:

06-15-2013 18:12:27 UTC



06-15-2013 20:50:17 UTC

I don’t like parenthesis for variable names..
Should the letters be English? Can I use ф, or even き?


06-15-2013 22:04:22 UTC

ф is indeed a letter, but き is not,

for , though I think the parentheses seem unnecessary,


06-16-2013 01:42:09 UTC

against I don’t really like parenthesis for variable names either. Maybe italicized/underlined (if we could do that), but I think parenthesis and brackets are useful and necessary for other things that might make this rule confusing.


06-16-2013 03:44:09 UTC

I would prefer the addition of Greek letters.


06-16-2013 06:09:31 UTC



06-16-2013 17:49:55 UTC