paradoxe de Bechembach

Imaginez une boîte contenant tous les entiers que l'on juge inintéressants. Si la boîte n'est pas vide, elle contient un plus petit nombre. Ce nombre devient aussitôt spécial, puisqu'il est le premier de la boîte : il ne peut donc plus être déclaré inintéressant. Le paradoxe de Bechembach fait apparaître ce tour de passe-passe avec les mots « intéressant » et « inintéressant ». La contradiction ne vient pas d'un calcul faux, mais d'un critère trop vague pour décider quels nombres méritent cette étiquette.

Le paradoxe de Bechembach est un raisonnement qui applique à une notion floue de l'intérêt une propriété exacte des entiers. Dans une version portant sur les nombres entiers, on note I l'ensemble des entiers déclarés inintéressants. Si I est non vide et si l'on considère des entiers naturels, le bon ordre garantit que I possède un plus petit élément. Appelons-le n. La propriété « être le plus petit élément de I » distingue alors n de tous les autres éléments de I ; elle lui confère précisément une caractéristique remarquable. Le raisonnement le fait donc sortir de I, contrairement à sa définition. La version en termes de personnes suit le même schéma : parmi les personnes dites non remarquables, la moins remarquable serait remarquable par cette position. Le point décisif est que « remarquable » n'est pas une propriété formalisée. Une définition précise du critère d'intérêt peut empêcher le classement de changer pendant le raisonnement ; sans elle, l'apparente contradiction reste une ambiguïté de langage.

Si l'ensemble I des entiers inintéressants est non vide, alors il possède un plus petit élément n. Le raisonnement ajoute à n la propriété « être le plus petit élément de I », puis conclut que n est remarquable. La conclusion contredit l'appartenance de n à I seulement si le mot « remarquable » inclut cette propriété nouvellement observée. C'est cette extension implicite du critère, et non le principe du plus petit élément, qui produit le paradoxe.

Le raisonnement nécessite un ensemble non vide d'entiers naturels dits inintéressants, car tout sous-ensemble non vide des naturels possède un plus petit élément. Il nécessite aussi que cette propriété compte comme un intérêt, alors que le critère de départ n'est pas défini formellement. Pour l'ensemble des entiers relatifs, la conclusion sur un plus petit élément ne suit pas : un ensemble peut être non vide et ne pas être minoré. Par exemple, l'ensemble des entiers négatifs n'a pas de plus petit élément ; il faut alors employer une autre structure ou abandonner cette étape.

Considérons, pour suivre le mécanisme, la convention provisoire suivante : un entier naturel est inintéressant lorsqu'il n'a aucune propriété remarquable déjà retenue par le classement. Supposons que l'ensemble I correspondant soit non vide.

On note n le plus petit élément de I. Cette valeur existe parce que I est un sous-ensemble non vide des entiers naturels.

On observe ensuite une nouvelle propriété de n : il est le plus petit entier de I. Cette propriété le singularise dans l'ensemble considéré.

On déclare alors n remarquable à cause de cette propriété. On obtient simultanément n ∈ I et n ∉ I, si la convention accepte toute propriété singulière comme preuve d'intérêt. Le contrôle final révèle que l'hypothèse « aucune propriété remarquable » a changé de sens en cours de route.

Dans une discussion sur les nombres remarquables, séparez d'abord les propriétés définies à l'avance des observations découvertes après le classement. Cette séparation permet de voir si le critère est stable.

Dans un texte de logique, remplacez « intéressant » par une propriété explicitement définie. Si le but est seulement d'illustrer une ambiguïté sémantique, conservez le mot courant mais indiquez qu'il ne constitue pas un prédicat mathématique précis.

Le paradoxe de Bechembach ne réfute pas le principe du plus petit élément. Ce principe est une propriété rigoureuse des entiers naturels. Le cas qui tranche est un ensemble non vide d'entiers naturels : son plus petit élément existe bien, même si l'étiquette « inintéressant » reste discutable.

Il ne s'agit pas non plus d'une contradiction arithmétique obtenue par un calcul. Le conflit concerne le sens du critère de classement : une propriété est ajoutée après coup pour modifier la catégorie à laquelle appartient le nombre.

Le piège principal est de généraliser « tout ensemble non vide d'entiers possède un plus petit élément ». C'est vrai pour les entiers naturels, mais faux pour les entiers relatifs : l'ensemble des entiers négatifs est non vide et n'a pas de plus petit élément. Il faut donc préciser le domaine avant d'utiliser cette étape.

Un second piège consiste à traiter « remarquable » comme une catégorie stable tout en autorisant chaque nouvelle propriété à la modifier. Une liste fixée de critères peut laisser un entier dans I ; elle ne répond simplement plus à la version vague du paradoxe. Le paradoxe met ainsi en évidence une imprécision, pas une impossibilité de définir des nombres remarquables.

Le paradoxe invite à examiner comment une propriété est définie avant d'appliquer un raisonnement d'existence. Il constitue un exemple accessible de la différence entre une description en langue courante et un prédicat mathématique dont l'extension reste fixée.