L'Encyclopédie
Accueil · Mathématiques

La Logique, les Paradoxes et Gödel

La logique n'étudie pas ce qui est vrai. Elle étudie ce qui SUIT. C'est la distinction fondatrice, et elle est due à Aristote.

1. Ce qu’est la logique — et ce qu’elle n’est pas

La logique n’étudie pas ce qui est vrai. Elle étudie ce qui SUIT.

C’est la distinction fondatrice, et elle est due à Aristote. La validité d’un raisonnement est indépendante de la vérité de ses prémisses.

Tous les chats sont mortels. Socrate est un chat. Donc Socrate est mortel.

Ce raisonnement est parfaitement VALIDE, et sa conclusion est vraie — mais sa deuxième prémisse est fausse. Inversement :

Tous les hommes sont mortels. Socrate est mortel. Donc Socrate est un homme.

Les prémisses sont vraies, la conclusion est vraie — et le raisonnement est INVALIDE. (C’est l’affirmation du conséquent. Remplacez « Socrate » par « mon chien » : les prémisses restent vraies, la conclusion devient fausse. C’est ainsi qu’on teste une forme.)

👉 La logique porte sur la FORME, jamais sur le contenu. C’est ce qui la rend mécanisable — et donc ce qui rend possibles les ordinateurs.

Les deux règles à connaître par leur nom :

| Modus ponens | Si A alors B. Or A. Donc B. (Valide.) | | Modus tollens | Si A alors B. Or non-B. Donc non-A. (Valide — et c’est la structure même de la réfutation scientifique : voir Popper.) |

Et les deux erreurs qui leur ressemblent :

| Affirmation du conséquent | Si A alors B. Or B. Donc A. ❌ (« S’il pleut, le sol est mouillé. Le sol est mouillé, donc il a plu. » Non : quelqu’un a pu arroser.) | | Négation de l’antécédent | Si A alors B. Or non-A. Donc non-B. ❌ (« S’il pleut, le sol est mouillé. Il ne pleut pas, donc le sol est sec. » Non.) |

Ces deux erreurs sont, de très loin, les plus fréquentes dans le débat public.

2. Les paradoxes de Zénon — et pourquoi il a fallu 2 200 ans pour les résoudre

Zénon d’Élée (Vᵉ s. av. J.-C.) construit des arguments visant à prouver que le mouvement est impossible.

Achille et la tortue. Achille court dix fois plus vite ; il laisse à la tortue 100 mètres d’avance. Quand Achille atteint le point de départ de la tortue, elle a avancé de 10 m. Quand il atteint ce point, elle a avancé de 1 m. Puis de 0,1 m. Il y a donc une infinité d’étapes. Achille ne rattrapera JAMAIS la tortue.

Et pourtant, il la rattrape. Où est la faille ?

On répond souvent : « la somme d’une infinité de termes peut être finie » (100 + 10 + 1 + 0,1 + … = 111,11…). C’est exact, et c’est insuffisant.

Car il faut expliquer POURQUOI une somme infinie peut converger — et cela suppose une définition rigoureuse de la limite, qui n’existait pas. Newton et Leibniz calculaient avec des « infiniment petits » qu’ils ne savaient pas définir — l’évêque Berkeley les a ridiculisés en 1734 : « Que sont ces fluxions ? Les fantômes de quantités défuntes ? » Il avait raison sur le plan logique.

👉 Ce n’est qu’avec Cauchy et Weierstrass, au XIXᵉ siècle, que la notion de limite est enfin définie proprement (le fameux « epsilon-delta »). Zénon a donc fait travailler les mathématiciens pendant vingt-trois siècles. Un paradoxe n’est pas une devinette : c’est le signalement d’un défaut dans nos concepts.

3. Cantor et l’infini — il y a plusieurs infinis

Georg Cantor (1874-1891) démontre une chose qui a rendu ses collègues furieux : tous les infinis ne sont pas égaux.

Comment compare-t-on deux ensembles infinis ? On ne peut pas les compter. Mais on peut essayer de les APPARIER, un à un.

Résultat 1 — et il est déjà déroutant : il y a autant de nombres pairs que d’entiers. (Appariez 1↔2, 2↔4, 3↔6… aucun ne reste sans partenaire.) La partie est aussi grande que le tout. (C’est la définition même d’un ensemble infini.)

Il y a aussi autant de fractions que d’entiers. (Cantor le montre en les rangeant en diagonale dans un tableau.) Ces ensembles sont dénombrables.

