Email Record: Metamathematics, machines, and Gödel's proof /