Definition:Computability Theory

Definition
Computability theory is a branch of mathematical logic which concerns itself with the algorithmic implementation of mathematical proofs.