Pošljite SMS: Recursion theory for metamathematics