Paradoxe de richard

Paradoxe de richard

Paradoxe de Richard

Le paradoxe de Richard apparaît dans une théorie des ensembles qui n'est pas suffisamment formalisée. Il a joué un rôle important dans les recherches sur les fondements des mathématiques, en particulier au début du XXe siècle, et a suscité depuis sa publication en 1905 de nombreux commentaires. Son auteur, le mathématicien français Jules Richard, professeur au lycée de Dijon, le décrivit dans une lettre au directeur de la Revue générale des Sciences Pures et Appliquées. Ce dernier décida de la publier, sous forme d'un court article, dans le numéro du 30 juin 1905 de cette revue.

Sommaire

Énoncé

Si l'on numérote tous les nombres réels définissables en un nombre fini de mots, alors on peut construire, en utilisant l'argument de la diagonale de Cantor un nombre réel hors de cette liste. Pourtant ce nombre a été défini en un nombre fini de mots.

Voici quelques détails sur la construction :

  1. Les nombres réels définissables avec un nombre fini de mots forment un ensemble dénombrable, soit E.
  2. On peut construire un réel N qui n'est pas dans E par le procédé de diagonalisation suivant  : on numérote les éléments de E, puis, on choisit chaque chiffre de N de sorte que le n-ième chiffre de N soit différent du n-ième chiffre du n-ième élément, et que ce ne soit pas 9 (pour éviter la double écriture des décimaux). Ainsi, pour chaque n, l'élément numéro n diffère de N pour au moins un chiffre, donc n diffère bien de N (tous les réels, en dehors des décimaux, ont une écriture décimale unique).
  3. Cependant, en décrivant ce procédé de construction, on a défini N en un nombre fini de mots : c'est une contradiction.

Ce paradoxe, qui se formule très simplement, comme le paradoxe de Russell, pose cependant un problème de nature différente, qui est celui du langage licite pour les énoncés mathématiques, comme le remarque Giuseppe Peano dès 1906[1]. Comme le paradoxe de Russell, il joue un rôle important dans la crise des fondements des mathématiques au début du XXe siècle, crise que voulut résoudre d'une façon définitive le programme de Hilbert. Il est mentionné par Kurt Gödel dans l'introduction de son article de 1931 sur les théorème d'incomplétude : quand il résume l'argument permettant de construire une proposition indécidable, il déclare que « L'analogie qui existe entre ce raisonnement et l'antinomie de Richard saute aux yeux ». Il s'agit de la construction de l'énoncé indécidable, qui utilise bien un raisonnement diagonal et l'énumération des formules du langage, énumération qui doit cependant être effective dans la preuve du théorème de Gödel. L'énoncé que Gödel construit est inspiré lui du paradoxe du menteur, sous une forme -- une proposition qui énonce d'elle-même qu'elle n'est pas démontrable (ou qu'elle est fausse, pour que ce soit vraiment le paradoxe du menteur) -- qui pose le même genre de questions que le paradoxe de Richard.

