4 ms·
I'd have thought group theory would be a required math course. This would also come up in Comp.Sci. complexity contexts and even in Calculus or mathematical log
by YZF 2y ago
I'd have thought group theory would be a required math course. This would also come up in Comp.Sci. complexity contexts and even in Calculus or mathematical logic contexts (I'm sure in many others I'm missing). Way back when this was a required first year course in the Comp.Sci./Math program I took.
- deleted 2y ago[deleted]
- nitwit005 2y agoI suspect you are forgetting the possibility they just didn't cover that particular proof.
- deleted 2y ago[deleted]
- jrochkind1 2y agoI also would have thought that it would be covered in a CS curriculum, as I said. it'snot just some random proof, but an important foundational one. (I don't think I "forgot a possibilty", I just thought it usually would). You are saying you took classes that covered logic, number theory, group theory, algorithmic complexity, discrete math, and calculus, and you are certain none of them covered this? Too bad, that is unfortunate! I'm glad you found it on your own! it's really neat!
- YZF 2y agoYeah. It's pretty foundational. e.g. https://en.wikipedia.org/wiki/Aleph_number https://en.wikipedia.org/wiki/Aleph_number I guess it's possible to teach it without going through the proof.