Provable == Dicidable？

Question

計算理論では、証明された決定可能な交換可能な用語はありますか？彼らは同じことを意味しますか？

たとえば、あなたはしばしば、何かが意思決定の問題と呼ばれる証明されたものであるかどうか（Das Entscheidungsproblem）かどうかをよく見ることができます。

Answer 1

これらは異なります。実際、彼らは完全に異なる領域を指します。

決定可能な手段は、「受け入れる」または「拒否」を出すチューリングマシンによるすべての可能な入力について決定の問題を解決できることを意味します。

証明可能な手段は、数学的な声明が数学的証明によって証明できることを意味します。

実際、これらの属性はまったく異なるものを指しているため、「決定可能」と「証明可能」を比較することはできません。