Proof comes only if the heuristic is tried and found to be helpful in producing the desired, or valid, result. The same holds for turning the heuristic into an algorithm. Neither of these steps into new knowledge can be proved in advance; all are validated—or not—through the passage of time.
