>＞ どの道、証明可能・不可能の判定には適さない。
>人間はアルゴリズムがない場合（たいていはそうだ）どうやって問題を解いていると
>思う｡

では、ヒューリスティックな方法で、例えば、リーマン予想が証明可能か不可能かを
判定してみて下さい。
実例の一つでもなければ、ヒューリスティックな方法を
証明論に適用できるとはいえない。