Church Alonzo
CALCUL
ELEMENTS DE BIOGRAPHIE
Church Alonzo mathématicien américain né à Washington en 1903 mort en 1995 à Hudson.
Ses travaux ont portĂ© essentiellement sur la logique mathĂ©matique et la thĂ©orie des ordinateurs ; c’est lui qui a crĂ©e les « lambda calculs ».