The application of mathematics is a practical matter; I am not entirely sure what "high philosophy" is, but mathematics is also a conceptual, abstract discipline which can be investigated with no concern whatsoever for practical applications.
The reliance of analysis on Cauchy sequences is not "philosophical gook". zemaj may be naïve in her conclusions (or at least unaware of just how much mathematics one must give up when one takes a constructivist view), but she is hardly alone in her hesitancy about infinity. I wouldn't be sure what to make of the claim that Brouwer, Markov or Martin-Löf didn't know mathematics.
The reliance of analysis on Cauchy sequences is not "philosophical gook". zemaj may be naïve in her conclusions (or at least unaware of just how much mathematics one must give up when one takes a constructivist view), but she is hardly alone in her hesitancy about infinity. I wouldn't be sure what to make of the claim that Brouwer, Markov or Martin-Löf didn't know mathematics.