Du plus grand entier à « Je mens » : le piège des paradoxes

Intervenant 10:00

Bienvenue à l'écoute du podcast du magazine Tangente. Ravi de vous retrouver pour une nouvelle exploration. Aujourd'hui, on plonge dans l'article « Sacré paradoxe », la deuxième partie. Avec une mission assez claire, comprendre comment les contradictions mathématiques, ce n'est pas juste des impasses.

Intervenant 20:17

Ouais, c'est plutôt des portes ouvertes vers de nouvelles vérités en fait.

Intervenant 10:20

Exactement. Et pour commencer, j'ai une question un peu tordue. Comment une démonstration mathématique qui a l'air super rigoureuse pourrait-elle prouver que le plus grand nombre entier, c'est 1 ?

Intervenant 20:31

Alors ça, c'est un grand classique. Posons l'hypothèse de base. On imagine qu'il existe un nombre anti-positif, on va l'appeler n, qui serait le plus grand de tous les nombres.

Intervenant 10:42

Mais déjà, l'idée même de l'infini empêche ça, non ? Parce que si j'ai, je ne sais pas moi, un milliard, je peux toujours faire un milliard plus un.

Intervenant 20:49

Ben oui, c'est notre intuition première et elle est bonne. Mais jouons le jeu et suivons la logique jusqu'au bout. Si n est vraiment ce plus grand nombre, son carré ne peut logiquement pas être plus grand que

Intervenant 11:03

lui. Logique. Mais bon, le carré de 3 c'est 9, celui de 10 c'est 100, ça grandit tout le

Intervenant 21:08

temps. Voilà. Le carré grandit toujours, à part pour une seule et unique exception.

Intervenant 11:12

Ah ben le 1. 1² ça fait 1, donc si n² peut pas dépasser n, l'équation nous force à dire que n est obligatoirement égal à 1. C'est absurde ?

Intervenant 21:22

C'est complètement absurde, oui. On vient carrément de prouver que 1 est le plus grand nombre du monde.

Intervenant 11:28

Du coup, elle est où l'embrouille ? Enfin, je veux dire, où est la faille temporelle dans ce raisonnement ?

Intervenant 21:32

Eh bien, la faille, elle est dans la toute première phrase de notre démonstration, quand on a dit « Imaginons qu'il existe un plus grand nombre ».

Intervenant 11:40

Ah, on a calculé ses propriétés avant même de prouver qu'il pouvait exister. Bon, décortiquons tout ça, parce que ça me fait vraiment penser à l'analogie de la jument de Roland dans les sources.

Intervenant 21:50

Oui, tout à fait.

Intervenant 11:51

Cette jument légendaire qui aurait absolument toutes les qualités, la rapidité, le courage, l'endurance, tout, à une seule exception, c'est d'exister en fait.

Intervenant 22:01

C'est ça. Ce qui est fascinant ici, c'est que cette prise de conscience a permis de réfuter des concepts philosophiques très anciens.

Intervenant 12:07

Ah bon ? Genre quoi ?

Intervenant 22:08

Genre l'argument de Saint Anselme. Au XIe siècle, il essayait de prouver l'existence de Dieu en le définissant comme « l'être tel qu'on ne peut en imaginer de plus grand ».

Intervenant 12:17

Ah ouais, je vois le piège. Si on applique la même rigueur que pour notre chiffre 1, l'idée même d'un plus grand ensemble, ça s'effondre. On ne peut pas calculer des trucs sur un être avant d'avoir prouvé son existence.

Intervenant 22:28

Exactement, le concept même n'a pas de sens.

Intervenant 12:31

Mais si supposer l'existence d'un truc impossible, ça pose un tel problème, que se passe-t-il quand nos propres définitions se mordent la queue ? Parce que Artip le parle du paradoxe de Berry, avec cette phrase…

Intervenant 22:42

Oui, la fameuse phrase « le nombre non spécifiable en moins de dix mots ».

Intervenant 12:47

Attends, je compte. LE nombre NON spécifiable en moins de 10 mots. Bah, ça fait 9 mots, ça !

Intervenant 22:54

Et voilà le paradoxe !

Intervenant 12:56

On vient de définir en 9 mots un truc qui, par sa propre définition, on exige au moins 10 ! C'est fou, le langage implose complètement.

