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