\begin{definition}[Definition:Computability Theory]
'''Computability theory''' is a branch of mathematical logic which concerns itself with the algorithmic implementation of mathematical proofs.
\end{definition}