FOM: Cantor's theorem of little interest in constructive math

[Matthew Frank]

Cantor's theorem is of little interest in constructive math.

At least, given my norms for constructive math, it ought to be of little
interest.  Set theory (as in the study of cardinals) and constructive math
each have their own appeal, but I find the mixture unappealing.

Here's a familiar, positive, typical example:  Classically, one might
prove the existence of a trascendental by noting that the reals are
uncountable and the algebraic reals are countable.  We don't use the
cardinalities in a constructive proof because it is easy to construct a
transcendental number directly.

--Matt