Groupe de symétrieLe groupe de symétrie, ou groupe des isométries, d'un objet (, signal, etc.) est le groupe de toutes les isométries sous lesquelles cet objet est globalement invariant, l'opération de ce groupe étant la composition. C'est un sous-groupe du groupe euclidien, qui est le groupe des isométries de l'espace affine euclidien ambiant. (Si cela n'est pas indiqué, nous considérons ici les groupes de symétrie en géométrie euclidienne, mais le concept peut aussi être étudié dans des contextes plus larges, voir ci-dessous.
Théorie de la fonctionnelle de la densitéLa théorie de la fonctionnelle de la densité (DFT, sigle pour Density Functional Theory) est une méthode de calcul quantique permettant l'étude de la structure électronique, en principe de manière exacte. Au début du , il s'agit de l'une des méthodes les plus utilisées dans les calculs quantiques aussi bien en physique de la matière condensée qu'en chimie quantique en raison de son application possible à des systèmes de tailles très variées, allant de quelques atomes à plusieurs centaines.
Lithothérapievignette|Bracelets de pierres gemmes auxquelles les tenants de la lithothérapie prêtent des vertus curatives. La lithothérapie est une pratique pseudoscientifique de médecine non conventionnelle basée sur la croyance en un pouvoir qu'auraient certains cristaux de bijouterie (quartz, améthyste, citrine, aigue-marine, rubis, turquoise, etc.) au contact ou à proximité de l'être humain. La croyance sur laquelle se basent certains de ses promoteurs est que les cristaux émettraient une « résonance » ou une « vibration » singulière qui aurait le pouvoir de guérir les maladies ou d'améliorer le bien-être psychique d'une personne.
Energy (esotericism)Proponents and practitioners of various esoteric forms of spirituality and alternative medicine refer to a variety of claimed experiences and phenomena as being due to "energy" or "force" that defy measurement and thus are distinguished from the scientific form of energy. Claims related to energy therapies are most often anecdotal, rather than being based on repeatable empirical evidence. There is no scientific evidence for the existence of such energy, and physics educators criticize the use of the term "energy" to describe ideas in esotericism and sprituality as potentially confusing.
Système U (mathématiques)En logique mathématique, le Système U et le Système U− sont des systèmes de types purs, c'est-à-dire des formes spéciales d'un calcul lambda typé avec un nombre arbitraire de sortes, d'axiomes et de règles (ou de relations entre les sortes). Ils ont tous deux été prouvés incohérents par Jean-Yves Girard en 1972. Ce résultat conduit alors à ce que la théorie des types de Martin-Löf de 1971 est incohérente car elle permet le même comportement de «type dans le type» que le paradoxe de Girard exploite.
