証明可能・不可能の判定は、決定問題と呼ばれているが、
現実的に、ヒューリスティックな方法を決定問題に適用することは不可能。
現実的に不可能ということは、事実として不可能ということである。