Yes, proofs don't have to be constructive. Consider proofs by contradiction, you could potentially show that if such an algorithm does not exist some important

Yes, proofs don't have to be constructive. Consider proofs by contradiction, you could potentially show that if such an algorithm does not exist some important true statement would be rendered false.