Théorie oméga-cohérenteEn logique mathématique une théorie arithmétique est appelée théorie ω-cohérente (oméga-cohérente) quand, pour toute propriété P des nombres entiers que l'on peut exprimer dans le langage de la théorie, si pour chaque entier n, P(n) est démontrable dans la théorie, alors ¬∀x P(x) n'est pas démontrable dans la théorie (¬ pour la négation, ∀ pour la quantification universelle, « pour tout »). Quand on prend pour P un énoncé clos (qui ne dépend pas de x) on retrouve la définition de la cohérence, appelée parfois dans ce contexte cohérence simple, qui est donc conséquence de l'ω-cohérence.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Grande unificationEn physique théorique, une théorie de grande unification, encore appelée GUT (pour Grand Unified Theory en anglais) est un modèle de la physique des particules dans lequel les trois interactions de jauge du modèle standard (électromagnétique, nucléaire faible et nucléaire forte) se fusionnent en une seule à hautes énergies. Cette interaction unifiée est caractérisée par une symétrie de jauge plus grande et donc plusieurs vecteurs de force, mais une seule constante de couplage unifiée.
Interaction élémentaireQuatre interactions élémentaires sont responsables de tous les phénomènes physiques observés dans l'Univers, chacune se manifestant par une force dite force fondamentale. Ce sont l'interaction nucléaire forte, l'interaction électromagnétique, l'interaction faible et l'interaction gravitationnelle. En physique classique, les lois de la gravitation et de l'électromagnétisme étaient considérées comme axiomes.
Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
Particule de MajoranaEn physique des particules, une particule de Majorana ou fermion de Majorana est un fermion qui est sa propre antiparticule. Ces particules sont nommées en hommage au physicien Ettore Majorana, qui a proposé ce modèle en établissant l'équation qui porte son nom. Ce terme est parfois utilisé en opposition aux particules de Dirac (ou fermions de Dirac) qui ont une antiparticule différente d'elles-mêmes. En 1928, Paul Dirac publie l'article qui contient l'équation de Dirac.
Particule de DiracOn appelle particule de Dirac toute particule de type fermion dont l'antiparticule est différente. C'est le cas de toute particule chargée (un électron et son positron par exemple). Elles sont nommées ainsi en raison de la mise en évidence par Paul Dirac en 1928 de l'existence du positron. D'autres particules de charge nulle (telles les neutrinos) seraient en revanche susceptibles d'être leur propre antiparticule : il s'agirait alors de particules dites de Majorana, dont l'existence n'a toujours pas été confirmée à mi-2016.
Nombre baryoniqueLe est, en physique des particules, un nombre quantique additif invariant. Il peut être défini comme le tiers de la différence entre le nombre de quarks et le nombre d'antiquarks dans le système : où est le nombre de quarks, et est le nombre d'antiquarks. D'un point de vue pratique, on divise par trois afin de faire correspondre le nombre baryonique au nombre de nucléons (protons et neutrons, tous deux constitués de trois quarks). Or, ces particules ont été connues bien avant, et sont plus familières que les quarks.
NombreUn nombre est un concept permettant d’évaluer et de comparer des quantités ou des rapports de grandeurs, mais aussi d’ordonner des éléments en indiquant leur rang. Souvent écrits à l’aide d’un ou plusieurs chiffres, les nombres interagissent par le biais d’opérations qui sont résumées par des règles de calcul. Les propriétés de ces relations entre les nombres sont l’objet d’étude de l’arithmétique, qui se prolonge avec la théorie des nombres.
Chiral symmetry breakingIn particle physics, chiral symmetry breaking is the spontaneous symmetry breaking of a chiral symmetry – usually by a gauge theory such as quantum chromodynamics, the quantum field theory of the strong interaction. Yoichiro Nambu was awarded the 2008 Nobel prize in physics for describing this phenomenon ("for the discovery of the mechanism of spontaneous broken symmetry in subatomic physics").