Résultat 2 — la démonstration la plus élégante de toutes les mathématiques : les nombres RÉELS ne sont PAS dénombrables.

L’argument diagonal. Supposez qu’on ait réussi à lister tous les réels entre 0 et 1, dans un ordre quelconque :

1 → 0,1415926...
2 → 0,3333333...
3 → 0,7182818...
...

Cantor construit alors un nouveau nombre : il prend le 1er chiffre du 1er nombre et le change ; le 2ᵉ chiffre du 2ᵉ nombre et le change ; le 3ᵉ du 3ᵉ, etc.

Le nombre obtenu diffère du 1er (par sa 1ʳᵉ décimale), du 2ᵉ (par sa 2ᵉ), du 3ᵉ… il diffère de TOUS les nombres de la liste, par construction.

👉 Donc la liste était incomplète. Donc aucune liste ne peut être complète. Donc les réels sont « plus infinis » que les entiers.

C’est un raisonnement d’une demi-page qui établit qu’il existe une hiérarchie d’infinis. Cantor est mort en hôpital psychiatrique ; Kronecker, son ancien maître, l’a persécuté toute sa vie (« Dieu a créé les entiers, tout le reste est l’œuvre de l’homme »). Hilbert a tranché : « Nul ne nous chassera du paradis que Cantor a créé pour nous. »

⚠️ Et retenez la technique de l’argument diagonal : Gödel et Turing la reprendront tous les deux. C’est le même coup, joué trois fois.

4. Russell fait exploser la logique (1901)

Le paradoxe du barbier, version populaire : dans un village, le barbier rase tous ceux qui ne se rasent pas eux-mêmes, et seulement ceux-là. Qui rase le barbier ?

  • S’il se rase lui-même, alors il ne devrait pas (il ne rase que ceux qui ne se rasent pas).
  • S’il ne se rase pas lui-même, alors il devrait (il rase tous ceux-là).

Version formelle : soit R = l’ensemble de tous les ensembles qui ne se contiennent pas eux-mêmes. R se contient-il lui-même ? Les deux réponses sont contradictoires.

Ce n’est pas un jeu. Russell écrit à Frege en 1902, alors que celui-ci vient d’achever l’ouvrage de sa vie — la fondation de toute l’arithmétique sur la logique. Frege ajoute une postface au tome II : « Il n’est rien de plus fâcheux pour un écrivain scientifique que de voir, après l’achèvement d’un travail, l’un de ses fondements ébranlé. » Son œuvre est morte.

👉 Le paradoxe montre qu’on ne peut pas construire les ensembles naïvement (« l’ensemble de tous les x tels que… »). Il faut des axiomes. D’où la théorie axiomatique des ensembles (ZFC), sur laquelle reposent aujourd’hui toutes les mathématiques.

5. GÖDEL (1931) — le théorème qu’il faut comprendre et qu’on cite toujours mal

Le contexte : le programme de Hilbert. Hilbert veut fonder les mathématiques sur un système d’axiomes qui soit :

  • COHÉRENT (on ne peut pas démontrer une chose et son contraire),
  • COMPLET (tout énoncé vrai est démontrable),
  • DÉCIDABLE (une procédure mécanique tranche tout).

Kurt Gödel, à 25 ans, démontre que c’est impossible.

Le premier théorème d’incomplétude

Dans tout système formel cohérent et assez puissant pour contenir l’arithmétique, il existe des énoncés VRAIS qui ne sont PAS DÉMONTRABLES dans ce système.

Comment il fait, en clair. Gödel invente un codage : il attribue un numéro à chaque symbole, à chaque formule, à chaque démonstration. Les mathématiques peuvent donc PARLER D’ELLES-MÊMES, en parlant de nombres.

Puis il construit un énoncé, appelons-le G, qui dit — en langage arithmétique — :

« Cet énoncé n’est pas démontrable. »

Regardons ce qui se passe :

  • Si G est démontrable, alors G est vrai. Mais G dit qu’il n’est pas démontrable. Contradiction. Le système est incohérent.
  • Donc, si le système est cohérent, G n’est PAS démontrable.
  • Mais alors G dit exactement la vérité. G est donc VRAI.

👉 Conclusion : il existe un énoncé VRAI et NON DÉMONTRABLE. Le système est incomplet.

