1 Jan 1936 Jahr - Alonzo Chruch Introduces Lambda Calculus

Beschreibung:

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

Zugefügt zum Band der Zeit:

Datum: