This question is bothering me since I started using Stack Exchange. I just want to share examples of people that made me surprised.
- How to prove that CRC - Cyclic Redundancy Checksum - with an initial value of zero is linear?
- Could this be a secure multiparty secret sharing scheme?
- Can there be identical elliptic curve groups of points from different irreducible polynomials in binary extension fields?
I am talking about the users who are doing the math in answers. It is not joke math, it is serious math that is too tough for me to understand.
I am undergraduate student who is graduated from college. But we never had to do such theoretical questions in college. It was mostly numbers based instead of formulas based. And we didn't learn to do such proofs even though we did study theory of computation. We didn't have to prove a lot of dangerous looking things in that subject as well. Instead it was included for few marks and we were supposed to write the gist of that (rather than proving them).
We did discrete mathematics as well and we never had to study about such stuff. It was about graph theory and stuff, and our exams never tested us on deriving something, nor did the teacher's slides focus on it.
But this is really making me hurt that I don't know what almost everyone knows in CS.
Almost all posts of Yuval Filmus in cs.stackexchange.com surprises me. He has an unimaginable amount of knowledge and can prove anything and everything. How can one become near to that level of rigour? Honestly, this surprises me thus I am asking. I studied computer engineering in college which is a mixture of CS and electronics/communication engineering.