Logicisme : pourquoi Poincaré se moque-t-il du nombre 1 ?

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Je suis vraiment ravi de vous retrouver pour cette nouvelle exploration.

Intervenant 20:07

Bonjour tout le monde. Ouais, une exploration qui va secouer un peu nos certitudes aujourd'hui.

Intervenant 10:13

Grave. Imaginez juste un instant que l'édifice tout entier des mathématiques, tu sais, celui sur lequel repose la physique, l'ingénierie, notre vision de l'univers, que tout ça se mette soudainement à vaciller.

Intervenant 20:26

Ouais, le vertige total.

Intervenant 10:28

C'est ça. Eh ben, c'est très exactement l'angoisse qui frappe les mathématiciens au tournant du XXe siècle, quand des paradoxes viennent menacer la théorie des ensembles.

Intervenant 20:38

Absolument. C'est ce qu'on appelle la crise des fondements.

Intervenant 10:42

D'accord.

Intervenant 20:42

Et pour sauver ce qui pouvait l'être, t'as une école de pensée super puissante avec des figures comme Bertrand Russell ou Giuseppe Peano.

Intervenant 10:50

Oui, les grands noms, quoi.

Intervenant 20:51

Voilà. Et eux, ils décident qu'il faut absolument tout reconstruire depuis zéro. Leur ambition, c'était vraiment d'éliminer totalement l'intuition humaine.

Intervenant 11:01

Parce qu'il la jugeait trompeuse, c'est ça ?

Intervenant 21:03

C'est ça. Ils voulaient fonder l'arithmétique sur une logique Pur, froide, incontestable. C'est ce fameux mouvement qu'on appelle le logicisme.

Intervenant 11:13

D'accord, le logicisme. Eh bien ça, ça nous amène directement à notre mission d'aujourd'hui, à travers un extrait du texte quand Poincaré ironise. L'idée, c'est de découvrir comment Henri Poincaré, le brillant mathématicien français, a utilisé un sarcasme vraiment mordant pour démolir cette quête d'hyper abstraction. Après, je comprends un peu la démarche initiale des logicistes. Si notre intuition géométrique peut nous tromper, c'est tentant de vouloir un filet de sécurité purement formel pour valider les théorèmes.

Intervenant 21:42

Bien sûr. Sur le papier, c'est tentant. Mais sauf que pour Poincaré, cette démarche, c'était une impasse épistémologique totale. Pour lui, la logique seule, elle est stérile. Elle permet de vérifier que les rouages d'une démonstration s'enclenchent bien, tu vois,

Intervenant 11:59

Comme une machine,

Intervenant 22:00

quoi. Exactement. Mais c'est l'intuition qui fournit le moteur. C'est la capacité créatrice de vraiment voir la solution. Vouloir retirer l'expérience et l'intuition des maths, pour lui, c'était se condamner à tourner à vide.

Intervenant 12:13

Bon, décortiquons tout ça parce que c'est un peu comme essayer d'expliquer ce qu'est l'eau avec des formules chimiques ultra complexes à quelqu'un qui a juste soif, non ?

Intervenant 22:21

Ah oui, c'est une excellente comparaison. Ce qui est fascinant ici, c'est que Poincaré ne se contentait pas d'être en désaccord avec eux sur le plan philosophique.

Intervenant 12:30

Y aller franco.

Intervenant 22:31

Bah oui, il maniait l'ironie pour vraiment démontrer l'absurdité de cette hyper abstraction en pratique.

Intervenant 12:37

Et d'ailleurs, il frappe là où ça fait mal, notamment dans son bouquin de 1908 « Science et méthode ».

Intervenant 22:42

Tout à fait.

Intervenant 12:43

Il prend pour cible Burali-Forti, qui tentait de définir mathématiquement un truc super simple, enfin le chiffre 1.

Intervenant 22:50

Oui, le concept le plus élémentaire qui soit.

Intervenant 12:52

C'est ça. Et l'idée, c'est pas de l'expliquer à un gamin, mais vraiment de le générer à partir du néant absolu.

Intervenant 22:57

Ouais.

Intervenant 12:58

Et du coup, Burali-Forty pond une formule symbolique d'une complexité complètement effarante. Même Poincaré disait qu'il avait du mal à la lire.

Intervenant 23:05

Alors, il feint d'être dépassé par ce formalisme, mais c'est surtout pour mieux isoler la faille, en fait.

Intervenant 13:11

Ah, il faisait semblant.

Intervenant 23:12

