Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
gradstudent
on Jan 31, 2012
|
parent
|
context
|
favorite
| on:
Nearly all binary search and merge sort implementa...
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.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
