Text this: Metamathematics, machines, and Godel's proof /