I just now posted a brief note in which I said that Cantor's 1874 proof that the reals in an interval are uncountable is constructive. It isn't; but it can easily be made constructive---as Stuart noted, there is a constructive proof in Bishop's book. Bill