Thing is, it sounds like more than I could take. I mean, formal math, not TypeScript.
For TS I really just need some solid notion about sets, maybe some experience with generics, and patience to deal with how other people annotated their types if I want to use their code. It's not that big of a deal.
Math on the other hand, has lots of stuff formalized. Personally, doesn't feel like I can just jump in into one of those formal systems and thrive. It's way more than sets.
Perhaps the post is not for me. It's for people above me in math skills. In fact, I'm sure of it! But maybe there's some curious people that know TS and could be led to believe formal math is also just annotating types and doing sets, when I know that it's not! Analogies can be tricky sometimes.
alganet•1h ago
For TS I really just need some solid notion about sets, maybe some experience with generics, and patience to deal with how other people annotated their types if I want to use their code. It's not that big of a deal.
Math on the other hand, has lots of stuff formalized. Personally, doesn't feel like I can just jump in into one of those formal systems and thrive. It's way more than sets.
Perhaps the post is not for me. It's for people above me in math skills. In fact, I'm sure of it! But maybe there's some curious people that know TS and could be led to believe formal math is also just annotating types and doing sets, when I know that it's not! Analogies can be tricky sometimes.