Comment Re:Utility (Score 1) 622
That isn't necessarily true, either. Although we all prefer proofs by construction where the proof essentially builds an algorithm and proves it to work as expected, many proofs are not at all constructive. If the first line of the proof is Assume P != NP, then there's not a very good chance we can glean an algorithm for it.
