Mohammed al-Khwārizmī

Muhammad ibn Mūsā al-Khwārizmī, mathématicien et astronome arabe (né vers 783 à Khiva, mort à Bagdad vers 850).
Auteur d'un traité largement diffusé sur la résolution systématique de certains problèmes de mathématiques (notamment équations du second degré). Le terme d'algorithme est issu de son nom.

Phhoto 1 - Origine : Wikimedia Commons.
Auteur : Postes de l'Union Soviétique, 1989
Photo 2 - Origine : Wikimedia Commons.
Auteur : John L. Esposito. The Oxford History of Islam. Oxford University Press. ISBN 0195107993.

Photo 1 : Copyright non applicable.
Photo 2 : dans le domaine public

Personnages

Euclide

Euclide, mathématicien grec (né vers -325, mort vers -265), est d’abord connu comme l’auteur des Éléments, ouvrage fondateur de la géométrie. Mais il est aussi à l'origine de l'un des plus anciens algorithmes connus, le calcul du plus grand commun diviseur (PGCD) de deux nombres entiers.

La preuve de validité de l'algorithme d'Euclide pour le calcul du PGCD est un exemple classique de preuve de programme. Voir les détails.

Texte : Sacha Krakowiak
Applet : Maxence Raoux

Source de l’image d'Euclide : Wikimedia Commons

juillet 2012

Image dans le domaine public

Personnages