[sourceless]

Teaching maths without "Maths Language" is like teaching programming without a Programming Language.

[revskill]

You don't need to understand "Theorem" to know how to use the theory.

You can replace any of Math definition with code.

Is this the point of "for programmers" ?

[JadeNB]

> You can replace any of Math definition with code.

You often (but not always!) can replace a math definition with code—but either your code is sufficiently precise that it's just another way of phrasing the definition, or you're in the analogous situation to using a language defined by its implementation instead of a specification. And there's plenty of useful space for such languages—but they aren't formally specified languages. Math that isn't formally specified isn't math, in any sense that a mathematician would recognize—which is not to say that it can't be useful.