FOM: Cantor'sTheorem & Paradoxes & Continuum Hypothesis

Neil Tennant neilt at mercutio.cohums.ohio-state.edu
Sat Feb 10 19:21:09 EST 2001


> Isn't it fair to say that that proof of
> Cantor's Theorem is a capital example of
> the sort of purely logical, nonconstructive
> proof which motivated Brouwer's churlish
> observations about the logical?

No, it would be quite unfair. The proof of Cantor's Theorem is
constructive.

Neil Tennant





More information about the FOM mailing list