Algorithmie

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.

(24-11-2003).