Turing's Cathedral: The Origins of the Digital Universe

by George Dyson

David Hilbert, who believed that from a strictly limited set of axioms, all mathematical truths could be reached by a sequence of well-defined logical steps.

so did Turing get his inspiration from Hilbert ?