[FOM] Eudoxus Real Numbers

Rob Arthan rda at lemma-one.com
Mon Jun 14 11:07:57 EDT 2004

There have been some discussions on FOM from time of what Schanuel calls the 
Eudoxus Real Numbers. I have put a write-up of my take on this construction 
of the real numbers and the generalisation that was discussed on FOM last 
year with as much of the history as I have been able to elicit from Steve 
Schanuel and others in the Mathematics ArXiv at:




More information about the FOM mailing list