Αποστολή με SMS: Metamathematics, machines, and Godel's proof /