Et on ne s’en sort pas en ajoutant G comme axiome : le nouveau système permet de construire un nouveau G’. L’incomplétude est irréparable.

Le second théorème

Aucun système cohérent ne peut démontrer sa propre cohérence.

Autrement dit : si un système prouve qu’il est cohérent, c’est précisément qu’il ne l’est pas. (Un menteur qui vous jure qu’il ne ment jamais.)

⚠️ Ce que Gödel NE dit PAS — et c’est ici que tout le monde se trompe

Non, Gödel ne dit pas que « rien n’est certain », ni que « la vérité est relative », ni que « la raison a des limites », ni que « tout se vaut ». Ces usages sont faux, et ils sont partout — chez les postmodernes, dans le développement personnel, dans les débats de comptoir.

Ce que Gödel dit, exactement :

  • Il porte sur les SYSTÈMES FORMELS, pas sur la pensée humaine, ni sur la morale, ni sur la politique.
  • Il montre que la VÉRITÉ excède la DÉMONSTRABILITÉ. C’est l’inverse d’un relativisme : cela suppose qu’il existe des vérités mathématiques indépendantes de nos preuves. Gödel était un platonicien convaincu.
  • Les mathématiques ne s’effondrent pas. Aucune mathématique utile n’a jamais été affectée par l’incomplétude. Les énoncés indécidables sont exotiques. (Le plus célèbre exemple naturel : l’hypothèse du continu — Cohen, 1963 — est indécidable dans ZFC.)

La formulation honnête : Gödel n’a pas montré que la raison est faible. Il a montré qu’AUCUN SYSTÈME NE PEUT SE FONDER LUI-MÊME. (Et c’est déjà énorme.)

6. Turing (1936) — et l’ordinateur naît d’un échec

Turing s’attaque à la troisième question de Hilbert : la DÉCIDABILITÉ. Existe-t-il une procédure mécanique capable de dire, pour tout énoncé, s’il est démontrable ?

Pour répondre, il doit d’abord définir « procédure mécanique ». Il invente donc une machine imaginaire — la machine de Turing. (Un ruban, une tête de lecture, des règles. C’est la définition de « calculable » qui fait toujours autorité.)

Puis il démontre le PROBLÈME DE L’ARRÊT :

Il n’existe aucun programme capable de déterminer, pour tout programme et toute entrée, si ce programme finira par s’arrêter ou tournera indéfiniment.

La preuve reprend la diagonale de Cantor et l’autoréférence de Gödel. (Supposez qu’un tel programme H existe. Construisez un programme qui interroge H sur lui-même et fait le contraire de ce que H prédit. Contradiction.)

👉 Et voici le fait le plus beau de toute cette histoire : pour prouver qu’une machine ne peut PAS tout faire, Turing a dû définir précisément ce qu’est une machine. En cherchant les limites du calcul, il a inventé l’ordinateur.

Dimension symbolique

Le fil qui relie Zénon, Cantor, Russell, Gödel et Turing porte un nom : l’AUTORÉFÉRENCE.

À chaque fois, l’explosion vient du même geste : un système qui se prend lui-même pour objet. L’ensemble qui se contient. L’énoncé qui parle de sa propre démonstrabilité. Le programme qui s’interroge sur lui-même. C’est le vieux paradoxe du menteur — « je mens » — et il a mis en pièces la logique la plus rigoureuse jamais construite.

Et il faut voir ce que cela signifie. Pendant deux mille ans, on a cru que la difficulté des mathématiques venait de leur complexité. Gödel a montré qu’elle vient de leur PROFONDEUR : une chose assez riche pour se décrire elle-même est nécessairement incapable de se clore. La complétude et la puissance sont incompatibles.

Il y a là une leçon qui déborde les mathématiques, à condition de ne pas la surcharger. Aucun système ne peut se justifier avec ses seules ressources. La logique ne fonde pas la logique ; le droit ne fonde pas sa propre légitimité ; et un esprit ne peut pas se voir entièrement de l’intérieur. Ce n’est pas un mysticisme — c’est une contrainte formelle, et c’est ce qui la rend redoutable.

Enfin, le plus étrange : de ces trois échecs — Zénon qui nie le mouvement, Russell qui casse Frege, Gödel qui tue Hilbert — sont nés le calcul infinitésimal, la théorie des ensembles et l’informatique. En mathématiques, on ne progresse jamais mieux que par un paradoxe qu’on n’arrive pas à digérer.

🔗 Liens