Envoyer par SMS: Recursion theory for metamathematics