Date: Oct 6, 2017 6:25 AM
Author: Markus Klyver
Subject: Re: Real number construction, Eudoxus version!

Den torsdag 5 oktober 2017 kl. 06:20:21 UTC+2 skrev Zelos Malum:
> 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!
> > > https://arxiv.org/pdf/math/0405454.pdf

> >
> > 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!


Considering Gabriel has done "group theory to a very high level" [from one of his YouTube videos]... Lol.