Most mathematicians should feel free to help themselves to classical rules as they see fit but analysts should be forced to do only intuitionistic analysis for a few decades as penance.

Comments