Problème de la mesure quantiqueLe problème de la mesure quantique consiste en un ensemble de problèmes, qui mettent en évidence des difficultés de corrélation entre les postulats de la mécanique quantique et le monde macroscopique tel qu'il nous apparaît ou tel qu'il est mesuré.
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 é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.
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.
Cryptographie post-quantiqueLa cryptographie post-quantique est une branche de la cryptographie visant à garantir la sécurité de l'information face à un attaquant disposant d'un calculateur quantique. Cette discipline est distincte de la cryptographie quantique, qui vise à construire des algorithmes cryptographiques utilisant des propriétés physiques, plutôt que mathématiques, pour garantir la sécurité. En l'effet, les algorithmes quantiques de Shor, de Grover et de Simon étendent les capacités par rapport à un attaquant ne disposant que d'un ordinateur classique.
Mécanique quantique relationnelleLa mécanique quantique relationnelle (MQR) est une interprétation de la mécanique quantique qui traite l'état d'un système quantique comme étant dépendant de l'observateur, c'est-à-dire que l'état est la relation entre l'observateur et le système. Cette interprétation a été décrite pour la première fois par Carlo Rovelli en 1994, et a été développée depuis par un certain nombre de théoriciens. Elle s'inspire d'une idée clé de la relativité restreinte, selon laquelle les détails d'une observation dépendent du cadre de référence de l'observateur, et utilise certaines idées de Wheeler sur l'information quantique .
Introduction à la mécanique quantiqueLe but de cet article est de présenter une introduction accessible, non technique, au sujet. Pour l'article encyclopédique consulter Mécanique quantique. La mécanique quantique est la science de l'infiniment petit : elle regroupe l'ensemble des travaux scientifiques qui interprètent le comportement des constituants de la matière, et ses interactions avec l'énergie, à l'échelle des atomes et des particules subatomiques. La physique classique décrit la matière et l'énergie à l'échelle humaine, dans leur observation de tous les jours, y compris les corps célestes.
Particle Data GroupLe Particle Data Group est une collaboration internationale de physiciens des particules compulsant et réanalysant les résultats publiés relatifs aux propriétés des particules élémentaires et des interactions fondamentales. Il publie également des revues sur les résultats théoriques importants d'un point de vue phénoménologique comme en cosmologie. Le Particle Data Group publie biannuellement sa Review of Particle Physics (Revue de la physique des particules) en version poche, appelé le Particle Data Booklet (Livret de données sur les particules).
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Détecteur de particulesvignette|Photographie de rayonnements α détectés dans une chambre à brouillard. Un détecteur de particules est un appareil qui permet de détecter le passage d'une particule et, généralement, d'en déduire différentes caractéristiques (en fonction du type de détecteur) telles que sa masse, son énergie, son impulsion, son spin, ou encore sa charge électrique. Cavité de Faraday Chambre à brouillard Chambre à bulles Chambre à dérive Chambre à étincelles Chambre à fils Chambre d'ionisation Chambre à plaques paral
Particule matérielleLe terme « particule matérielle » (material particle en anglais) désigne une petite portion d'un corps, de matière solide ou fluide, constituée d'un nombre suffisamment grand de particules élémentaires. La matière est pleine de vide. Un corps de matière solide ou fluide est un domaine discontinu de particules composites (protons, neutrons), elles-mêmes composées de particules élémentaires. Les dimensions des particules élémentaires sont très petites devant les distances qui les séparent.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
