In mathematics and logic, referring to a problem for which an algorithm can be constructed to provide a yes or no answer for all inputs. The mathematician proved that the equation was decidable, meaning a solution could be algorithmically determined.