Mathematical intuitionism/Talk

This new article by Alexey Dejneka is much better than the nonsense that was here before. Perhaps it would be good to add some examples of intuitionistic theorems, to show how different they are from classical theorems. Unfortunately, I don't know enough about intuitionism to do this myself. I remember reading somewhere that Brouwer proved that every real-valued function defined on the whole of [0,1] is uniformly continuous. If this is correct, it would make a nice example. --Zundark, 2001 Sep 22