>it includes lots of numbers that are extremely difficult to describe
We'd have to describe them in order to set a rule's power to that.
>arguably, weirdo numbers like... the surreal numbers
Arguably. Besides, this proposal isn't going to automatically add 3i
to every rule's power; there's still
On Jul 22, 2013, at 1:51 AM, James Beirne wrote:
> Proposal: Π & Co.:
>
> Remove the word "rational" from rule 1688.
Why would we want to do that? The set of all non-negative numbers is pretty
nebulous; it includes lots of numbers that are extremely difficult to describe,
or not possible to def
2 matches
Mail list logo
