title: Does Provable == Decidable?
body: <p>In computation theory are the terms Provable and Decidable interchangable?  Do they mean the same thing?</p>
  
  <p>For example you often see the question whether something is provable referred to as a decision problem (Das Entscheidungsproblem).</p>