1 gen 1936 anni - Alonzo Chruch Introduces Lambda Calculus

Descrizione:

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

Aggiunto al nastro di tempo:

Data: