News for hackers. Stuff that matters.

A comment on Nearly all binary search and merge sort implementations are broken (2006). Parent comment

Re:Nearly all binary search and merge sort implementations a... by gradstudent on Tuesday January 31, 2012 @05:24AM (#3532632)
If you make a mistake in checking the proof, the the proof is incorrect. The problem is with your application of the mathematics, not the applicability of mathematics itself to the problem of showing the truth of things.
[ Parent | on HN ]

There are no comments on this comment yet.