I think Proof vs non-proof is part of it, but it’s mostly related to level of abstraction.
You can do proofs for calculus, probability, or logic and still feel like you’re working with the types of problems you do in type A math.
But once you start doing proofs in modern algebra or topology you’re doing things with abstract objects that seem to exist for the amusement of mathematicians that look down on “applied math”
You can do proofs for calculus, probability, or logic and still feel like you’re working with the types of problems you do in type A math.
But once you start doing proofs in modern algebra or topology you’re doing things with abstract objects that seem to exist for the amusement of mathematicians that look down on “applied math”