I really don't think that intuitionism has that much to do with practical application—rather, it's a view about what it means for something to be "true" in the

I really don't think that intuitionism has that much to do with practical application—rather, it's a view about what it means for something to be "true" in the first place. That is to say, whether an intuitionist accepts a piece of mathematics is not contingent on if it has any practical applications. I suppose one could argue that something proven in an intuitionistic manner would have a higher probability of being practically useful (since it could e.g. be extracted into an algorithm), but IMO any such correlation is pretty weak.