I have recently had a conversation with a person who considered intuitionism to be a valid alternative for the "usual" kind of mathematics. Clearly, intuitionism differs from the type of mathematical thinking that I (and probably most of us) are used to, at the very fundamental point of rejecting the axiom of choice.
What puzzles me, is how essential this difference is. I don't quite know the right language, so let me try and explain by example. Consider the Axiom of Choice (C): It is known that C is independent of the Zermelo-Fraenkel axioms, in the sense that if ZF is consistent, then also C is consistent. It follows that if something is true in ZFC, then it may not be provable in ZF, but surely it is not false. Even more, if I somehow knew that a statement cannot possibly depend on C (say, it is very "finite" in nature), then one might as well try and prove it in ZFC rather than ZF (or in ZF + $\neg$ C, for that matter), and the net result would be the same. I would like to know if something similar holds for relation between intuitionistic thinking and the ordinary mathematical thinking. In particular: could it possibly be the case that the typical logic is inconsistent, while the intuitionistic one is sound? Is there a way to somehow "model" the ordinary mathematics within intuitionistic mathematics?
(It is not the main part of the question, and it's terribly open-ended, but if it is the case that intuitionism could be "valid" is some essential case, while the ordinary mathematics could be invalid, I welcome comments on how seriously people take this possibility. I am asking because I always assumed that intuitionists were essentially a fringe group among the mathematicians, and apparently I was not quite correct.)
There are many flavor of intuitionism, and the answer is more complex than it seems. In the context of the natural numbers, intuitionism and classical mathematics have a lot in common. It is only when other infinite sets such as the real numbers are considered that intuitionism starts to differ more dramatically from classical mathematics, and from most other forms of constructivism as well. But basically, there are intuitionistic results that cannot be proved in standard logic and there are standard logic results that are not accepted by intuitionists. This a quick and short answer, an expert on the subject will probably give you a more detailed answer soon. Meanwhile, you can find a nice article here. Wikipedia gives a fine review too.