The Definition of Real Numbers -- Max Lipyanskiy, September 18, 2001

<p>

The main goal of the lecture is to sketch two constructions of the reals - 
one by R. Dedekind, the other by G. Cantor. In both cases the fundamental 
least upper bound characteristic of the reals will be stressed. Some 
comments regarding the equivalence of the two constructions will be 
addressed. The speaker will conclude with a non-standard proof of the 
uncountability of reals.