結果 : what makes a problem decidable