Physics-maths vs CompSci-maths

There is an overlap, but

• Physics-maths: linear algebra, analysis, differential equations, probability and measure theory, statistical mechanics, ...
• CompSci-maths: logics (classical and non-classical), discrete maths, graph theory, category theory, type theory, computability and complexity theory, ...

(A good example of the difference of the two cultures is that "complexity" means sth different in Physics-maths and in CompSci-maths.)

Physiscs-maths is much more important and successful in SocSci than CompSci-maths. But CompSci-maths has developed an important body of methods and results over the last 60 or so years.

Of course, this Physics-maths vs CompSci-maths dichotomy is too simple ... (for example statistical methods play an important role in machine learning) ... but it could be broadly useful at least for the time being ... I would like too discuss this in more detail ... and what the term formal methods means in SocSci and in CompSci ...