Text this: Recursion theory for metamathematics