sometimes called effectively calculable.

Definition

Formally, a method is called effective to a specific class of problems when it satisfies the following criteria:

* It consists of a finite number of exact, finite instructions.
* When it is applied to a problem from its class:
** It always finishes (terminates) after a finite number of steps.
** It always produces a correct answer.
* In principle, it can be done by

1.Previous
3.Next