Alonzo Church

Le mathématicien logicien américain Alonzo Church est né le 14 juin 1903.
On lui doit certains des fondements de l'informatique théorique, le développement du lambda-calcul et son application à la notion de fonction récursive pour la première démonstration de l'existence d'un problème indécidable.
Il a laissé son nom à la thèse de Church qui affirme l'équivalence entre un concept intuitif, à savoir les fonctions mécaniquement calculables, et un concept formel, à savoir, les diverses définitions des fonctions récursives.