3 ms·
An algorithm could certainly be correct (in the sense of always giving the correct result) without being proven to do so (or even without any such proof existin
by Chinjut 9y ago
An algorithm could certainly be correct (in the sense of always giving the correct result) without being proven to do so (or even without any such proof existing, in some particular formal system). You are not wrong about that.