Ecrire les raisons de la correction d'algorithmes : perspectives depuis la Chine ancienne

Résumé : Cet article vise à approfondir l'étude de trois caractéristiques des démonstrations de la correction d'algorithmes, que l'on rencontre fréquemment dans les sources mathématiques anciennes. Pour un certain nombre de textes, c'est la structure de l'énoncé de l'algorithme qui est parlante, dans la mesure où elle permet d'interpréter au fil du texte le sens des opérations, jusqu'à la formulation de la signification du résultat final. D'autres écrits prescrivent les opérations d'une façon résolument indirecte, en y renvoyant en réalité par l'énoncé des raisons pour lesquelles il convient de les mobiliser. Par contraste, dans les ouvrages anciens, certains énoncés ne pointent pas vers les raisons de leur correction. Dans ce cas, leur démonstration cherche à restituer un algorithme transparent équivalent, avant de discuter des méta-opérations qui permettent de passer de celui-ci à celui qu'on vise à établir. On voit ainsi apparaître dans l'histoire de la démonstration les linéaments d'une forme de démonstration algébrique dans un contexte algorithmique.
Type de document :
Pré-publication, Document de travail
2013
Liste complète des métadonnées

https://halshs.archives-ouvertes.fr/halshs-00803428
Contributeur : Karine Chemla <>
Soumis le : jeudi 21 mars 2013 - 23:14:53
Dernière modification le : mardi 11 octobre 2016 - 14:38:17
Document(s) archivé(s) le : lundi 24 juin 2013 - 12:00:29

Fichier

EcrireRaisonsCorrectionKC2011H...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : halshs-00803428, version 1

Collections

Citation

Karine Chemla. Ecrire les raisons de la correction d'algorithmes : perspectives depuis la Chine ancienne. 2013. 〈halshs-00803428〉

Partager

Métriques

Consultations de
la notice

201

Téléchargements du document

196