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.
Spectrométrie photoélectronique Xvignette|upright=1.4|Machine XPS avec un analyseur de masse (A), des lentilles électromagnétiques (B), une chambre d'ultra-vide (C), une source de rayon X (D) et une pompe à vide (E) La spectrométrie photoélectronique X, ou spectrométrie de photoélectrons induits par rayons X (en anglais, X-Ray photoelectron spectrometry : XPS) est une méthode de spectrométrie photoélectronique qui implique la mesure des spectres de photoélectrons induits par des photons de rayon X.
Chat haretvignette|upright=1.5|Chats harets s'abreuvant à Istanbul (Turquie). vignette|upright=1.5|Chat haret en posture d'intimidation, Galice (Espagne). Le chat haret, ou chat errant, est un chat domestique (petit félin de la sous-espèce Felis silvestris catus), retourné à l'état sauvage ou semi-sauvage, par le phénomène du marronnage. Il a pu vivre en compagnie d'êtres humains au cours de son existence, avant de fuir ou d'être abandonné, ou bien être né loin d'eux, en étant issu d'une lignée dont le retour à l'état sauvage remonte à plusieurs générations.
ChatLe Chat domestique (Felis catus) est une espèce de mammifères carnivores, de la famille des Félidés. Issu de la domestication du chat sauvage Felis silvestris, il était anciennement considéré comme une sous-espèce de celui-ci, sous la dénomination Felis silvestris catus. Le Chat domestique est l’un des principaux animaux de compagnie et compte aujourd’hui une cinquantaine de races différentes reconnues par les instances de certification. Dans de très nombreux pays, le chat entre dans le cadre de la législation sur les carnivores domestiques à l’instar du chien et du furet.
Robe noire du chatLa robe noire du chat est due aux poils noirs et à la peau également pigmentée. L'apparition des poils noirs est codée par le gène B dont on reconnaît trois allèles. La couleur noire est souvent réduite au chat unicolore noir, cependant, elle peut se marier avec tous les patrons de robe de chat. La robe unie noire du chat est associée en Occident à de nombreuses superstitions ; par exemple, dans beaucoup des pays, croiser un chat noir porterait malheur. Les anarchistes ont fait du chat noir un de leurs symboles.
SupermanifoldIn physics and mathematics, supermanifolds are generalizations of the manifold concept based on ideas coming from supersymmetry. Several definitions are in use, some of which are described below. An informal definition is commonly used in physics textbooks and introductory lectures. It defines a supermanifold as a manifold with both bosonic and fermionic coordinates. Locally, it is composed of coordinate charts that make it look like a "flat", "Euclidean" superspace.
Nombre de GrassmannEn physique mathématique, un nombre de Grassmann — ainsi nommé d'après Hermann Günther Grassmann mais aussi appelé supernombre — est un élément de l'algèbre extérieure — ou algèbre de Grassmann — d'un espace vectoriel, le plus souvent sur les nombres complexes. Dans le cas particulier où cet espace est une droite vectorielle réelle, un tel nombre s'appelle un nombre dual. Les nombres de Grassmann ont d'abord été employés en physique pour exprimer une représentation par intégrales de chemins pour les champs de fermions, mais sont à présent largement utilisés pour décrire le sur lequel on définit une supersymétrie.
