33
/fr/
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
August 1, 2025
3299592
294696
2
Public Timelines
Public TimelinesFAQ
Public TimelinesFAQ
For educational institutions For teachers For students Cabinet
For educational institutions For teachers For students Open cabinet
Créer
Create a timeline
Public timelines
Library
FAQ

1 janv. 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

Ajouté au bande de temps:

Timeline- History of Computer Science

ByAiden Green
8 sept. 2019
0
0
249

Date:

1 janv. 1936
Maintenaint
~ Il y a 89 ans
About & FeedbackUn accordConfidentialitéBibliothèqueFAQ
Support 24/7  
CabinetGet premium
Donate
The service accepts bank transfer (ACH, Wire) or cards (Visa, MasterCard, etc). Processed by Stripe.
Secured with SSL