Mécanisme de see-sawLe mécanisme de see-saw, mécanisme de la balancoire ou mécanisme à bascule, en théorie quantique des champs, permet de générer de très petits nombres à partir de nombres « raisonnables » et de grands nombres. Ce mécanisme apparaît notamment dans les théories de grande unification, et en particulier pour expliquer les masses des neutrinos et leur oscillation. Ce modèle produit un neutrino léger, pour chacune des trois saveurs de neutrinos connues, et un neutrino stérile, très lourd et encore non découvert.
Symétrie TNommée ainsi dans le cadre de la physique des particules, on dit qu'une théorie possède la symétrie T, ou encore symétrie par renversement du temps, si elle est invariante sous la transformation d'inversion du temps c'est-à-dire qui effectue le changement suivant sur la coordonnée de temps Alors que la symétrie T semble naturelle en mécanique quantique, elle est néanmoins violée dans le cadre du modèle standard car la symétrie CP est violée alors que par la symétrie CPT obtenue par application simultanée du
ContradictionEn logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles. On dit aussi que la formule est insatisfaisable, antilogique ou encore contradictoire. L’antilogie, de symbole , s’oppose à la tautologie qui est toujours vraie. La contradiction est une relation existant entre deux ou plusieurs termes ou deux ou plusieurs propositions dont l’un(e) affirme ce que l’autre nie : « A » et « non-A » sont contradictoires, les phrases « Tous les hommes sont barbus » et « Quelques hommes ne sont pas barbus » sont contradictoires.
Canonical ringIn mathematics, the pluricanonical ring of an algebraic variety V (which is nonsingular), or of a complex manifold, is the graded ring of sections of powers of the canonical bundle K. Its nth graded component (for ) is: that is, the space of sections of the n-th tensor product Kn of the canonical bundle K. The 0th graded component is sections of the trivial bundle, and is one-dimensional as V is projective. The projective variety defined by this graded ring is called the canonical model of V, and the dimension of the canonical model is called the Kodaira dimension of V.
Principe de non-contradictionEn logique, le principe de non-contradiction est la loi qui interdit d'affirmer et nier à la fois le même terme ou la même proposition. Aristote ne nomme pas le principe de non-contradiction mais le définit ainsi dans Métaphysique : « Il est impossible qu’un même attribut appartienne et n’appartienne pas en même temps et sous le même rapport à une même chose ». Assurément, une chose peut être blanche aujourd’hui ou d’une autre couleur demain. De même, cette chose est plus grande ou plus petite qu’une autre à un moment donné.
