Follow

So, mathematics becomes interesting when you read a sentence written by someone else who speaks that language and you are surprised by something it entails in the specific cases to which you are applying these universal truths. Each statement spoken in this language can be trusted to be true, because logic. You can apply the language to any problem you encounter, so long as you can properly encode the problem in that language. Learn once, apply anywhere.

@chexxor The other hotness is Type Theory and HOTT in particular.

chexxor@chexxor@functional.cafeHowever, there is also the pitfall - the power can only be wielded on problems which can be described in the language of that mathematical field. Here is where it's useful to have and understand multiple fields of mathematics - if you can't easily describe your problem in the language of one field, perhaps there is another field which has a language in which it is easier to describe your problem.