|
|
|
|
|
by Swizec
3264 days ago
|
|
That's super impressive, but there's a niggle. From his site: > Did you grade the work yourself? Yes. From my experience of doing CS in college, I think that's a problem. The difference between what I believe and think I can prove to be correct, and what the professor says is correct, can be painfully stark sometimes. Especially where it comes to more advanced topics where it's easy to make your explanation of a concept sound correct, but contain crucial mistakes that invalidate your answer. Mistakes that only somebody with more intimate knowledge than yourself can spot. We're talking fundamentals like writing out a proof that some algorithm is O(n^3) and classmates agreeing the proof does look correct, then the professor looking at it, saying "LoL, no. Watch this" and proving that it's O(n). |
|
I also think while it might be a bit of an issue for undergrad, by grad school at latest for math at least you should be able to tell the difference between a correct proof and incorrect proof most of the time. Usually I'd expect it after your first/second proof heavy math class (analysis/algebra/etc). Usually when I take math tests I can tell pretty precisely what grade I'll get as I know when I'm writing a proper proof or if I'm just writing for the sake of having some progress. Admittingly, my math interests are biased towards proofs/logic and I've spent time writing proofs in coq.