1 янв 1936 г. - Alonzo Chruch Introduces Lambda Calculus

Описание:

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

Добавлено на ленту времени:

Дата: