Email Record: Mathematical theory of computation