Recursion theory for metamathematics | lit.salon