Turing's Cathedral: The Origins of the Digital Universe

by George Dyson

Turing was able to construct, by a method similar to Gödel’s, functions that could be given a finite description but could not be computed by finite means.