Définition de Church Alonzo

(14/6/1903 - 11/8/1995) Professeur de mathématique à l'université de Princeton, il publie en 1938 une importante théorie sur l'Informatique.