3 ms·
How do you know there isn't another, yet undiscovered, bug?
by jsprogrammer 12y ago
How do you know there isn't another, yet undiscovered, bug?
- seanmcdirmid 12y agoYou don't, but so what? Even proofs done well by hand can have obscure mistakes; most of the time they don't invalidate the proof. Take a proof as strong evidence of correctness and it all works out from a epistemological point of view.