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.
Petite histoire de l’Intelligence Artificielle, Partie 1
L’intelligence artificielle est une technologie liée à de nombreux domaines dont l’informatique, les mathématiques, les sciences cognitives, les statistiques, la psychologie ou encore la...
Voir également :
