==First model of computation?== 
 I believe that the lambda calculus is the first formal model of computation (Turing's 1936 paper cites Church and notes that the lambda calculus provides an equivalent model of computability).  Surely this deserves a mention?