Computability

Home > Philosophy > Logic > Recursion Theory > Computability

The study of which functions can be computed using some algorithm or mechanical process.