Metamathematics, Machines And Godel's Proof by Natarajan Shankar