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

by George Dyson

Leibniz believed, following Hobbes and in advance of Hilbert, that a consistent system of logic, language, and mathematics could be formalized by means of an alphabet of unambiguous symbols manipulated according to mechanical rules.