Génération (physique des particules)En physique des particules, une génération est une division des particules élémentaires. Ces particules diffèrent en fonction de leurs saveurs et de leurs masses mais leurs interactions élémentaires sont les mêmes. Dans le modèle standard de la physique des particules, les fermions sont classés en trois familles ou générations. Chacune d'elles comprend deux quarks (respectivement les up et down , les strange et charm , et les bottom et top ) ; un lepton chargé (respectivement l'électron , le muon et le tau ) ; et un neutrino (respectivement le neutrino électronique , le neutrino muonique et le neutrino tauique ).
Beta function (physics)In theoretical physics, specifically quantum field theory, a beta function, β(g), encodes the dependence of a coupling parameter, g, on the energy scale, μ, of a given physical process described by quantum field theory. It is defined as and, because of the underlying renormalization group, it has no explicit dependence on μ, so it only depends on μ implicitly through g. This dependence on the energy scale thus specified is known as the running of the coupling parameter, a fundamental feature of scale-dependence in quantum field theory, and its explicit computation is achievable through a variety of mathematical techniques.
Principe de bivalenceLe principe de bivalence est un principe de logique selon lequel toute proposition p ne peut avoir qu'une seule des deux valeurs de vérité. Elle est soit vraie, soit fausse. Une logique respectant le principe de bivalence est dite logique bivalente. La logique classique est bivalente. Le principe de bivalence énonce que quelque chose est soit vrai, soit faux. Quelle que soit la proposition p, p est soit vraie, soit fausse. Le principe de bivalence rend les deux valeurs de vérité que sont le vrai et le faux conjointement exhaustifs.
Finite-valued logicIn logic, a finite-valued logic (also finitely many-valued logic) is a propositional calculus in which truth values are discrete. Traditionally, in Aristotle's logic, the bivalent logic, also known as binary logic was the norm, as the law of the excluded middle precluded more than two possible values (i.e., "true" and "false") for any proposition. Modern three-valued logic (ternary logic) allows for an additional possible truth value (i.e. "undecided").
