#foundational mathematics

[m---a---x]

Inspired by all the newly created communities i have also created one about the topic closest to my heart: Foundational Mathematics

It is inteded for all types of posts about and from people of all kinds of backgrounds interested in the topic.

Please share with anyone you think might be interested. If you want to be added comment on this post, so I can add you.

[humormehorny]

Why don’t they teach mathematical logic earlier? It’s present in literally all the books you have to read anyway. Some algebra author is going to be like for vs real numbers a,b ≠ 0 there exists a ratio a/b that is also a real number. And most people can’t even read that. Like half of the book is completely inaccessible because logic is fucking wild and requires actual practice with.

I’m not saying that this stuff is incredibly hard; it’s not. However logic just isn’t taught even though it is clearly foundational.

Sets especially seem to trigger me. Like I think a lot of people struggle with trig specifically because this aspect of functions is just not taught well. Like of course the arcsin(x) isn’t defined for -pi/2 > x < pi/2. It would be so much better if we actually taught this stuff.