human
Veuillez expliquer ce qu'est "Alonzo Church"
gpt
Alonzo Church (14 juin 1903 - 11 août 1995) était un mathématicien américain, informaticien, logicien, philosophe, professeur et éditeur qui a apporté une contribution majeure à la logique mathématique et aux fondements de l'informatique théorique.Il est surtout connu pour le calcul de lambda, la thèse de l'église, prouvant l'insolvabilité du problème d'Entscheidungspro, l'ontologie de Frege-Church et le théorème de l'église-osser.Il a également travaillé sur la philosophie de la langue (voir par exemple l'église 1970).Aux côtés de son étudiant Alan Turing, l'église est considérée comme l'un des fondateurs de l'informatique.