News for hackers. Stuff that matters.
Re:Math Foundations from Scratch by ABeeSea on Tuesday October 19, 2021 @05:59PM (#28924322)
How do you even do serious linear algebra or probability without set theory?
Re:Math Foundations from Scratch by orbifold on Wednesday October 20, 2021 @07:37AM (#28929474)
I have a PhD in physics and studied graduate level mathematics. Naive set theory is sufficient for basically everything except a few instances, where you have to bite the bullet and invoke the axiom of choice. But this happens rarely and typically is only relevant for instances where there are more constructive but less general approaches.

For the most part sets are used as a notational device, you almost never use any axioms about sets explicitly. If you asked most professional mathematicians to give you the ZFC axioms (or whatever) they would need to look them up.