jan 1, 1936 - Alonzo Chruch Introduces Lambda Calculus

Description:

1) His lambda calculus has highly regarded as the formal language for the classification of what a calculable function is.

2) Chruch's work highly influenced the the development and general research of many computing languages

3) Church was a mentor to Alan Turing, and they worked together researching the mathematical problem "Entscheidungsproblem", proving that there is no general solution

Added to timeline:

Date: