FOM: Cantor'sTheorem & Paradoxes & Continuum Hypothesis

Neil Tennant neilt at
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

Neil Tennant

More information about the FOM mailing list