Godel's proof and the limits of physical knowledge