Definition:Effectively Computable Function

Definition

Let $f$ be a function.

$f$ is an effectively computable function if and only if, given the arguments of $f$, there exists an algorithm that determines its value.

Examples

Effectively Computable Function/Examples

Also known as

An effectively computable function is also known just as a computable function.

Also see

• Church's Thesis

• Results about effectively computable functions 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