# Effective Computability

• Alonzo Church: `Lambda calculus`. *An unsolvable problem of elementary number theory*. Bulletin the American Mathematical Society, May 1935

• Stephen C. Kleene: `Recursive functions`. *General recursive functions of natural numbers*. Bulletin the American Mathematical Society, July 1935

• Alan M. Turing: `Turing machines`. *On computable numbers, with an application to the Entscheidungsproblem*. Proceedings of the London Mathematical Society, received 25 May 1936

• Emil L. Post: `Finite combinatory processes`. *Finite combinatory processes - Formulation 1*. Bulletin the American Mathematical Society, Nov 1936