Opened 5 years ago
Closed 5 years ago
#392 closed defect (wontfix)
Exact positive and non-negative integer predicates
Reported by: | cowan | Owned by: | alexshinn |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | WG1 - Core | Keywords: | |
Cc: |
Description
There are two useful subsets of the exact numbers, both of which are commonly called natural numbers, depending on who's talking. Logicians, set theorists, and computer scientists include 0, other mathematicians mostly don't. This proposal adds the predicates exact-positive-integer? and exact-non-negative-integer?, analogous to exact-integer?. Because of the ambiguity, the name natural-number? is not proposed. Note that while exact-non-negative-integer? is a long name, call-with-current-continuation is even longer.
Change History (2)
comment:1 Changed 5 years ago by cowan
- Status changed from new to decided
comment:2 Changed 5 years ago by cowan
- Resolution set to wontfix
- Status changed from decided to closed
Note: See
TracTickets for help on using
tickets.
WG1 voted to reject this proposal.