Dedekind utilise l’infini avant Cantor, malgré les critiques

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Aujourd'hui, on va plonger dans un truc qui donne un peu le vertige. Imaginons prouver, par la simple logique, qu'il y a autant de points sur un millimètre de fil que dans l'univers tout entier.

Intervenant 20:14

Ouais, c'est exactement le genre de paradoxe qui a complètement secoué le XIXe siècle. Et pour comprendre ça, on va s'intéresser aux racines de la théorie des ensembles.

Intervenant 10:23

Exactement. Et particulièrement à travers un mathématicien allemand, Richard Dedekind, un homme souvent resté dans l'ombre du célèbre Georges Cantor. Notre mission du jour, c'est de décortiquer comment son utilisation, disons, totalement décomplexée de l'infini a révolutionné les mathématiques de fond en comble.

Intervenant 20:42

C'est ça. En fait, s'attaquer à cette théorie, c'est un peu comme regarder les fondations d'un immense gratte-ciel.

Intervenant 10:48

Ah, j'aime bien cette analogie.

Intervenant 20:49

Ben oui, tu t'y penches pas pour compter chaque brique une par une. Tu regardes surtout comment l'ensemble tient debout, quelles sont les forces invisibles qui empêchent le tout de s'effondrer.

Intervenant 10:58

Du coup, concrètement, avant même la fameuse théorie axiomatique moderne, comment Dedekind structurait-il sa pensée ?

Intervenant 21:06

Alors, il faut savoir qu'il utilisait déjà les ensembles pour la théorie des nombres. Donc, pour les idéaux, les corps, tout ce qui touche à la première théorie de Galois en Allemagne. Mais le vrai tournant survient en 1888. Avec son fameux livre «

Intervenant 11:17

Que sont et à quoi servent les nombres ? » C'est bien

Intervenant 21:21

ça ? Oui, tout à fait. Et dedans, il définit un ensemble, qu'il appelle à l'époque un système. En gros, c'est quand des choses différentes, divant A, B ou C, sont réunies sous un point de vue commun, simplement par la pensée.

Intervenant 11:33

Attends, juste, par la pensée ? Parce que là, si je me mets à la place d'un mathématicien de l'époque, lier des éléments disparates juste par la pensée, ça ressemble quand même vachement plus à de la philosophie qu'à des mathématiques pures, non ?

Intervenant 21:46

C'est vrai que ça paraît très flou dit comme ça, mais c'est là que Dedekind recadre les choses avec une rigueur implacable. Il prend cette idée abstraite et pose des définitions strictes comme l'équipotence.

Intervenant 11:59

L'équipotence, un grand mot technique pour dire quoi au final ?

Intervenant 22:02

Derrière ce terme, le mécanisme est hyper concret. C'est l'idée de faire correspondre les éléments de deux groupes un à un. Imagine le jeu des chaises musicales.

Intervenant 12:12

D'accord, je vois très bien.

Intervenant 22:13

Voilà, t'as pas besoin de compter les chaises d'un côté et les joueurs de l'autre. Si chaque joueur trouve une chaise à la fin, tu sais qu'il y a exactement le même nombre des deux côtés.

Intervenant 12:21

Et la grosse différence, c'est qu'il ose appliquer cette logique de correspondance directement à l'infini lui-même.

Intervenant 22:28

Exactement, il s'en sert pour redéfinir l'infini, non plus comme un vague processus qui ne s'arrête jamais, mais comme ce qu'on appelle l'infini actuel.

Intervenant 12:36

C'est-à-dire ?

Intervenant 22:37

C'est-à-dire un objet mathématique achevé, complet, qu'on peut manipuler.

Intervenant 12:41

Ouais, transformer l'infini en un vulgaire objet qu'on manipule presque comme un cube en bois sur un bureau, ça a dû provoquer de sacrés remous.

Intervenant 22:49

Ah, la résistance a été féroce, et elle a été menée principalement par Léopold Kronecker.

Intervenant 12:55

Ah, Kronecker, l'opposant de toujours.

Intervenant 22:57

