L’algorithme d’Euclide, de l’Antiquité à l’informatique

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Ravi de vous retrouver pour une nouvelle exploration. Alors, imaginons un instant qu'on dirige le chantier d'une pyramide, ou disons d'un immense temple antique. Ça demande une organisation monumentale, ça. Ah ben totalement ! Faut gérer des milliers d'ouvriers, des blocs de pierres énormes, distribuer des rations de grains très précises... Et là, paf ! Face à un calcul crucial de proportion, les tables mathématiques de l'ingénieur lui répondent littéralement « cette division n'existe pas ».

Intervenant 20:31

Fin de l'histoire.

Intervenant 10:32

C'est ça, fin de l'histoire, le calcul s'arrête net. C'était la réalité bien concrète et je dirais même parfois terrifiante des bâtisseurs de l'Antiquité. Donc aujourd'hui, on entame une plongée au cœur des mathématiques antiques pour bien comprendre comment on est sortis de cette impasse.

Intervenant 20:46

Et c'est une sacrée aventure !

Intervenant 10:48

Ah oui, en s'appuyant sur l'article Euclide, général de division, notre mission, c'est d'explorer ce moment de bascule, le moment où un savant a pris le cauchemar des calculs concrets pour en faire une abstraction absolue.

Intervenant 21:02

Ce qui est fascinant ici, c'est la longévité incroyable de cette pensée. On va aborder des concepts forgés il y a plus de 23 siècles. Des trucs pensés à une époque où l'on traçait des figures dans le sable ou sur des papyrus.

Intervenant 11:14

Bien avant l'électricité.

Intervenant 21:16

Exactement, bien avant la moindre notion d'ordinateur. Et pourtant, ces méthodes algorithmiques n'ont pas pris une ride. En fait, elles constituent l'infrastructure invisible de notre monde numérique d'aujourd'hui.

Intervenant 11:26

Ok, décortiquons tout ça. Avant de plonger dans le vif du sujet, donc la mécanique même de la division ou des algorithmes, il faut absolument s'arrêter sur l'architecte de cette révolution, Euclide. Ben oui, et le paradoxe est immense. On parle d'un des noms les plus célèbres de l'histoire humaine. Mais l'individu lui-même, c'est... enfin, c'est un véritable fantôme, non ?

Intervenant 21:48

C'est clair, c'est l'un des grands mystères de l'histoire des sciences. On situe approximativement sa vie entre l'an 325 et l'an 265 avant notre ère. Alexandrie, du coup ?

Intervenant 12:00

Le grand carrefour intellectuel de l'époque ?

Intervenant 22:03

Voilà. Mais au-delà de ses dates, qui restent super floues, on ne sait presque rien de lui. Il n'y a pas de biographie détaillée, pas d'anecdotes personnelles fiables, rien.

Intervenant 12:12

C'est fou quand même !

Intervenant 22:13

À tel point que plein d'historiens se sont posés une question assez radicale. Euclide a-t-il seulement existé en tant qu'individu unique ?

Intervenant 12:20

Attendez, vraiment ? Un personnage fictif ?

Intervenant 22:23

Le nom d'Euclide était relativement courant. Et l'hypothèse a été soulevée que ce patronyme ait pu servir de couverture à toute une école. Un collectif de mathématiciens travaillant ensemble, quoi.

Intervenant 12:35

Ah mais ça me fait immédiatement penser au groupe Bourbaki au XXe siècle.

Intervenant 22:39

Ah oui, excellente comparaison.

Intervenant 12:41

Cette espèce de société secrète de brillants mathématiciens français, ils publiaient des traités hyper fondamentaux sous le seul pseudonyme de Nicolas Bourbaki. Et leur but, c'était d'unifier les mathématiques modernes.

Intervenant 22:52

C'est tout à fait ça.

Intervenant 12:53

C'est troublant de se dire que l'Antiquité a pu avoir son propre collectif anonyme, en fait.

Intervenant 22:58

La comparaison avec Bourbaki est hyper pertinente, parce que l'ambition était vraiment similaire. Compilée, structurée et unifiée. Après, pour Euclide, l'hypothèse du mythe total est quand même contrebalancée par quelques témoignages de

Intervenant 13:12

l'époque. Lesquels, par

Intervenant 23:13

exemple ? Eratosthène, le grand savant qui a mesuré la circonférence de la Terre. Il affirmait être son contemporain. Archimède le cite aussi dans ses travaux.

Intervenant 13:22

Ah, donc il y a des traces ?

Intervenant 23:24

Oui, même si certains chercheurs soupçonnent des copistes d'avoir rajouté ces mentions d'Archimède plus tard. Mais bon, au fond, que ce soit l'œuvre d'un génie solitaire ou d'un comité de rédaction antique, l'héritage reste exactement le même. Les éléments.

Intervenant 13:37

Un traité d'une ampleur mais alors monumentale. Et le mot n'est pas galvaudé. On parle de 13 livres, de centaines de propositions.

Intervenant 23:45

Et d'une diffusion historique qui donne carrément le vertige.

Intervenant 13:48

Pour donner une idée à notre public, on estime qu'il y a eu environ 800 éditions des éléments depuis la mention de l'imprimerie. C'est un livre qui a façonné la pensée logique de l'humanité entière, presque au même titre que les grands textes religieux, mais sur le terrain de la raison pure.

Intervenant 24:02

Et le secret de cette pérennité, c'est la méthode. Le philosophe Proclus, qui a commenté l'œuvre d'Euclide quelques siècles plus tard, nous donne une vraie clé de lecture là-dessus.

Intervenant 14:11

Il dit quoi, Proclus ?

Intervenant 24:13

Il explique que Clyde n’a probablement pas inventé la majorité des théorèmes présents dans les éléments. En fait, il s'est appuyé sur les travaux de géants qui l'ont précédé.

Intervenant 14:22

Des gens comme Eudox ou Thétète, c'est ça ?

Intervenant 24:25

Exactement. Eudox pour la théorie des proportions et Thétète pour les nombres irrationnels. Le coup de génie de Clyde, ce n'est pas la découverte de nouvelles formules, c'est la mise en ordre du monde.

Intervenant 14:35

D'accord, il a fait le tri.

Intervenant 24:36

Voilà. Il a pris un foisonnement de savoirs complètement disparates et il leur a imposé une rigueur absolue.

Intervenant 14:43

Pour filer une métaphore avec le monde technologique actuel, Euclide agirait un peu comme le développeur principal, le lead developer d'un gigantesque projet open source.

Intervenant 24:52

J'aime beaucoup l'image.