Turing's Cathedral: The Origins of the Digital Universe (Penguin Press Science)

by George Dyson

From this he drew the conclusion, with implications perhaps not yet fully appreciated, that “one sense of Gödel’s theorem is that some properties of these games can be ascertained only by playing them.”