Oui, il menait une opposition vraiment violente. Pour lui, manipuler l'infini de cette manière, ça relevait carrément de la théologie, pas des mathématiques. Il jugeait les travaux de Cantor de cette façon, il rejetait totalement ceux de Dedekind.

Intervenant 13:10

D'accord, c'était viscéral, quoi.

Intervenant 23:12

Absolument. En fait, il trouvait que l'utilisation de l'infini actuel rendait toutes ces méthodes beaucoup trop abstraites et impossibles à vérifier.

Intervenant 13:21

En gros, si je résume, Kronecker y voulait des mathématiques presque artisanales, des choses ancrées dans le réel, avec des opérations qu'on peut toujours calculer à la main, étape par étape, sans sombrer dans les vertiges de l'abstraction pure.

Intervenant 23:34

C'est tout à fait ça, le vertige de l'abstraction, l'effrayé. Du coup, face à cette hostilité ambiante, Dedekind a dû chercher des alliés.

Intervenant 13:43

Et il en a trouvé en

Intervenant 23:44

taille. Oui, dès 1872, il entame une correspondance cruciale avec Georges Cantor. Et ce qui est fascinant, c'est que Cantor avait constamment besoin de l'approbation de Dedekind pour valider ses propres percées conceptuelles.

Intervenant 13:57

C'est d'ailleurs dans cette dynamique que naît l'anecdote incroyable du carré de la ligne.

Intervenant 24:01

Tout à fait. Cantor réussit à prouver mathématiquement qu'il y a autant de points sur un simple segment de droite que dans la surface d'un carré tout entier.

Intervenant 14:10

Attends, vraiment ? C'est complètement contre-intuitif !

Intervenant 24:13

Bah oui, et c'est là que notre concept d'équipotence montre toute sa puissance. Cantor trouve un moyen d'associer chaque point du carré à un point de la ligne juste en entrelaçant les décimales de leurs coordonnées,

Intervenant 14:25

Une correspondance un pour un.

Intervenant 24:26

Exactement. Parfaite et mécanique.

Intervenant 14:29

Donc logiquement, la preuve était réfutable. Mais visuellement, ça n'a aucun sens pour notre cerveau.

Intervenant 24:34

C'est exactement ce qu'il a ressenti. C'est à ce moment-là que Cantor envoie une lettre à Dedekind, avec cette phrase devenue mythique « Je le vois, mais je ne le crois pas ». C'est

Intervenant 14:44

fou quand même. C'est fascinant et un peu ironique de se dire que les créateurs de ces concepts étaient eux-mêmes complètement choqués par les monstres logiques qu'ils venaient d'enfanter.

Intervenant 24:54

Cette phrase capture vraiment tout le choc psychologique de l'époque. L'intuition spatiale hurle que c'est impossible, mais la mécanique implacable de la logique prouve que c'est vrai.

Intervenant 15:03

La logique qui vient littéralement briser l'intuition.

Intervenant 25:06

Et Dedekind, lui, il ne cède pas un pouce de terrain. Même des années plus tard, quand les paradoxes de Russell apparaissent et viennent menacer ces nouvelles fondations, il maintient le cap.

Intervenant 15:17

Il ne remet pas en cause son système, hein ?

Intervenant 25:19

Non, pas du tout. Dans la troisième édition de son livre, il réaffirme une foi inébranlable en, je cite, « l'harmonie interne de notre logique ».

Intervenant 15:27

C'est fort. Ça rappelle à ceux qui écoutent que toute grande avancée intellectuelle, ça demande parfois de faire taire son intuition première.

Intervenant 25:36

Oui, de la faire taire pour faire aveuglement confiance à la rigueur de la logique. La logique devenait l'unique garde-fou, quand nos sens n'étaient plus d'aucun secours.

Intervenant 15:45

Absolument, ce qui nous laisse au final face à un vrai vertige intellectuel pour conclure. Si des constructions purement logiques permettent de prouver des faits qui défiassent point notre perception visuelle du monde, quelles autres réalités invisibles notre propre intuition nous empêche-t-elle de concevoir aujourd'hui ?