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.
Individu
1 articles liés à cet acteur
L’intelligence artificielle est une technologie liée à de nombreux domaines dont l’informatique, les mathématiques, l...
