On 6/19/07, Ed Murphy <[EMAIL PROTECTED]> wrote:
Never mind all the rules that carry out mathematics without using
"number", in which case R1023(a) may not apply anyway. I suggest
amending it to "All mathematics is restricted to real numbers
unless explicitly specified otherwise".
You mean `
Ed Murphy wrote:
>Rule 2136 (Contests) does not explicitly specify that scores are
>real, not to mention whatever future rules might be adopted.
Score is the "number of points possessed". To me this is inherently
a real number. If we defined points to be quanta then score would
be inherently int
Zefram wrote:
Amend rule 1023 by deleting the item
(a) The term "number" shall mean "real number".
[Each instance of "number" in the ruleset either is discussing a value
that is inherently a natural number or is explicitly qualified as
"rational" or some other subset of the real numbers.
proto-proposal: renumeration
AI: 2
{{{
Amend rule 1023 by deleting the item
(a) The term "number" shall mean "real number".
[Each instance of "number" in the ruleset either is discussing a value
that is inherently a natural number or is explicitly qualified as
"rational" or some other sub
4 matches
Mail list logo
