|
|
|
|
|
|
by P5fRxh5kUvp2th
1352 days ago
|
|
|
What you're describing is the programming version of approximation. It's understood that it has a margin of error due to the approximation. What you're claiming here is that if you check enough inputs you've proven it correct, and what I'm telling you is that's not the case. The fact is, nothing has been proven, the wording on the webpage itself is more honest (no known bugs and a suite of automated tests). To verify a program is correct is a much stronger claim than what is even on the website. And that requires restricting the input or solving the halting problem. |
|
|