3 ms·

This makes me think of the Donald Knuth quote, "Beware of bugs in the above code; I have only proved it correct, not tried it." More info here: https://en.wiki

This makes me think of the Donald Knuth quote, "Beware of bugs in the above code; I have only proved it correct, not tried it." More info here: https://en.wikiquote.org/wiki/Donald_Knuth https://en.wikiquote.org/wiki/Donald_Knuth

AstralStorm 8y ago
Which is why we now have automated theorem provers that can refine proofs into programs.