This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Ticket 392: Exact positive and non-negative integer predicates

2012-08-26 23:14:49
WG1 - Core
alexshinn
major
cowan
wontfix
source
closed
2012-05-15 23:34:50
defect

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.

statusnewdecided

WG1 voted to reject this proposal.

resolutionwontfix
statusdecidedclosed