News for hackers. Stuff that matters.
Re:“It turns out” by roundsquare on Thursday March 04, 2010 @02:53AM (#1166415)
otherwise nobody would have tried to prove them in the first place.

Not really. Sometimes someone sees a bunch of examples and wonders if there is a generalization/theorem. So they set out to prove it and 3 pages of symbol manipulation later you have a proof.

There are no comments on this comment yet.