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:


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

WG1 voted to reject this proposal.

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.