3 ms·
Money quote: "When you write an algorithm, you need to have a proof that it's correct. An algorithm without a proof is conjecture, not a theorem."
by SkyMarshal 4y ago
Money quote: "When you write an algorithm, you need to have a proof that it's correct. An algorithm without a proof is conjecture, not a theorem."