Category:Computability Theory

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