Le paradoxe de Richard eut également de nombreuses reformulations notamment le paradoxe de Berry sur le plus petit entier non définissable en moins de 100 mots (100 ou n'importe quel nombre supérieur au nombre de mots que l'on vient d'utiliser pour définir cet entier), appelé d'ailleurs parfois également paradoxe de Richard.

Le plus souvent, on résout ce paradoxe en distinguant deux niveaux de langage, celui de la théorie que l'on décrit, appelé parfois langage objet, et le langage, le plus souvent non formalisé, que l'on utilise pour décrire cette théorie, le meta-langage. Quand on définit l'ensemble dénombrable des réels définissables en un nombre fini de mots, ce ne peut être que dans un langage particulier. La description du réel N se fait en un nombre fini de mots dans le meta-langage. Sa construction montre simplement qu'il ne peut se décrire en un nombre fini de mots dans le langage de départ. Pour pouvoir refléter le paradoxe dans le langage objet, il faudrait coder le meta-langage dans le langage objet, comme le fait Gödel pour le paradoxe du menteur. Alors il n'y a plus de paradoxe.

Cette solution (distinguer deux niveaux de langage) n'était pas vraiment celle proposée par Richard dans son article. Pour lui, le paradoxe vient de la définition même de N qui invoque l'ensemble E, alors que celui-ci n'est pas encore complètement défini. Pour Richard, quand on construit l'énumération, au moment où l'énoncé définissant N (et où donc la lettre E apparait), est énuméré, il n'a pas encore de sens. C'est ce que Henri Poincaré, qui s'est beaucoup intéressé au paradoxe de Richard, a systématisé sous le nom de définitions « non prédicatives ». Il voyait dans le refus de ces définitions la « vraie solution »[2] aux paradoxes. On a depuis mis en évidence des théories non prédicatives cohérentes (non paradoxales), mais néanmoins la prédicativité reste un bon principe d'élaboration de théories cohérentes. Aussi la prédicativité est un principe souhaité par certains, comme Quine qui y voit une manière d'éviter un «engagement ontologique» qui ne fait pas sens sauf à soutenir la position philosophique qu'est le «réalisme platonicien»[3].

Notes et références

  1. d'après van Heijenoort, ouvrage cité
  2. Les mathématiques et la logique article cité, section IX
  3. Quine, From a logical point of view, p. 125. Trad. Fse, Du point de vue logique, article "La Réification des universaux", ed. Vrin, 2003, pp. 178-179.

Articles connexes

Bibliographie

  • (en)A source Book in Mathematical Logic 1879-1931, Heijenoort J. van (ed.), (Harvard Univ. Press, Cambridge, 1967), ISBN 0-674-32450-1, ISBN 0-674-32449-8.
  • Jules Richard (1905), Les Principes des mathématiques et le problème des ensembles, Revue générale des sciences pures et appliquées T16, N°12 pp 541-543, accessible sur le site Gallica de la BNF : [1]
  • (en)Préface de Jean van Heijenoort à la traduction en anglais de l'article de Jules Richard dans l'ouvrage cité A source Book in Mathematical Logic 1879-1931, p142.
  • Henri Poincaré (1906), Les mathématiques et la logique, revue de métaphysique et de morale T14 N°1, pp 294-317, accessible sur le site de la BNF en format "image" : [2] ou en [3] (transcription texte).
  • Bertrand Russell (1906), Les paradoxes de la logique, revue de métaphysique et de morale 14, VOL 5, pp627-650 (1906) ; accessible sur le site de la BNF, au format "image" [4] (24 pages).
  • Portail de la logique Portail de la logique
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Paradoxe de Richard ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Paradoxe de richard de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Paradoxe de Richard — Le paradoxe de Richard apparaît dans une théorie des ensembles qui n est pas suffisamment formalisée. Il a joué un rôle important dans les recherches sur les fondements des mathématiques, en particulier au début du XXe siècle, et a suscité depuis …   Wikipédia en Français

  • Paradoxe de russell — Le paradoxe de Russell, ou antinomie de Russell, est un paradoxe très simple de la théorie des ensembles (Russell lui même parle de théorie des classes, en un sens équivalent), qui a joué un rôle important dans la formalisation de celle ci. Il… …   Wikipédia en Français

  • Paradoxe de berry — Le paradoxe de Berry a été formulé par Bertrand Russell en 1906. On le trouve dans un article, paru en français cette même année, de la Revue de métaphysique et de morale. Russell introduit, dans une discussion à propos du paradoxe de Richard, le …   Wikipédia en Français

  • Paradoxe des nombres interessants — Paradoxe des nombres intéressants Le mathématicien Hardy raconte que, lorsqu il qualifia devant Ramanujan le nombre 1729 de peu intéressant, celui ci lui répliqua que c était le plus petit nombre entier décomposable en somme de deux cubes de deux …   Wikipédia en Français

  • Paradoxe de burali-forti — En mathématiques le paradoxe de Burali Forti, paru en 1897, désigne une construction qui conduit dans certaines théories des ensembles ou théories des types trop naïves à une antinomie, c’est à dire que la théorie est contradictoire (on dit aussi …   Wikipédia en Français

  • Paradoxe de cantor — Le paradoxe de Cantor, ou paradoxe du plus grand cardinal, est un paradoxe de la théorie des ensembles dont l argument a été découvert par Georg Cantor dans les années 1890 (on le trouve dans une lettre à David Hilbert datée de 1897)[1]. Il est… …   Wikipédia en Français

  • Richard-von-Schaukal-Gesellschaft — Richard (von) Schaukal (* 27. Mai 1874 in Brünn; † 10. Oktober 1942 in Wien) war ein österreichischer Dichter. Inhaltsverzeichnis 1 Leben und Werk 2 Werke (Auswahl) 3 Richard von Schaukal Gesellschaft …   Deutsch Wikipedia

  • Richard Schaukal — Richard (von) Schaukal (* 27. Mai 1874 in Brünn; † 10. Oktober 1942 in Wien) war ein österreichischer Dichter. Inhaltsverzeichnis 1 Leben und Werk 2 Werke (Auswahl) 3 Richard von Schaukal Gesellschaft …   Deutsch Wikipedia

  • Richard von Schaukal — Richard (von) Schaukal (* 27. Mai 1874 in Brünn; † 10. Oktober 1942 in Wien) war ein österreichischer Dichter. Inhaltsverzeichnis 1 Leben und Werk 2 Werke (Auswahl) 3 R …   Deutsch Wikipedia

  • Richard (homonymie) — Richard Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sommaire 1 Sens et origine du nom 2 Variantes …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”