[FOM] typo, choice, and more reals

Peter G. Hancock hancock at spamcop.net
Sat Jul 19 05:23:27 EDT 2003

Andreas wrote:

    > Some years ago Steve Schanuel told me about the following construction of
    > the reals, which looks (to me) a lot less geometric than the familiar
    > ones.  Schanuel calls this construction the Eudoxus reals.

See also:

   Ross Street, "An efficient construction of the real numbers"
   Gazette Australian Mathematical Society, 12, 1985, pp 57-58

There's a posting by Street to a category-theory mailing list about
the provenance of this idea here:


(He also credits Schanuel, among others.)

Peter Hancock

More information about the FOM mailing list