Comment strike a balance (Score 1) 469
In some cases, proofs are totally unintuitive and do not provide insight into the result. In others, they are incredibly helpful! I say, let the authors decide.
A computer scientist is someone who fixes things that aren't broken.
