←back to thread

669 points sonabinu | 1 comments | | HN request time: 0.219s | source
Show context
sureglymop ◴[] No.42203121[source]
I think for most people the issue is that they never even get to the fun stuff. I remember not really liking math right until university where we had set theory in the first semester, defined the number sets from scratch went on to monoids, groups, rings etc. That "starting from scratch" and defining everything was extremely satisfying!
replies(5): >>42203172 #>>42203330 #>>42203662 #>>42204872 #>>42205203 #
1. e79 ◴[] No.42204872[source]
If you’re interested in computer science, have you ever looked at the Software Foundations course by UPenn? It follows a similar approach of having you build all sorts of fascinating math principles and constructions from the ground up. But then it keeps going, all the way up to formal methods of software analysis and verification.

https://softwarefoundations.cis.upenn.edu/