Alonzo Church

Alonzo Church est un mathématicien américain (1903-1995). Il a étudié à Princeton où il deviendra professeur après avoir voyagé à l’Université Harvard, à l’Université de Göttinger et à l’université d’Amsterdam après son doctorat. Il quittera Princeton en 1967 pour rejoindre l’Université de Californie (UCLA).

Il a travaillé sur la calculabilité et la logique. Ses travaux les plus connus concernent le développement du lambda-calcul et la ‘thèse de Church’ ou ‘thèse Church-Turing’. Il a été le professeur de nombreux logiciens dont Alan Turing. Il a influencé les langages de programmation fonctionnelle.

Articles citant les travaux de Alonzo Church dans le domaine de l'intelligence artificielle.

geralt_6

Petite histoire de l’Intelligence Artificielle, Partie 1

L’intelligence artificielle est une technologie liée à de nombreux domaines dont l’informatique, les mathématiques, les sciences cognitives, les statistiques, la psychologie ou encore la...

Voir également :

Recevoir une notification en cas d'actualité importante    OK Non merci