Date: Oct 4, 2017 2:40 PM
Author: bursejan@gmail.com
Subject: Re: Real number construction, Eudoxus version!

Concerning the M√ľnchhausen trilemma, the Eudoxus
Real Numbers have the nice appeal, that they even
do without rational numbers,

their bootstrapping is:

reals
/ \
integer functions (Eudoxus)

From the papar:

"However, unlike the Dedekind construction,
the construction proceeds directly from the
integers to the real numbers bypassing the
intermediate construction of the
rational numbers."

Am Montag, 2. Oktober 2017 17:04:03 UTC+2 schrieb Zelos Malum:
> Hey John, entertain us by seeing how you butcher this!
> https://arxiv.org/pdf/math/0405454.pdf