Raymond Smullyan : des énigmes jusqu’à la preuve de Gödel

Intervenant 10:00

Bienvenue à toutes et à tous dans le podcast du magazine Tangente. Aujourd'hui, on plonge dans nos archives pour explorer l'esprit d'un véritable prestigitateur.

Intervenant 20:10

Un terme qui lui va à merveille,

Intervenant 10:11

oui. Complètement. Imaginez un homme capable de concevoir des théorèmes d'une complexité inouïe le matin, de faire des tours de magie professionnelles l'après-midi et d'enregistrer des sonates au piano le soir.

Intervenant 20:23

C'est pas banal, c'est sûr.

Intervenant 10:25

Pas du tout. Cet homme, c'est Raymond Smullyan, qui nous a quittés en 2017 à l'âge de 98 ans. Et pour moi, c'est vraiment le couteau suisse de l'intellect. Il était astronome, joueur d'échecs, logicien, philosophe.

Intervenant 20:38

Une vraie figure de la Renaissance en fait, mais au XXe siècle.

Intervenant 10:41

Exactement. Et ce qui est fascinant, c'est la façon dont toute cette polyvalence et surtout son côté magicien a nourri son talent principal.

Intervenant 20:49

Oui, sa capacité incroyable à rendre la logique mathématique accessible au grand public.

Intervenant 10:55

Voilà. En fait, il refusait totalement de voir les maths comme une citadelle intouchable.

Intervenant 20:59

Pour lui, la logique, c'était d'abord un terrain de jeu, un immense bac à sable, tu vois.

Intervenant 11:03

Ouais, et ça se voit direct avec ses livres publiés chez Dunaud. On a des titres franchement assez géniaux, genre « Quel est le titre de ce livre rond ? » ou « Le livre qui rend fou ».

Intervenant 21:14

Ou encore « Ça y est, je suis fou ».

Intervenant 11:17

C'est ça. Ça donne tout de suite envie de les ouvrir. Mais j'ai quand même un gros doute là-dessus.

Intervenant 21:23

Ah bon ? Un doute sur quoi ?

Intervenant 11:25

Sur la promesse de fond en fait. On nous dit qu'avec de simples recueils de casse-tête, on peut finir par comprendre le théorème d'incomplétude de Gödel.

Intervenant 21:32

Ouais, un démon sacré des mathématiques.

Intervenant 11:34

C'est ça. Du coup, passer d'une devinette sympa à la logique formelle la plus pure, c'est pas juste une exagération d'éditeur. Franchement.

Intervenant 21:42

On a totalement le droit d'être sceptique face à ça. Mais la mécanique interne de ses livres prouve vraiment le contraire. En fait, pour comprendre le génie de Smullyan, il faut rappeler vite fait ce que dit Gödel.

Intervenant 11:53

Vas-y, je t'écoute.

Intervenant 21:54

En simplifiant beaucoup, son théorème démontre que dans tout système mathématique, il y aura toujours des vérités qui sont impossibles à prouver par le calcul. Des

Intervenant 12:02

choses vraies mais indémontrables.

Intervenant 22:04

Exactement. C'est le vertige de l'autoréférence.

Intervenant 12:07

Ah oui, le fameux paradoxe du menteur. Le classique « je suis en train de mentir, s'il dit vrai, alors il ment, et s'il ment, il dit vrai ». Le cerveau fait un nœud, là.

Intervenant 22:16

C'est tout à fait ça. Et au lieu de nous assommer avec des équations sur ces systèmes-là, Smullyan utilise ces paradoxes comme des ressorts narratifs.

Intervenant 12:25

Il ne fait pas de cours magistral, du coup ?

Intervenant 22:27

Non, jamais. Il te fait résoudre une série de problèmes qui, l'air de rien, se complexifient de façon presque invisible.

Intervenant 12:34

Donc, en gros, c'est comme s'il nous apprenait à crocheter une serrure à l'aveugle. On manipule les outils sans voir le mécanisme, jusqu'à entendre le déclic.

Intervenant 22:43

Mais l'analogie est parfaite. Par l'acte même de jouer, en déduisant étape par étape qui ment et qui dit la vérité, le lecteur finit par dérouler lui-même la démonstration de Gödel. Empiriquement, quoi.

Intervenant 12:55

C'est brillant. Et pour habiller toute cette mécanique, il a créé des personnages qui sont devenus cultes. Moi, j'adore l'inspecteur Craig.

Intervenant 23:02

Ah, le fameux Sherlock Holmes des maths qui résout des meurtres juste par déduction logique.

Intervenant 13:07

Voilà. Mais le plus marquant, ça reste quand même son trio infernal.

Intervenant 23:11

Les purs, les pires et les versatiles.

Intervenant 13:14

C'est ça, les purs qui disent systématiquement la vérité, les pires qui mentent tout le temps et les versatiles.

Intervenant 23:20

Qui sont totalement imprévisibles. Ce

Intervenant 13:22

qui rend l'équation diabolique, on est d'accord ?

Intervenant 23:24

Complètement. Et ce qui est fou avec ce trio, c'est qu'il a largement débordé des livres de Smullyan. Ses figures ont carrément pris vie en fait.

Intervenant 13:32

Elles ont inspiré d'autres auteurs, tu veux dire ?

Intervenant 23:34

Ah oui, toute une génération d'auteurs de jeux de logique. Prends l'exemple des Versatiles. Ce concept précis a directement inspiré la bande dessinée

Intervenant 13:42

Oedipiland.

Intervenant 23:44

Scénarisée par Gérard Cohen-Zardi, c'est bien ça ?

Intervenant 13:46

Exactement. Paru aux Éditions POLE, Smullyan a fourni un cadre tellement robuste que d'autres s'en sont emparés pour l'amener vers de nouveaux formats. Il a vraiment transformé une théorie abstraite en un univers narratif expansif.

Intervenant 23:59

Et c'est ça, la grande leçon de son œuvre. Raymond Smullyan a prouvé de façon éclatante que la plus haute rigueur mathématique n'est pas du tout incompatible avec le divertissement pur.

Intervenant 14:09

Le plaisir du jeu et la profondeur scientifique peuvent donc parfaitement cohabiter. C'est ultra rafraîchissant pour ceux qui trouvent les sciences un peu trop figées.

Intervenant 24:18

Absolument.

Intervenant 14:19

Et ça laisse quand même avec une pensée assez vertigineuse pour terminer. Si un esprit comme celui de Smullyan a pu prendre un concept aussi impénétrable que le théorème de Gödel pour en faire un jeu grand public, et bien quels autres mystères de la science n'attendent finalement que le bon concepteur d'énigmes pour être enfin déverrouillé ?