What is Effective method?
In [[mathematics]], [[logic]], and related disciplines, an '''effective method''' or '''effective procedure''' is a way of solving a problem. It is defined as follws: * It has a [[Finite set|finite]] number of exact instructions * When its used for a problem of its given class: ** It will finish after a finite number of steps ** It will always produce the correct result * It can be also be done by a human, with a piece of paper, and a writing aid (like a pencil) * Anyone following the steps, will be successful. Sometimes, people ask that the method odes not return a result, if it is aplied ot a problem which is not of its class. In the case of [[computer science]], an effective method is called [[algorithm]]. == Related pages == * [[Halting problem]] * [[Decidability theory]] [[Category:Mathematics]]