Fermions/Bosons-intrication-mesure :
particules vos papiers
Nous sommes tous différents les uns des autres
Non, pas moi !
Monty Python, La vie de Brian.
Introduction
La citation extraite de La vie de Brian nous présente une situation paradoxale : comment un individu dans une assemblée peut-il ne pas être différent de tous les autres qui eux le sont ? L’extrait des Monty Python nous révèle à la fois un absurde comique, et un troublant manque de symétrie.
Car si l’on inverse la situation, la citation devient :
Nous sommes tous les mêmes
Non, pas moi !
et n’a plus rien de paradoxal. On est passé de l’humour britannique au culte du héros hollywoodien : il n’y a aucune difficulté, dans notre culture classique à imaginer un être différent de tous les autres, eux-mêmes égaux entre eux. Mais un être qui n’est pas différent de tous les autres qui le sont entre eux, seule la Mécanique Quantique peut le faire.
Les bosons aiment bien être tous dans le même état, les fermions ne le supportent pas. La situation du film des Monty Python est bien celle d’un boson plongé dans une assemblée de fermions. Cette dualité identitaire s’observe facilement dans le monde quantique, et est même primordiale. Il est en effet probable que la matière qui nous entoure ne serait pas stable si elle était constituée de bosons. Mais ce qui est tout à fait remarquable est qu’une propriété intrinsèque de particules, leur spin, gouverne ce comportement collectif.
La Mécanique Quantique, dans son besoin généreux de rétablir les symétries, plonge dans la réalité de la même façon l’humour britannique et Hollywood.
Mais si elle décerne ainsi des identités que le monde classique trouve extravagantes, elle n’en refuse pas moins une identité élémentaire aux particules dans un état intriqué, c’est-à-dire non factorisable. Ce phénomène d’intrication, que la Mécanique Quantique crée à loisir dès qu’il y a interaction, peut cependant être brisé à tout instant par l’opération de mesure qui rétablit...
L’identité exigée par l’identité personnelle
Introduction
Qu’est ce qui assure notre identité personnelle ? Les philosophes ont proposé des réponses toutes imparfaites, mais qu’il est intéressant de tenter d’ordonner. Nous pourrions sans doute traiter d’emblée l’identité personnelle comme un système d’isomorphismes, mais nous pouvons aussi tenter d’utiliser le travail en profondeur de Jean Yves Girard d’une manière plus diversifiée. La notion d’identité personnelle se révèle bien adaptée à ce genre de tentative, que nous allons maintenant développer.
1. Niveaux logiques et lectures philosophiques
Revenons sur la division des niveaux de profondeur logique que propose Girard : le niveau aléthique, (-1) qui s’intéresse seulement à ce qui est prouvable, cohérent et vrai ; le niveau fonctionnel (-2) qui traite de preuves, et peut différencier deux démonstrations d’un même énoncé, tout en disposant de critères d’équivalence entre deux preuves (isomorphisme de Curry-Howard) ; le niveau interactif (-3) qui fait jouer la dynamique de stratégies en interaction dans un jeu qui doit se terminer ; le niveau déontique (-4) qui élimine tout arbitre du jeu précédent et fait jouer des propositions qui se jugent les unes les autres, la simple poursuite du jeu faisant émerger la règle de l’interaction entre A et non A. A ce niveau, on tient compte des « localisations » des formules : chaque formule a un « lieu » disjoint de celui des autres et qui lui reste propre au cours de toutes les manipulations logiques. En particulier, à ce niveau, on peut écrire A et B= B et A, puisque le signe « = » nous informe que le A qui est à gauche de B a bien le même lieu propre que le A qui est à droite du B (même chose pour B). Mais l’identité A=A de fait pas sens, parce qu’elle ne nous donne aucune information, sauf à la lire comme une sorte d’isomorphisme entre deux copies de A : A’ et A’’, chacune de lieu propre [1] différent. Pour les identifier, il faudrait...