algorithme
par : aboul le 28/06/02
mail : aboul@free.fr

ALGO Terme venu du XIIIème siècle, de la traduction en latin d'un mémoire de Mohammed Ibn Musa Abu Djefar Al-Khwarizmi commençant par: «Algoritmi dixit...». Séquence d'opérations visant à la résolution d'un problème en un temps fini (mentionner la condition d'arrêt). Fondé sur la thèse de Church Alonzo. (source: Le Jargon Français license GFDL sur linux-france.org, (c) 2001 Roland Trique)

Info. Culture

Church Alonzo
par : aboul le 28/06/02
mail : aboul@free.fr

PERS Mathématicien ayant énoncé sa thèse à 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... Voir Turing Alan Mathison. (source: Le Jargon Français license GFDL sur linux-france.org, (c) 2001 Roland Trique)

Info. Culture

lambda calcul
par : aboul le 28/06/02
mail : aboul@free.fr

MATH Branche de la logique développée par Church Alonzo à la fin des années 1930. Le problème est d'étudier les fonctions lorsqu'elles sont appliquées à leurs propres arguments. Les langage fonctionnels sont des extensions du lambda calcul (on y ajoute les constantes et les types). S'écrit avec un lambda grec, normalement. (13-06-2000). (source: Le Jargon Français license GFDL sur linux-france.org, (c) 2001 Roland Trique)

Info. Culture

Lambda-calcul
par : aboul le 05/03/02
mail : aboul@free.fr

Langage inventé en 1932 par le mathématicien américain Alonzo Church pour résoudre des questions de logique pure. Apparaît comme un langage de programmation universel (source: magazine Science&Vie)

Info. Culture