Recursive function theory

Home > Philosophy > Logic > Recursion Theory > Recursive function theory

Also called computable function theory, this is the branch of recursion theory which explores the properties and behavior of computable functions, and provides a framework for their study.