tangenteAudio

22 déc. 2022 · 21 min

Paradoxe du barbier : qui rase le barbier ?

Cet épisode suit pas à pas le piège du barbier, de la preuve de Cantor à la question finale : et si le barbier était une femme ?

Collections de cet épisode (9)

Un contenu original Tangente, adapté en podcast avec l’aide de l’IA et validé par notre rédaction. Comment ça marche ?

D’après l’articleLire l’article dans la revue

Transcription

Afficher la transcription

Transcription automatique

  1. Intervenant 1

    Bienvenue dans le podcast du magazine Tangente.

  2. Intervenant 2

    Salut !

  3. Intervenant 1

    Aujourd'hui, on va faire un petit exercice de pensée. Imaginons une ville parfaite. Une ville où une seule loi, super claire, dicte l'hygiène de tous les habitants.

  4. Intervenant 2

    Ouais, un scénario qui ressemble presque au début d'une fable, quoi.

  5. Intervenant 1

    Exactement. Et pourtant, dans notre exploration d'aujourd'hui, on va utiliser cette petite métaphore pour décortiquer un des plus grands mystères de la logique. On a compilé plusieurs sources vraiment fascinantes, avec au centre un article qui s'intitule, tenez-vous bien, Le barbier était une femme.

  6. Intervenant 2

    C'est un super titre.

  7. Intervenant 1

    N'est-ce pas ? Notre mission, du coup, c'est de comprendre comment une simple petite devinette de Salon a pu littéralement terroriser les mathématiciens à la fin du XIXe siècle. Et même remettre en question notre compréhension de l'infini.

  8. Intervenant 2

    C'est vrai qu'en fait, cette histoire, c'est vraiment l'outil parfait pour réconcilier la rigueur des maths avec notre intuition de tous les jours.

  9. Intervenant 1

    Oui.

  10. Intervenant 2

    Ce qui commence comme un banal jeu d'esprit, ça cache en réalité un gouffre vertigineux. L'idée, c'est vraiment d'observer comment une contradiction abstraite, genre un minuscule grain de sable, peut faire dérailler tout un système.

  11. Intervenant 1

    Un système comme la théorie des ensembles ?

  12. Intervenant 2

    Absolument. Ou même, plus près de nous, la logique informatique qui fait tourner nos téléphones et nos ordis.

  13. Intervenant 1

    Et le point de départ de ce gros déraillement, ça nous emmène virtuellement en Espagne, sous le soleil de l'Andalousie.

  14. Intervenant 2

    Ah, Séville !

  15. Intervenant 1

    Voilà. C'est dans les rues de Séville que se dérouve cette fameuse métaphore qui a été popularisée par le célèbre philosophe et mathématicien Bertrand Roussel.

  16. Intervenant 2

    Et ses contemporains aussi.

  17. Intervenant 1

    C'est ça. Donc, posons un peu le décor pour ceux qui nous écoutent. Séville, ici, ça va représenter un ensemble mathématique. On va l'appeler, disons, l'ensemble H.

  18. Intervenant 2

    H pour habitant, j'imagine.

  19. Intervenant 1

    Exactement. Cet ensemble, il regroupe tous les habitants de la ville. Et jusque là, tout va bien.

  20. Intervenant 2

    C'est une ville qui fonctionne vraiment comme un laboratoire en vase clos. La municipalité a disons édicté une règle de vie en communauté super spécifique sur le rasage.

  21. Intervenant 1

    Oui, pour s'assurer que tout le monde soit impeccable. Et attention, c'est une règle implacable.

  22. Intervenant 2

    Ah, ça, on ne plaisante pas avec la barbe à Séville.

  23. Intervenant 1

    Non, pas du tout. La règle stipule qu'il n'y a qu'un seul barbier professionnel dans toute la ville. Et ce barbier, il a une mission exclusive. Il doit raser tous ceux et uniquement ceux qui ne se rasent pas eux-mêmes.

  24. Intervenant 2

    Donc, à première vue, sur le papier, c'est l'organisation du travail la plus rationnelle du monde, non ?

  25. Intervenant 1

    Totalement. Ceux qui ont la main sûre et un beau miroir, ils se débrouillent tout seuls chez eux. Et les autres, les maladroits ou ceux qui n'ont pas le temps, hop, ils s'installent dans le fauteuil du pro.

  26. Intervenant 2

    C'est clair. Et cette répartition, elle offre l'illusion d'être exhaustive. L'univers de Séville est divisé en deux catégories complètement étanches.

  27. Intervenant 1

    La mécanique a l'air parfaitement huilée. Pas de zone d'ombre.

  28. Intervenant 2

    Ouais, en apparence.

  29. Intervenant 1

    Et c'est là que j'interviens. Ok, décortiquons tout ça. Parce que si on y regarde de plus près, le mécanisme se grippe immédiatement.

  30. Intervenant 2

    Je sens que tu vas nous parler du barbier lui-même.

  31. Intervenant 1

    Bah oui ! Prenons ce fameux barbier professionnel. Appelons-le l'élément B de notre ensemble H. La question qui fâche, elle arrive hyper vite. Qui rase le barbier ?

  32. Intervenant 2

    Ah, la question fatidique.

  33. Intervenant 1

    Analysons les options qu'il a. S'il décide, un beau matin, de prendre son blaireau et de se raser lui-même, il enfreint la règle d'or de la ville.

  34. Intervenant 2

    Bah vu, puisque sa mission lui interdit formellement de raser les gens qui se rasent eux-mêmes.

  35. Intervenant 1

    Exactement. Dès que la lame touche sa joue, il devient quelqu'un qui se rase lui-même. Donc il n'est plus un client légitime pour le barbier, c'est-à-dire lui-même.

  36. Intervenant 2

    C'est la première mâchoire du piège logique. En fait, il est en infraction juste par l'action même de la réaliser.

  37. Intervenant 1

    C'est un truc de fou. Regardons donc l'autre option, histoire de le sauver. Disons qu'il décide de laisser pousser sa barbe. Il ne se rase pas lui-même.

  38. Intervenant 2

    Ok, donc là, il devient un client.

  39. Intervenant 1

    Voilà. Il bascule automatiquement dans la catégorie des simples clients, des habitants qui ne se rasent pas seuls. Or, la règle municipale oblige le barbier à raser tous les simples clients.

  40. Intervenant 2

    Donc, en tant que barbier, il doit attraper son rasoir et aller se raser.

  41. Intervenant 1

    Ce qui nous ramène exactement au point de départ. Notre élément B, le pauvre barbier, il est coincé dans une boucle infinie. C'est l'impasse absolue.

  42. Intervenant 2

    Et ce qui est fascinant ici, c'est de réaliser que cette sensation de vertige, tu sais, ce petit mal de tête qui s'installe quand on tourne en rond avec ce barbier, ça a une utilité profonde. Ce n'est pas juste pour nous embrouiller.

  43. Intervenant 1

    Non, ce n'est pas une simple ruse linguistique. Russell a vraiment conçu cette métaphore sur mesure pour vulgariser une faille sismique dans les fondations des maths.

  44. Intervenant 2

    Une faille sismique carrément.

  45. Intervenant 1

    Ouais. On est face à une antinomie pure. C'est une proposition qui s'auto-détruit en fait. Elle est simultanément vraie et fausse. Mais pour comprendre pourquoi ce paradoxe c'est pas juste une blague marrante pour animer un dîner, il faut comprendre ce qu'il a cassé, concrètement, dans les mathématiques. Parce que ce barbier, il ne sort pas de nulle part.

  46. Intervenant 2

    Non, c'est la conséquence directe d'une révolution scientifique.

  47. Intervenant 1

    Il faut remonter à la fin du XIXe siècle, à une époque où les maths cherchaient vraiment à solidifier leur base. Tout devait reposer sur des règles logiques inébranlables. Et c'est là qu'intervient Georges Cantor.

  48. Intervenant 2

    Un mathématicien de génie.

  49. Intervenant 1

    Le créateur de la théorie des ensembles. Cantor, il s'est attaqué à ce qui ne peut pas être compté avec des simples chiffres. En gros, il s'est attaqué à la nature de l'infini.

  50. Intervenant 2

    C'est un sacré morceau.

  51. Intervenant 1

    Et c'est là que ça devient vraiment intéressant. Parce qu'avant Cantor, l'infini, c'était un peu juste une notion vague. C'était genre le bout du bout, un grand sac sans fond.

  52. Intervenant 2

    Ouais, un concept abstrait, philosophique presque.

  53. Intervenant 1

    Mais Cantor a voulu prouver qu'on pouvait appliquer une rigueur absolue à l'infini. Qu'on pouvait même comparer des infinis entre eux.

  54. Intervenant 2

    Comparer des infinis, ça a l'air paradoxal dit comme ça.

  55. Intervenant 1

    Grave. Et pour y arriver, il a dû utiliser un outil super ingénieux. Un outil qui permet de comparer des tailles sans jamais avoir besoin de compter 1, 2, 3.

  56. Intervenant 2

    Ah, tu veux parler de la notion de bijection ? C'est un concept élégant et d'une simplicité redoutable qu'on apprend d'ailleurs au lycée.

  57. Intervenant 1

    Exactement. Explique-nous un peu comment ça

  58. Intervenant 2

    marche. Imaginons une salle de conférence remplie de sièges et une foule de gens à l'extérieur. Si le but, c'est de savoir s'il y a très exactement autant de sièges que de personnes, c'est complètement inutile de compter laborieusement chaque chaise puis chaque individu.

  59. Intervenant 1

    Surtout si on a des milliers quoi.

  60. Intervenant 2

    Voilà, l'effort serait vain. À la place, on demande simplement à tout le monde d'entrer et de s'asseoir.

  61. Intervenant 1

    Ah, malin !

  62. Intervenant 2

    Si chaque personne a une chaise et qu'il ne reste aucune chaise vide, on a une bijection parfaite, un pour un. Et du coup, on a prouvé que les deux ensembles ont exactement la même taille, sans jamais avoir prononcé un seul chiffre.

  63. Intervenant 1

    C'est brillant. Et cette méthode visuelle fonctionne merveilleusement bien. C'est d'ailleurs ce qui nous amène à un autre concept clé, l'ensemble des parties, qu'on note P de H en maths.

  64. Intervenant 2

    P de H, oui.

  65. Intervenant 1

    En gros, si on a un ensemble de bases, l'ensemble de ces parties, ça représente absolument toutes les combinaisons possibles que l'on peut faire avec ces éléments. Et là, Cantor pose une règle d'airain. Il affirme que l'ensemble des parties est toujours, structurellement, plus grand que l'ensemble de bases.

  66. Intervenant 2

    Ouais, on ne peut pas les mettre en biélection.

  67. Intervenant 1

    Pour que ce soit limpide pour ceux qui nous écoutent, restons dans le visuel. Oublions les salles de classe, allons dans une cuisine.

  68. Intervenant 2

    D'accord, j'adore les analogies culinaires.

  69. Intervenant 1

    Disons que notre ensemble de base, c'est notre garde-manger. Dedans, il n'y a que quatre ingrédients. Du sel, du poivre, de l'ail et du thym.

  70. Intervenant 2

    Ok, un garde-manger très modeste. Quatre éléments donc.

  71. Intervenant 1

    Mais l'ensemble des parties, dans notre métaphore, c'est le grand livre de recettes. Ce sont toutes les associations possibles. Un plat avec juste du sel, un autre avec poivre et ail, un truc avec les quatre ingrédients en même temps.

  72. Intervenant 2

    Ou même un plat sans aucun ingrédient, ce qui serait l'ensemble vide en maths.

  73. Intervenant 1

    Exactement. Le jeûne total. Et les maths sont formelles. Avec quatre ingrédients de base, il existe très exactement 16 combinaisons possibles. 16 recettes. Deux à la puissance 4.

  74. Intervenant 2

    C'est ça. Et la différence de taille, elle saute aux yeux. Si on essaie de faire une bijection d'associer nos ingrédients simples à nos recettes…

  75. Intervenant 1

    Genre le sel finance la recette A, le poivre la recette B, l'ail la recette C et le thym la recette D. J'ai utilisé tous mes éléments de base.

  76. Intervenant 2

    Oui, ton garde-manger est vide.

  77. Intervenant 1

    Voilà, mais il me reste encore douze recettes orphelines dans mon livre. Douze combinations qui n'ont aucun ingrédient exclusif associé. Il est physiquement impossible de couvrir toutes les recettes avec mes quatre éléments simples.

  78. Intervenant 2

    C'est ce qu'on appelle en jargon mathématique l'échec de la surjection. L'ensemble d'arrivées est beaucoup trop vaste.

  79. Intervenant 1

    Et donc, cette analogie culinaire, elle illustre super bien le mécanisme pour des nombres finis. Mais là où Cantor veut un truc de fou, c'est d'affirmer que cette règle tient encore face à l'infini.

  80. Intervenant 2

    C'est ça, son vrai coup de maître. Il a postulé qu'il n'y a pas qu'un seul infini unique. Si on prend un ensemble qui contient une infinité d'éléments, l'ensemble de ces combinaisons forme un nouvel infini strictement plus grand que le premier.

  81. Intervenant 1

    C'est vertigineux, c'est vraiment l'échelle des infinis. Mais attends, comment on peut prouver qu'une association échoue quand on a à la base une infinité d'ingrédients à disposition ?

  82. Intervenant 2

    C'est vrai que c'est contre-intuitif. On pourrait se dire qu'avec une infinité de bases, on a largement de quoi couvrir n'importe quelle infinité de combinaisons, non ?

  83. Intervenant 1

    Bah oui, l'infini c'est l'infini quoi. Comment Cantor a prouvé que c'était faux ?

  84. Intervenant 2

    En fait, il a utilisé la ruse ultime de la logique formelle, le raisonnement par l'absurde. Il n'a pas essayé de démontrer l'impossibilité de face.

  85. Intervenant 1

    D'accord.

  86. Intervenant 2

    Il a plutôt dit, très bien, acceptons votre idée, supposons qu'il existe une fonction miraculeuse, on l'appellera f, et elle serait capable d'associer parfaitement chaque élément de notre infini de base à absolument toutes les combinaisons possibles, sans en laisser une seule de côté.

  87. Intervenant 1

    Donc il suppose que la surjection existe vraiment.

  88. Intervenant 2

    Voilà. Il accepte la prémisse, mais c'est pour mieux la piéger de l'intérieur. Il va construire une bombe à retardement logique au sein même de cette hypothèse.

  89. Intervenant 1

    J'adore. Comment il fait ?

  90. Intervenant 2

    Il invente un sous-ensemble spécifique, une combinaison particulière qu'il appelle l'ensemble C. Et la définition de ce sous-ensemble C, accroche-toi, c'est « il regroupe tous les éléments de base qui n'appartiennent pas à leur propre image par la fonction f ».

  91. Intervenant 1

    Wow, wow, wow, je t'arrête. Tu m'as complètement perdu là. C'est beaucoup trop abstrait. L'ensemble C, c'est l'ensemble des éléments qui ne sont pas dans leur image S.

  92. Intervenant 2

    Ouais, je sais que c'est lourd à digérer.

  93. Intervenant 1

    Bah, le cerveau humain n'est pas fait pour avaler des phrases comme ça au petit-déj. Comment on peut visualiser cette mécanique ?

  94. Intervenant 2

    T'inquiète pas, la confusion est hyper naturelle. C'est vraiment le point de bascule de la théorie. Faisons appel à une modélisation visuelle. On va utiliser un système de couleurs.

  95. Intervenant 1

    Ok, je suis prêt.

  96. Intervenant 2

    Imaginons que notre fonction magique, elle distribue des pots de peinture. On va observer chaque élément de base et vérifier où pointe son association, sa fameuse image dans le livre de recettes. D'accord,

  97. Intervenant 1

    je sors mes pinceaux imaginaires.

  98. Intervenant 2

    La règle est simple. Si un élément de base est inclus dans la combinaison à laquelle on l'a associé, on le peint en bleu. Par exemple, si l'ingrédient sel est associé à une recette qui contient effectivement du sel, le sel devient bleu.

  99. Intervenant 1

    Logique, il est dedans, donc bleu.

  100. Intervenant 2

    En revanche, si l'élément de base n'est pas inclus dans sa combinaison d'arrivée, on le peint en rouge. Si l'ingrédient poivre est associé à une recette de macarons à la phrase, donc sans poivre, il devient rouge.

  101. Intervenant 1

    Parfait, l'image est hyper claire. Le bleu pour ceux qui sont dans leur image, le rouge pour ceux qui n'y sont pas.

  102. Intervenant 2

    Maintenant, souviens-toi de l'ensemble C inventé par Cantor. C'était l'ensemble de ceux qui n'appartiennent pas à leur image. Dans notre visualisation, l'ensemble C, c'est donc très exactement la collection de tous les éléments peints en rouge.

  103. Intervenant 1

    Le rouge, c'est l'ensemble C. OK, j'ai l'ensemble rouge d'un côté et le reste en bleu. Et alors ? Il est où le piège ?

  104. Intervenant 2

    Et alors, le piège se referme maintenant. Rappelons notre grande hypothèse de départ. On avait supposé que notre fonction f couvre absolument toutes les combinaisons possibles, sans exception. C'est vrai. L'ensemble rouge, c'est une de ces combinaisons. Donc obligatoirement, pour que la fonction soit parfaite, comme on l'a supposé, il doit y avoir un ingrédient de départ, un antécédent qui pointe spécifiquement vers ce groupe rouge. Appelons cet antécédent particulier l'élément b,

  105. Intervenant 1

    Ah, le fameux antécédent B. Je sens qu'on se rapproche dangereusement de Séville et de notre barbier, là.

  106. Intervenant 2

    Totalement. Et la question qui détruit l'univers mathématique arrive. De quelle couleur doit être peint cet élément B ?

  107. Intervenant 1

    Ok, faisons le test. On va vite le savoir. Première hypothèse. Disons que je peins l'élément B en rouge.

  108. Intervenant 2

    Ok, suis la logique.

  109. Intervenant 1

    Si je le peins en rouge, ça signifie, par définition, qu'il fait partie de l'ensemble C. Mais attends, la règle stricte pour être rouge, c'est de ne pas appartenir à son image d'arrivée. Exactement. Or, l'image d'arrivée de B, on vient de dire que c'est précisément l'ensemble C. Donc si B est dans C, il contredit la règle du rouge. Il ne peut pas y être, il doit être éjecté.

  110. Intervenant 2

    Et s'il est éjecté, il devient quoi ?

  111. Intervenant 1

    Il devient bleu.

  112. Intervenant 2

    Et voilà. L'hypothèse rouge s'effondre complètement. Testons donc l'hypothèse bleue.

  113. Intervenant 1

    Alors, si B est bleu, ça signifie qu'il n'appartient pas à l'ensemble C. Mais la règle pour être bleu, c'est d'être inclus dans son image d'arrivée. Et son image, c'est toujours l'ensemble C.

  114. Intervenant 2

    Tout à fait.

  115. Intervenant 1

    Donc, s'il est bleu, il doit obligatoirement entrer dans C. Ce qui est, en fait, l'exacte définition d'un élément

  116. Intervenant 2

    rouge.

  117. Intervenant 1

    Il change de couleur sous nos yeux.

  118. Intervenant 2

    C'est un bug dans la matrice.

  119. Intervenant 1

    Si B est rouge, il devient bleu. Si il est bleu, il devient rouge. La logique vient de s'autodétruire en direct.

  120. Intervenant 2

    Et si on relie ça à la situation dans son ensemble, Cantor vient d'apporter la preuve ultime. L'antécédent B est contraint d'être contradictoire. Et puisque cette absurdité fatale découle directement de notre supposition initiale, à savoir qu'une surjection parfaite existait, ça signifie que la supposition était fausse.

  121. Intervenant 1

    L'application feu est chimérique.

  122. Intervenant 2

    Exactement. Il n'existe aucune fonction capable de couvrir l'ensemble des combinaisons. L'ensemble des parties d'un infini est indéniablement un infini de taille supérieure. Fin du game. Kantor a gagné.

  123. Intervenant 1

    Les mathématiques sont donc sauvées par cette démonstration par l'absurde, cette fameuse preuve que l'hypothèse de départ menait dans un mur. C'est d'ailleurs un mécanisme fondamental qu'on retrouve ailleurs, non ?

  124. Intervenant 2

    Oui, dans plein de domaines. Par exemple, c'est ce même principe qui menace nos technologies modernes. Si tu programmes un algorithme informatique pour traiter une base de données avec ce type de fonction autoréférentielle, et qu'il rencontre une boucle du type rouge-ci-bleu, bleu-ci-rouge…

  125. Intervenant 1

    Et qu'il rencontre une boucle ?

  126. Intervenant 2

    Bah, la mémoire sature, le processeur s'emballe et le système crache. C'est du très concret. L'architecture logique sous-jacente est vraiment universelle. De la théorie des ensembles aux serveurs informatiques.

  127. Intervenant 1

    Ok, ok. Mais du coup, qu'est-ce que tout ça veut dire pour Séville ?

  128. Intervenant 2

    Ah ! Retour en Andalousie !

  129. Intervenant 1

    Bah oui, notre op art dit, l'application fait, dans l'histoire ça représentait l'action de raser. L'ensemble des éléments rouges, c'était les simples clients de la ville. Et notre pauvre antécédent B, coincé dans cette boucle infernale qui fait planter l'ordinateur, c'était le barbier professionnel. C'est

  130. Intervenant 2

    exactement ça le parallèle.

  131. Intervenant 1

    Cantor prouve que B ne peut pas exister mathématiquement. Mais dans notre histoire, dans la vraie vie, la ville existe, la boutique a une enseigne, il y a bien un être humain à l'intérieur, avec un rasoir à la main.

  132. Intervenant 2

    On se demande bien comment il fait pour ne pas exploser, oui.

  133. Intervenant 1

    Comment ce personnage échappe-t-il au crash logique dans le monde physique ?

  134. Intervenant 2

    C'est là que la lecture de nos sources offre une résolution absolument fascinante, en pointant du doigt en fait la limite de la modélisation abstraite. La contradiction implacable du barbier de Séville repose sur un postulat silencieux.

  135. Intervenant 1

    Un postulat silencieux. Une variable cachée.

  136. Intervenant 2

    Exactement. Une variable physique non déclarée qui accompagnait l'énoncé de Russell à son époque.

  137. Intervenant 1

    C'est quoi cette variable ?

  138. Intervenant 2

    L'énigme sous-entendait, sans jamais s'embêter à le préciser, que tous les habitants de la ville pris en compte dans cette équation, et donc le barbier lui-même, étaient des hommes. Des êtres biologiquement pourvus d'une barbe susceptible d'être rasée.

  139. Intervenant 1

    Oh le coup de théâtre ! L'article le dit dans son titre, le barbier était une femme. Mais oui, si on intègre cette simple donnée biologique au scénario, tout change.

  140. Intervenant 2

    Totalement.

  141. Intervenant 1

    Imaginons la scène. La femme barbier s'installe dans sa boutique et elle rase scrupuleusement tous les hommes de la ville qui ne se rasent pas eux-mêmes. Le contrat municipal est rempli à la lettre. L'ensemble des clients, l'ensemble rouge, est parfaitement pris en charge. La

  142. Intervenant 2

    fonction est opérante. Mais qu'advient-il de la fameuse boucle paradoxale alors ?

  143. Intervenant 1

    Elle s'évapore purement et simplement. La question fatidique « qui rase le barbier ? » perd complètement son caractère paradoxal. Puisqu'elle est une femme, sa physiologie la dispense de l'action même de se raser le visage. C'est élégant, non ? Tellement. Elle ne se rase pas elle-même, certes, mais elle n'a pas non plus besoin des services du barbier. La boucle autoréférentielle est brisée par l'absence d'objet.

  144. Intervenant 2

    Et c'est ça qui est génial. L'élément B s'extrait de l'ensemble par une dimension physique que la théorie n'avait pas du tout anticipée. Et ça soulève une question super importante sur l'histoire des sciences. Ah

  145. Intervenant 1

    bon ? Laquelle ?

  146. Intervenant 2

    Bah quand Russell et ses contemporains, qui étaient tous des hommes, ont formulé cette image à la fin du XIXe siècle, le monde académique projetait naturellement ses propres postulats physiques et sociaux sur des concepts de logique pure.

  147. Intervenant 1

    C'est fou, ils ont utilisé un décor physique, avec ses lois organiques et matérielles, pour illustrer une entité mathématique complètement abstraite.

  148. Intervenant 2

    Et des pourvis de chair, oui. Ce télescopage nous enseigne qu'on ne peut pas transposer les lois de l'abstraction pure sur le monde tangible sans faire super attention.

  149. Intervenant 1

    C'est clair. Dans l'univers abstrait de Cantor, les éléments c'est juste des entités neutres, elles sont soumises à la tyrannie absolue de la logique formelle. Donc le paradoxe est inéluctable.

  150. Intervenant 2

    Mais le monde réel, lui, il est riche en contextes. Le genre, la biologie, les variables physiques. Tout ça, ça offre des portes de sortie latérales. Des échappatoires qui viennent désamorcer la baume conceptuelle.

  151. Intervenant 1

    C'est un voyage intellectuel extraordinaire quand on prend le temps de s'y arrêter. On a commencé notre exploration en souriant face à une devinette sur l'hygiène capillaire d'une cité andalouse.

  152. Intervenant 2

    Et sur les risques de surchauffe crânienne devant son miroir.

  153. Intervenant 1

    C'est ça, on s'est demandé si le cerveau du pauvre barbier allait fondre. Et de cette impasse cocasse, on a remonté le fil jusqu'à la révolution structurelle de Georges Cantor.

  154. Intervenant 2

    Une révolution qui a quand même forcé l'esprit humain à accepter l'existence d'une hiérarchie d'infini, prouvant qu'il y aura toujours un horizon de combinaisons plus vaste que l'horizon des éléments de départ.

  155. Intervenant 1

    On est passé des salles de classe aux analogies culinaires, on a vu des éléments clignoter en rouge et bleu, et on a touché du doigt l'arme de destruction massive qu'est le raisonnement par l'absurde.

  156. Intervenant 2

    Arme capable de faire s'effondrer des théorèmes entiers comme de simples châteaux de cartes.

  157. Intervenant 1

    C'est une magnifique démonstration de la puissance des mathématiques. Capable de repousser les limites de l'imaginable. Tout en nous rappelant que nos illustrations du monde réel ont la fâcheuse habitude d'introduire des petits imprévus salvateurs.

  158. Intervenant 2

    C'est bien vrai. La beauté de cette discipline réside souvent dans la tension, je trouve, entre la rigidité intraitable d'une preuve et la poésie un peu imparfaite des métaphores que l'on crée pour la comprendre.

  159. Intervenant 1

    C'est très joliment dit. Et ça conclut notre plongée dans cet assemblage de sources et dans cet article merveilleusement titré « Le barbier était une femme ». C'était vertigineux de bout en bout. On espère que cette exploration a stimulé la curiosité de tous les passionnés qui nous écoutent.

  160. Intervenant 2

    Sans pour autant provoquer la surchauffe logique de notre infortuné barbier abstrait, évidemment. Mais avant de rendre l'antenne, il me semble quand même indispensable de déposer une toute dernière graine de réflexion.

  161. Intervenant 1

    Oula, je t'écoute.

  162. Intervenant 2

    Elle est tirée directement de la conclusion de l'un de nos textes sources. Le fait d'introduire une femme barbier, c'est d'une élégance absolue pour déjouer le paradoxe de la pilosité, on est d'accord ?

  163. Intervenant 1

    Ouais.

  164. Intervenant 2

    Mais l'esprit humain est têtu et la logique formelle n'abandonne jamais si facilement. Transposons juste un instant la stricte loi de cette ville parfaite à une autre profession. Un métier qui, lui, s'applique inévitablement de manière universelle, sans aucune échappatoire biologique de genre.

  165. Intervenant 1

    J'ai un peu peur de la question.

  166. Intervenant 2

    Si la révélation andalouse nous a sorti du piège pour le rasage, retour à l'envoyeur et au vertige, dans cette même ville soumise à une dichotomie parfaite, qui coiffe la coiffeuse ?

  167. Intervenant 1

    La boucle est bouclée. Elle casse tête repart à zéro.

  168. Intervenant 2

    Les mathématiques laissent toujours la porte ouverte à la prochaine insomnie.

À écouter ensuite

Des épisodes qui partagent une playlist, une figure ou un domaine avec celui-ci.