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