Metamathematics, Machines And Godel's Proof door Natarajan Shankar