While I appreciate very much the technical contributions of intuitionists, such as logics without excluded middle, and computational interpretations of inferenc

While I appreciate very much the technical contributions of intuitionists, such as logics without excluded middle, and computational interpretations of inference rules, I just can't bring myself to accept the idea that the truth of mathematical statements is conditional on our ability to validate them using our intuition. To me, intuition is a crutch that I use to overcome my inability to accurately perform long calculations. But the ultimate arbiter of truth is the collection of rules of the formal system in question.