Category:Effectively Computable Functions

From ProofWiki
Jump to navigation Jump to search

This category contains results about Effectively Computable Functions.
Definitions specific to this category can be found in Definitions/Effectively Computable Functions.

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.

This category currently contains no pages or media.