Paradoxe de Skolem

Paradoxe de Skolem

Le paradoxe de Skolem est une conséquence troublante du théorème de Löwenheim-Skolem en théorie des ensembles. C'est un paradoxe au sens premier de ce terme : il va contre le sens commun, mais ce n'est pas une antinomie, une contradiction que l'on pourrait déduire dans la théorie. Il affirme qu'une théorie des ensembles, comme ZFC, a un modèle dénombrable, alors que l'on sait par ailleurs que ce modèle contient des ensembles non dénombrables.

Énoncé

Le théorème de Löwenheim-Skolem connait plusieurs variantes, prenons la suivante, en calcul des prédicats égalitaire du premier ordre, construit sur une signature (symboles primitifs non logiques) au plus dénombrable, tout modèle infini contient un sous-modèle dénombrable élémentairement équivalent, c'est-à-dire qu'il satisfait exactement les mêmes énoncés. En particulier la théorie des ensembles ZFC, utilise comme seul symbole non logique celui de la relation d'appartenance. Donc, si ZFC est cohérente, elle a un modèle, nécessairement infini à cause des axiomes, et ce modèle possède une sous-structure dénombrable qui satisfait exactement les mêmes énoncés, en particulier les axiomes de ZFC. Les « points » de cette structure, qui sont des ensembles, sont, en tant qu'ensembles, inclus dans la classe de tous les ensembles, le support de la structure.

Or, l'un des premiers résultats de la théorie des ensembles est la démonstration de l'existence d'un ensemble non dénombrable. C'est une conséquence immédiate du théorème de Cantor. Comment un ensemble non dénombrable pourrait-il être inclus dans une sous-structure dénombrable ?

Résolution

Comme souligné par Skolem, le problème réside dans la relativité de ce qu'on appelle ici dénombrable. En théorie des ensembles, un ensemble est dénombrable s'il est en bijection avec N, l'ensemble des entiers naturels. Mais nous avons utilisé cette notion en deux sens différents : les ensembles dénombrables au sens du modèle de ZFC, et les ensembles dénombrables au sens de la théorie intuitive dans laquelle nous avons énoncé le théorème de Löwenheim-Skolem. On peut tout à fait formaliser ce théorème en théorie des ensembles, mais on ne peut faire coïncider le modèle de ZFC dans lequel on a effectué cette formalisation, et celui auquel on applique le théorème. Dans le modèle dénombrable de ZFC obtenu par Löwenheim-Skolem, il existe bien une collection (un ensemble de l'univers de la formalisation) de couples qui établit une bijection entre les ensembles N et R du modèle, mais comme R, l'ensemble des réels, n'est pas dénombrable, cette collection n'est pas représentée par un ensemble de ce modèle. Ce n'est même pas une classe. Il n'y a aucun moyen d'en parler dans ce modèle. L'ensemble R est bien non dénombrable au sens du modèle.

Le paradoxe repose sur une interprétation trop « intuitive » de la théorie axiomatique des ensembles, qui est une théorie formelle de l'appartenance au premier ordre, et sur une confusion entre méta-théorie et théorie, réminiscente des paradoxes des théories des ensembles insuffisamment formalisées comme ceux de Richard et de Berry. L'existence, pour tout modèle de ZFC, d'une sous-structure dénombrable élémentairement équivalente, est en fait un résultat utile de théorie des ensembles.

Bibliographie

  • Skolem Sur la logique mathématique, 1928. Article reproduit in Jean Largeault, Logique Mathématique Textes, Armand Colin.

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Paradoxe de skolem — Le paradoxe de Skolem est une conséquence troublante du théorème de Löwenheim Skolem en théorie des ensembles. C est un paradoxe au sens premier de ce terme : il va contre le sens commun, mais ce n est pas une antinomie, une contradiction… …   Wikipédia en Français

  • SKOLEM (A. T.) — SKOLEM ALBERT THORALF (1887 1963) Logicien et mathématicien norvégien né à Sandsvaer et mort à Oslo. Ses travaux en algèbre (théorème de Skolem Noether pour les algèbres associatives) et en théorie des nombres (introduction des méthodes p adiques …   Encyclopédie Universelle

  • Skolem — Thoralf Skolem Thoralf Albert Skolem (23 mai 1887 23 mars 1963) était un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le… …   Wikipédia en Français

  • Paradoxe —  Pour l’article homophone, voir Paradox. Les « cubes impossibles » de M. Escher sont des représentations graphiques paradoxales. Un paradoxe, d après l étymologie (d …   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 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

  • Théorème de Löwenheim-Skolem — En théorie des modèles, les théorèmes de Löwenheim Skolem désignent plusieurs théorèmes, essentiellement deux, le théorème de Löwenheim Skolem ascendant et le théorème de Löwenheim Skolem descendant, qui permettent d établir l existence d un… …   Wikipédia en Français

  • Theoreme de Lowenheim-Skolem — Théorème de Löwenheim Skolem Le théorème de Löwenheim Skolem fait partie de la théorie des modèles. Sa simplicité et sa puissance en font un théorème majeur avec le théorème de compacité. Sommaire 1 Théorème 2 Variante 3 Corollaires …   Wikipédia en Français

  • Thoralf Skolem — Thoralf Albert Skolem (23 mai 1887 23 mars 1963) était un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de… …   Wikipédia en Français

  • Théorème de löwenheim-skolem — Le théorème de Löwenheim Skolem fait partie de la théorie des modèles. Sa simplicité et sa puissance en font un théorème majeur avec le théorème de compacité. Sommaire 1 Théorème 2 Variante 3 Corollaires …   Wikipédia en Français

Share the article and excerpts

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