[FOM] Intermediate value theorem (and ASD)]]

Monroe Eskew meskew at math.uci.edu
Sun May 24 20:45:48 EDT 2009

On Sun, May 24, 2009 at 1:19 PM, Arnon Avron <aa at tau.ac.il> wrote:
> Now the set of points of the
> Euclidean Plane is absolutely (and constructively!)
> uncountable. No ifs, no buts

By what argument?  What's problematic about real numbers that's not
also problematic about an uncountable space?


More information about the FOM mailing list