Обеспечивается ли Provable == Decidable?

В теории вычислений взаимозаменяемы термины Доказуемость и Разрешимость? Означают ли они одно и то же?

Например, вы часто видите вопрос о доказуемости чего-либо, называемый проблемой принятия решения (Das Entscheidungsproblem).