Computability
Home
>
Philosophy
>
Logic
>
Recursion Theory
>
Computability
The study of which functions can be computed using some algorithm or mechanical process.