Church, Alonzo

Une définition du Jargon Français.
(Redirigé depuis Alonzo Church)
Aller à : Navigation, rechercher

nom propre.  [personnalité]. (14/06/1903 - 11/08/1995). Mathématicien ayant énoncé sa thèse en 1936 à Princeton. La thèse de Church affirme que toute fonction calculable peut l'être avec un ensemble réduit d'instructions. C'est une affirmation philosophique indémontrable qui est la base de toute l'algorithmique... Les travaux de Church ont eu un impact d'importance dans les domaines de l'informatique théorique, de la logique et de la théorie de la récursivité. Il a créé le lambda-calcul dans les années 1930. Voir Turing, Alan Mathison.