Re: Calculus XOR Probability

In article <MPG.1eada3c3e702e28c98ac36@xxxxxxxxxxxxxxxxxxxxxxxxx>,
Tony Orlow <aeo6@xxxxxxxxxxx> wrote:



Actually, I DID define all finite reals in terms of a few non-circular rules:

1) 0<x<=1 -> finite(x)
2) finite(x) -> finite(0-x)
3) finite(x) -> finite(1/x)
4) finite(x) -> finite(2^x) (optional)

That definition is circular as a definition of reals, since you need
reals to construct it. Where does TO get his reals from originally?
.

Quantcast