The strong connection between the formalization of
mathematical logic and the formalization of computer
programming languages was clearly recognized by Alan
Turing as early as 1947, when, in a talk on 20 February
to the London Mathematical Society, he reported his
expectation
   'that digital computing machines will eventually
   stimulate a considerable interest in symbolic logic
   and mathematical philosophy. The language in which
   one communicates with these machines, i.e. the language
   of instruction tables, forms a sort of symbolic logic'.