Date: Oct 5, 2017 12:20 AM
Subject: Re: Real number construction, Eudoxus version!

Den onsdag 4 oktober 2017 kl. 21:14:10 UTC+2 skrev Markus Klyver:
> Den måndag 2 oktober 2017 kl. 17:04:03 UTC+2 skrev Zelos Malum:
> > Hey John, entertain us by seeing how you butcher this!
> >

> This is a very interesting constriction and particularly that it constructs the reals from integers and not rationals.

My favourite part of it is that that it is "almost" (get it!?) purely algebraic without analysis!