Definition:Effective Procedure

Definition

An effective procedure is an algorithm for determining whether or not a given object has a given property.

Examples

Addition

Determining whether or not a number $c$ is the sum of numbers $a$ and $b$ is solvable using an effective procedure.

Axiom of Predicate Logic

Determining whether or not a WFF of predicate logic is an axiom is solvable using an effective procedure.

Proof in Predicate Logic

Determining whether or not a sequence of WFFs of predicate logic is a proof is solvable using an effective procedure.

Also see

• Church's Thesis

• Results about effective procedures can be found here.

Sources

• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): effective procedure
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): effective procedure