6 ms·
Proofs are a means to understanding a topic, not an end in itself. In CS there is often a tendency to do trivial proofs in painstaking detail, because there's a
by jules 12y ago
Proofs are a means to understanding a topic, not an end in itself. In CS there is often a tendency to do trivial proofs in painstaking detail, because there's a feeling that you need a certain amount of math to be taken seriously. The purpose of a proof is to convey understanding. In most cases an intuitive explanation with pictures & text is much more efficient at that than a formal proof.