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 ».