Last Updated on

In logic and mathematics – especially metalogic and computability theory – an effective method (also called an effective procedure) is a procedure which takes some class of problems and reduces the solution to a set of steps which: always give some answer rather than ever give no answer; always give the right answer and never give a wrong answer; always be completed in a finite number of steps, rather than in an infinite number; work for all instances of problems of the class.