Intervenant 23:03

C'est le même mécanisme que le menteur d'Épiménide, tu sais, quand il déclare « je mens ».

Intervenant 13:08

Ah oui, s'il dit vrai, il ment, et s'il ment, il dit vrai. Mais ici, ça devient vraiment intéressant. Est-ce que ce n'est pas juste un piège grammatical ? Une confusion entre la boîte et ce qu'elle contient ? C'est

Intervenant 23:20

exactement ça. En fait, la logique classique se plante parce qu'elle confond l'ensemble avec son élément, le contenant et le contenu, comme tu dis.

Intervenant 13:28

Et on fait comment pour s'en sortir, Eve ?

Intervenant 23:30

Des logiciens comme Carnap ou Tarski ont dû inventer ce qu'on appelle le métalangage.

Intervenant 13:35

Le métalangage. Concrètement, c'est quoi ce truc ?

Intervenant 23:38

Imagine que tu sépares le langage en deux étages. Au rez-de-chaussée, t'as le langage objet qui décrit le monde réel, genre la pomme et rouge.

Intervenant 13:46

Ok, le monde normal quoi.

Intervenant 23:47

Et au premier étage, tu as le métalangage. Et lui, il sert uniquement à parler des phrases du rez-de-chaussée. Comme ça, une phrase ne peut plus se juger elle-même.

Intervenant 13:57

D'accord. Donc dire « je mens », ça devient invalide, parce que la phrase essaye d'occuper les deux étages en même temps.

Intervenant 24:03

Voilà, c'est interdit par cette structure. C'est une vraie révolution mathématique née d'une simple erreur de langage.

Intervenant 14:09

Ce qui est génial, c'est que ça a amené Bertrand Russell à créer la théorie des types logiques, non ? Pour dire qu'un catalogue ne peut pas s'inclure lui-même.

Intervenant 24:17

Absolument. Russell a établi qu'un ensemble ne peut jamais être un élément de lui-même.

Intervenant 14:22

Mais ce qui m'étonne le plus dans l'article, c'est que cette théorie de Russell a carrément quitté les maths pour inspirer la psychiatrie. Avec l'école de Palo Alto.

Intervenant 24:31

Oui, tout à fait.

Intervenant 14:32

Mais comment on passe de la théorie des ensembles à la psychologie humaine ? C'est le grand écart.

Intervenant 24:37

Par le concept des injonctions paradoxales. L'école de Palo Alto a compris que les humains subissent le même blocage que le paradoxe du menteur, quand ils reçoivent des ordres contradictoires.

Intervenant 14:48

Genre, si quelqu'un te dit « soyez naturel »,

Intervenant 24:51

C'est ça. C'est une boucle impossible.

Intervenant 14:54

Bah oui, parce que si j'essaie d'y obéir, mon comportement devient forcé. Je perds direct tout naturel.

Intervenant 24:58

L'ordre contient sa propre contradiction. Et en appliquant la logique de Russell, les psychiatres ont pu déconstruire ces doubles contraintes en thérapie.

Intervenant 15:06

C'est-à-dire ? Ils faisaient quoi ?

Intervenant 25:08

Ils apprenaient aux patients à sortir de la boucle, à faire un pas de côté vers le métalangage pour analyser la situation elle-même plutôt que de s'épuiser à résoudre l'injonction.

Intervenant 15:18

Waouh ! La capacité de la discipline mathématique à utiliser ses propres effondrements pour inventer de nouvelles structures, c'est vraiment fascinant.

Intervenant 25:27

C'est la grande valeur heuristique du paradoxe. Se heurter au mur permet d'élargir la science.

Intervenant 15:32

Ça me rappelle d'ailleurs cette citation géniale d'André Weil à la fin de l'article « Dieu existe parce que les mathématiques sont cohérentes et le diable existe car nous ne pouvons pas le prouver ».

Intervenant 25:41

Une très belle synthèse, oui.

Intervenant 15:42

Carrément. Ce qui soulève quand même une interrogation un peu vertigineuse pour clore ce sujet. Si notre logique la plus pure génère inévitablement des paradoxes indépassables, l'univers est-il lui-même foncièrement paradoxal ou est-ce seulement l'esprit humain qui atteint ici les limites architecturales de sa propre conception ? À méditer.