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

by George Dyson

His PhD thesis, completed in May of 1938 and published as “Systems of Logic Based on Ordinals” in 1939, attempted to transcend Gödelian incompleteness by means of a succession of formal systems, incrementally more complete.