“We may compare a man in the process of computing a real number to a machine which is only capable of a finite number of conditions…” – Alan Turing

It is difficult to tell the history of AI without first describing the formalization of computation and what it means for something to compute. The primary impetus towards formalization came down to a question posed by the mathematician David Hilbert in 1928.