[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: numbers

The real numbers committee met today (all C of us, but we are not sure
if C=2^Aleph0) in closed session!.  We commend you, David Bartley and
Norm Adams for noticing our grievous errors and we thank you for the
nice suggestions.  We move that suggestions 1-5 be immediately
adopted.  Suggestion 6, concerning the syntax of exact/inexact
numerical constants is still not clear.  What is your favorite
proposal anyway?
-------