Computability vs Decidability - What's the difference?
computability | decidability |
(computing theory) The property of being computable by purely mechanical means.
(logic, computer science) the state or condition of being decidable.
