A very simplified version:
Formalism: math is basically just a series of rules to manipulate symbols in ways that might be useful
Logicism: math is justified from the truth of reality and can show the reality of the universe
Intuitionism: math only makes sense when it can directly construct something. In an oversimplified way, saying that something doesn’t not exist is not enough to say that it does exist
A great one sentence explanation is that mathematicians treat math as formalism (i.e. rules to manipulate symbols) but believe math as logicism (math is the basis of logic and a way to deal with reality)
Latest Answers