Indiscernables
Cet article est une ébauche concernant la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
En logique mathématique, les indiscernables sont des objets qui ne peuvent être distingués par aucune propriété ou relation définies par une formule. D'ordinaire, seules les formules du calcul des prédicats du premier ordre sont prises en considération.
Exemples[modifier | modifier le code]
Si a, b et c sont distincts et {a, b, c} est un « ensemble d'indiscernables », pour chaque formule binaire φ, on doit alors avoir
![{\displaystyle [\varphi (a,b)\land \varphi (b,a)\land \varphi (a,c)\land \varphi (c,a)\land \varphi (b,c)\land \varphi (c,b)]\lor [\lnot \varphi (a,b)\land \lnot \varphi (b,a)\land \lnot \varphi (a,c)\land \lnot \varphi (c,a)\land \lnot \varphi (b,c)\land \lnot \varphi (c,b)]\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70b0d5deb4add1efdba4c74e809083cbe2dd83bb)
Historiquement, le principe d'identité des indiscernables est une des lois de la pensée (en) de Gottfried Wilhelm Leibniz.
Généralisations[modifier | modifier le code]
Dans certains contextes, on considère la notion plus générale d'« ordre des indiscernables » et le terme « séquence des indiscernables » se réfère souvent implicitement à cette notion plus faible. Dans notre exemple de formules binaires, dire que le triplet (a, b, c) d'éléments distincts est une séquence d'indiscernables implique que
![{\displaystyle ([\varphi (a,b)\land \varphi (a,c)\land \varphi (b,c)]\lor [\lnot \varphi (a,b)\land \lnot \varphi (a,c)\land \lnot \varphi (b,c)])\land ([\varphi (b,a)\land \varphi (c,a)\land \varphi (c,b)]\lor [\lnot \varphi (b,a)\land \lnot \varphi (c,a)\land \lnot \varphi (c,b)])\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33a88e315cab5dc8f787e0f333f7992db53cd911)
Applications[modifier | modifier le code]
Les ordres d'indiscernables figurent en bonne place dans la théorie du cardinal de Ramsey, du cardinal d'Erdős (en) et du zéro dièse (en).
Articles connexes[modifier | modifier le code]
Bibliographie[modifier | modifier le code]
- Thomas Jech, Set Theory : The Third Millennium Edition, revised and expanded, Berlin, New York, Third Millennium et Springer-Verlag, coll. « Springer Monographs in Mathematics », , 772 p. (ISBN 978-3-540-44085-7, zbMATH 1007.03002, lire en ligne)
Source de la traduction[modifier | modifier le code]
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Indiscernibles » (voir la liste des auteurs).