Un peu, ouais. Parce que Poincaré repère direct que cette tentative de générer l'unité, c'est une gigantesque pétition de principe.

Intervenant 13:20

Bah oui, parce que quand on regarde la structure de cette formule de Burali-Forti, on trouve quoi ? D'un côté, inséré dans l'équation, t'as le symbole 1. C'est ça. Et de l'autre, t'as carrément le mot 1 écrit en toutes lettres.

Intervenant 23:32

C'est complètement absurde. Il essaye de définir le concept en introduisant secrètement l'idée de quantité numérique dans sa propre fondation.

Intervenant 13:41

En contrebande, quoi.

Intervenant 23:42

Exactement. Et on ne peut pas fonder l'arithmétique si le système logique de base utilise déjà le concept d'unity.

Intervenant 13:48

Ouais, ça marche pas.

Intervenant 23:49

Du coup, cet échec, ça a poussé d'autres penseurs à chercher des approches plus sophistiquées, comme le philosophe Louis Couturat.

Intervenant 13:56

Ah oui, Couturat.

Intervenant 23:57

Lui, il tente d'éviter totalement la notion de quantité en utilisant la théorie des classes.

Intervenant 14:02

C'est ça. En fait, Koutura propose une définition basée sur l'identité. Il dit en gros le 1, c'est le nombre d'éléments d'une classe où deux éléments quelconques sont forcément identiques.

Intervenant 24:14

Voilà.

Intervenant 14:15

Donc mécaniquement, si je pioche au hasard un élément A puis un élément B dans mon ensemble et que c'est obligatoirement la même chose, c'est que mon ensemble ne contient qu'un seul truc.

Intervenant 24:25

C'est très astucieux. L'approche est élégante parce qu'il contourne l'unité par la notion d'équivalence.

Intervenant 14:31

Il n'a pas utilisé le mot 1.

Intervenant 24:33

Non. Mais Poincaré voit tout de suite le piège logique que Coutura a lui-même armé.

Intervenant 14:39

Bah oui, la chute est géniale. Parce que Coutura a esquivé le 1, ok, mais pour formuler sa règle, il dit « où deux éléments quelconques sont identiques ». Exactement, le mot « deux ». Il a utilisé le concept du « deux ».

Intervenant 24:51

Bah oui.

Intervenant 14:52

Et dans n'importe quel système, pour définir ce qu'est la dualité et le « deux », il faut impérativement posséder au préalable le concept de « un ».

Intervenant 24:58

Et voilà, la boucle est bouclée. Et Logicis tentait de s'élever en tirant sur leur propre lacet quoi.

Intervenant 15:04

C'est une super image.

Intervenant 25:05

Par ce trait d'ironie, Poincaré démontre une vérité épistémologique majeure. Il y a certains concepts mathématiques qui sont des primitives intuitives.

Intervenant 15:14

D'accord.

Intervenant 25:14

Tu ne peux pas les déduire d'une logique pure sans réintroduire notre intuition par une porte dérobée.

Intervenant 15:19

C'est fou. Mais au-delà de la querelle historique, ça a des implications profondes pour nous aujourd'hui, non ?

Intervenant 25:24

Complètement.

Intervenant 15:25

Tu vois, dans nos systèmes complexes, que ce soit la modélisation ou la programmation d'intelligence artificielle, la rigueur formelle est indispensable, ok ? Mais elle remplacera jamais le bon sens et les axiomes fondateurs qui viennent de notre propre intuition. Sans ça, la logique pure s'effondre.

Intervenant 25:42

C'est un rappel essentiel sur la nature de la connaissance. La logique valide, mais c'est l'intuition qui construit.

Intervenant 15:49

Et bah ça m'amène à une réflexion finale qui est franchement vertigineuse. Je t'écoute. Si des esprits aussi balèzes que Russell au piano n'arrivent pas à capturer l'essence du chiffre 1 par la logique pure, sans tourner en rond, est-ce qu'on doit en conclure que les mathématiques n'existent pas réellement dans la nature ? Ah,

Intervenant 26:06

la grande question.

Intervenant 16:07

Est-ce que finalement c'est juste un langage purement humain, tu vois, dicté par l'architecture de notre cerveau et nos intuitions qu'on essaie désespérément de rationaliser après coup ?

Intervenant 26:17

C'est une excellente question.

Intervenant 16:18

Ouais, je vous laisse éloquer les chilets. Merci de nous avoir suivis et à très vite pour une prochaine Plongée Faïque.