“Michael J. Beeson, "The Mechanization of Mathematics," in Alan Turing: Life and Legacy of a Great Thinker (2004)”

Source: Wikiquote