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.
ThéorieUne théorie (du grec theoria, « contempler, observer, examiner ») est un ensemble cohérent, si elle prétend à la scientificité, d'explications, de notions ou d'idées sur un sujet précis, pouvant inclure des lois et des hypothèses, induites par l'accumulation de faits provenant de l'observation, l'expérimentation ou, dans le cas des mathématiques, déduites d'une base axiomatique donnée : théorie des matrices, des torseurs, des probabilités.
Constante de couplageEn physique, une constante de couplage est un nombre caractéristique de l'intensité d'une interaction. En physique classique les constantes de couplage interviennent en mécanique et en électromagnétisme : la constante de couplage de deux circuits linéaires, comme l'inductance mutuelle M d'un transformateur. Voir aussi l'article Couplage de deux oscillateurs électriques ; la constante de couplage de deux systèmes mécaniques, souvent notée k, caractérise leur dépendance l'un à l'autre.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Radioactivitévignette|Pictogramme signalant la présence de matière radioactive. (☢) vignette|La maison de Georges Cuvier, au Jardin des plantes de Paris, où Henri Becquerel découvrit la radioactivité en 1896. La radioactivité est le phénomène physique par lequel des noyaux atomiques instables (dits radionucléides ou radioisotopes) se transforment spontanément en d'autres atomes (désintégration) en émettant simultanément des particules de matière (électrons, noyaux d'hélium, neutrons) et de l'énergie (photons et énergie cinétique).
NeutrinoLe neutrino est une particule élémentaire du modèle standard de la physique des particules. Les neutrinos sont des fermions de , plus précisément des leptons. Ils sont électriquement neutres. Il en existe trois « saveurs » : électronique, muonique et tauique. L’existence du neutrino a été postulée pour la première fois en 1930 par Wolfgang Pauli pour expliquer le spectre continu de la désintégration bêta ainsi que l’apparente non-conservation du moment cinétique, et sa première confirmation expérimentale remonte à 1956.
Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
SphaléronEn physique des particules, un sphaléron (σφαλερός, pouvant se traduire par « glissant ») est une solution des équations de champ électrofaible selon le modèle standard. Indépendante du temps, elle implique une violation du nombre baryonique et leptonique. Impliquant plusieurs processus qui ne peuvent pas être illustrés par des diagrammes de Feynman, ces derniers sont considérés comme . Géométriquement, un sphaléron est un point-selle de l'énergie potentielle électrofaible.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Théorie de jaugeEn physique théorique, une théorie de jauge est une théorie des champs basée sur un groupe de symétrie locale, appelé groupe de jauge, définissant une « invariance de jauge ». Le prototype le plus simple de théorie de jauge est l'électrodynamique classique de Maxwell. L'expression « invariance de jauge » a été introduite en 1918 par le mathématicien et physicien Hermann Weyl. La première théorie des champs à avoir une symétrie de jauge était la formulation de l'électrodynamisme de Maxwell en 1864 dans .
