Αποστολή με SMS: Recursion theory for metamathematics