Histoire de la mécanique quantiquethumb|Le congrès Solvay de 1927, année charnière dans le passage des théories dites semi-classiques aux théories quantiques proprement dites. L'histoire de la mécanique quantique commence traditionnellement avec le problème de la catastrophe ultraviolette et sa résolution en 1900 par l'hypothèse de Max Planck stipulant que tout système atomique irradiant de l'énergie peut être divisé en « éléments d'énergie » discrets liés à la constante h qui, depuis, porte son nom (constante de Planck).
C*-algèbreEn mathématiques, une C*-algèbre (complexe) est une algèbre de Banach involutive, c’est-à-dire un espace vectoriel normé complet sur le corps des complexes, muni d'une involution notée , et d'une structure d'algèbre complexe. Elle est également nommée algèbre stellaire. Les C*-algèbres sont des outils importants de la géométrie non commutative. Cette notion a été formalisée en 1943 par Israel Gelfand et Irving Segal. Les algèbres stellaires sont centrales dans l'étude des représentations unitaires de groupes localement compacts.
Opérateur (informatique)En programmation informatique, un opérateur est une fonction spéciale dont l'identificateur s'écrit généralement avec des caractères non autorisés pour l'identificateur des fonctions ordinaires. Il s'agit souvent des équivalents aux opérateurs mathématiques pour un langage de programmation. Les opérateurs peuvent effectuer des opérations arithmétiques, booléennes ou agir sur des chaînes de caractères. Contrairement aux fonctions, les opérateurs fournissent souvent les opérations primitives du langage.
Définition d'opérateurLa définition d'opérateur est une fonctionnalité offerte par certains langages de programmation qui permet d'utiliser des opérateurs (comme +, = ou ==) comme des fonctions ou des méthodes en les définissant pour de nouveaux types de données. Les opérateurs ne sont pas nécessairement des symboles. Parfois, la définition de nouveaux opérateurs est autorisée. Il s'agit généralement de sucre syntaxique, et peut facilement être émulé par des appels de fonction ou de méthode : avec définition d'opérateurs : a + b * c ; sans définition d'opérateurs : somme (a, produit (b, c)).
Théorie des bandesredresse=1.5|vignette|Représentation schématique des bandes d'énergie d'un solide. représente le niveau de Fermi. thumb|upright=1.5|Animation sur le point de vue quantique sur les métaux et isolants liée à la théorie des bandes En physique de l'état solide, la théorie des bandes est une modélisation des valeurs d'énergie que peuvent prendre les électrons d'un solide à l'intérieur de celui-ci. De façon générale, ces électrons n'ont la possibilité de prendre que des valeurs d'énergie comprises dans certains intervalles, lesquels sont séparés par des bandes d'énergie interdites (ou bandes interdites).
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Matrice SEn physique, la matrice S ou matrice de diffusion (plus rarement matrice de collision, ou S-matrice) est une construction mathématique qui relie l'état initial et l'état final d'un système physique soumis à un processus de diffusion/collision (). Elle est utilisée en mécanique quantique, en théorie de la diffusion des ondes et des particules, ainsi qu'en théorie quantique des champs. Plus particulièrement, en physique des particules, dans une expérience de collision, des particules sont préparées dans un état initial, puis accélérées afin de subir des collisions à hautes énergies.
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é'.
Physique des particulesLa physique des particules ou la physique subatomique est la branche de la physique qui étudie les constituants élémentaires de la matière et les rayonnements, ainsi que leurs interactions. On l'appelle aussi parfois physique des hautes énergies car de nombreuses particules élémentaires, instables, n'existent pas à l'état naturel et peuvent seulement être détectées lors de collisions à hautes énergies entre particules stables dans les accélérateurs de particules.
Particule subatomiqueUne particule subatomique est un composant de la matière. Elle a une taille inférieure à celle d'un atome. On distingue les particules élémentaires des particules composites. La branche de la physique qui les étudie est appelée la physique des particules. Modèle standard (physique des particules) La recherche sur les particules subatomiques a permis de mettre en évidence : d'une part, les constituants atomiques tels que les protons, les neutrons et les électrons, ainsi que leurs constituants (notamment les quarks) ; d'autre part, les particules produites par les phénomènes de rayonnement et de dispersion, tels que les photons, les neutrinos, et les muons.
Particule élémentaireEn physique des particules, une particule élémentaire, ou particule fondamentale, est une particule dont on ne connaît pas la composition : on ne sait pas si elle est constituée d'autres particules plus petites. Les particules élémentaires incluent les fermions fondamentaux (quarks, leptons, et leurs antiparticules, les antiquarks et les antileptons) qui composent la matière et l'antimatière, ainsi que des bosons (bosons de jauge et boson de Higgs) qui sont des vecteurs de forces et jouent un rôle de médiateur dans les interactions élémentaires entre les fermions.
Modèle mathématiquevignette|Un automate fini est un exemple de modèle mathématique. Un modèle mathématique est une traduction d'une observation dans le but de lui appliquer les outils, les techniques et les théories mathématiques, puis généralement, en sens inverse, la traduction des résultats mathématiques obtenus en prédictions ou opérations dans le monde réel. Un modèle se rapporte toujours à ce qu’on espère en déduire.
