4 ms·

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

• revskill 3y ago
  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 3y ago
    > 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.