＞ヒューリスティックな方法

Wikipedia によると、
「必ず正しい答えが導けるわけではないが、
　ある程度のレベルで正解に近い解を得ることが出来る方法」
である。

仮に、証明可能か不可能化を判定する
ヒューリスティックな方法が存在したとして、
正解に近い解が出たとする。
では、その解と正解の近さはどのようにして測定するのか？
その測定方法が述べられない限り、
「ヒューリスティック」などというのは無意味である。

第一、証明可能か不可能化の判定に
必ずしも正解の出るとは限らない方法を用いるのは、
論理学的に間違っている。古典論理の立場では、論理式は
証明可能か不可能かのどちらかしかないのだから。
正解に近くて正解でないなどという中途半端な解はありえない。