Le portail de l'intelligence artificielle et des startups IA

Recherche, écosystème, éthique de l'intelligence artificielle et évolution de la société

Alonzo Church

Alonzo Church est un mathématicien américain (1903-1995). Il a étudié à Princeton où il deviendra professeur après avoir voyagé à l’Université Harvard, à l’Université de Göttinger et à l’université d’Amsterdam après son doctorat. Il quittera Princeton en 1967 pour rejoindre l’Université de Californie (UCLA).

Il a travaillé sur la calculabilité et la logique. Ses travaux les plus connus concernent le développement du lambda-calcul et la ‘thèse de Church’ ou ‘thèse Church-Turing’. Il a été le professeur de nombreux logiciens dont Alan Turing. Il a influencé les langages de programmation fonctionnelle.

Articles citant les travaux de Alonzo Church dans le domaine de l'intelligence artificielle.


Voir également :
Université de Californie , Université Harvard , Université de Princeton