Paul
Posts:
729
Registered:
7/12/10


Foundations of real numbers
Posted:
Oct 10, 2012 1:30 PM


It seems ridiculous to me to define the real numbers by using the leastupperbound property as an axiom, although this seems to be the most common way. The definition of the reals should formalise the way we approximate pi by a decimal expansion: 3, 3.1, 3.14 etc.
So the Cauchy sequence definition is much better, and I like the Dedekind cuts definition too. I don't at all understand how it makes sense to regard the leastupperbound property of the reals as an axiom. The leastupperbound property should be regarded as a theorem, not an axiom.
Why did the leastupperboundpropertyasanaxiom approach become so prevalent? If you define real numbers that way, the correspondence between our intuitive sense of real numbers and the formalisation is so much less clear than with either Dedekind cuts or Cauchy sequences.
Paul Epstein

