Date: Oct 6, 2017 7:08 AM
Author: zelos.malum@gmail.com
Subject: Re: Real number construction, Eudoxus version!

Den fredag 6 oktober 2017 kl. 12:25:14 UTC+2 skrev Markus Klyver:
> 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.


Yeah but he hasn't done more than that, if even that.