infoclick solution informatique (Gers) - version particulier

infoclick solution informatique - Dictionnaire informatique

Church Alonzo

/t(ch)*rt(ch)/ np.

[personne] (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 lamba-calcul dans les années 1930. Voir Turing Alan Mathison.

Articles liés à celui-ci :  algorithme lambda calcul thèse de Church-Turing

Articles voisins :  chroot - chrooter - CHRP - CHS - cHTML < > churn rate - chute d'eau - ci - CI - CICS

(25-07-2002).

Sommaire | Courrier

© Le Jargon Français v 3.3.165 - 18/11/2003