[article] Titre : | Deux algorithmes du PGCD, plus un | Type de document : | texte imprimé | Auteurs : | Henri Lombardi, Auteur | Année de publication : | 2010 | Article en page(s) : | p. 37-47 | Note générale : | Annexe | Langues : | Français | Mots-clés : | nombre entier algorithme d'Euclide concret versus abstrait démarche algorithmique effectivité identité de Bézout | Résumé : | Cet article sert à illustrer le point de vue de l'auteur selon lequel la plupart des démonstrations en mathématiques (sinon toutes) relèvent en dernière analyse d'une démarche algorithmique. Il propose une analyse du théorème du PGCD, tel qu'il résulte de l'algorithme d'Euclide d'une part, et tel qu'il résulte de la démonstration "abstraite" le plus couramment présentée aujourd'hui d'autre part. Il argumente pour mettre en évidence que la preuve abstraite est le déguisement d'une preuve qui est également de nature algorithmique. Cependant l'algorithme sous-jacent à la démonstration abstraite n'est pas le même que celui d'Euclide. Aussi est-il intéressant de les comparer. Dans une annexe est indiqué comment se situer par rapport à une autre manière populaire de calculer le PGCD de deux entiers, basée sur la décomposition en facteurs premiers. | En ligne : | https://publimath.univ-irem.fr/numerisation/WR/IWR10004/IWR10004.pdf | Format de la ressource électronique : | Texte intégral | in Repères - IREM > 78 (01/2010) . - p. 37-47
[article] Deux algorithmes du PGCD, plus un [texte imprimé] / Henri Lombardi, Auteur . - 2010 . - p. 37-47. Annexe Langues : Français in Repères - IREM > 78 (01/2010) . - p. 37-47 Mots-clés : | nombre entier algorithme d'Euclide concret versus abstrait démarche algorithmique effectivité identité de Bézout | Résumé : | Cet article sert à illustrer le point de vue de l'auteur selon lequel la plupart des démonstrations en mathématiques (sinon toutes) relèvent en dernière analyse d'une démarche algorithmique. Il propose une analyse du théorème du PGCD, tel qu'il résulte de l'algorithme d'Euclide d'une part, et tel qu'il résulte de la démonstration "abstraite" le plus couramment présentée aujourd'hui d'autre part. Il argumente pour mettre en évidence que la preuve abstraite est le déguisement d'une preuve qui est également de nature algorithmique. Cependant l'algorithme sous-jacent à la démonstration abstraite n'est pas le même que celui d'Euclide. Aussi est-il intéressant de les comparer. Dans une annexe est indiqué comment se situer par rapport à une autre manière populaire de calculer le PGCD de deux entiers, basée sur la décomposition en facteurs premiers. | En ligne : | https://publimath.univ-irem.fr/numerisation/WR/IWR10004/IWR10004.pdf | Format de la ressource électronique : | Texte intégral |
|