"Fifty years ago Kurt Gödel... proved that the world of pure mathematics is inexhaustible. … I hope that the notion of a final statement of the laws of physics will prove as illusory as the notion of a formal decision process for all mathematics. If it should turn out that the whole of physical reality can be described by a finite set of equations, I would be disappointed, I would feel that the Creator had been uncharacteristically lacking in imagination."