Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
AnticorpsUn anticorps est un complexe protéique produit par le système immunitaire adaptatif dans un organisme vivant pour détecter et neutraliser les agents pathogènes de manière spécifique. Ce faisant, les anticorps se lient à l'agent pathogène et dirigent vers lui, dans le but de le détruire, les cellules immunitaires dites phagocytes (macrophages, polynucléaires neutrophiles) et/ou les agents du complément. L'organisme devient alors réfractaire à l’agent envahisseur : il s’immunise.
ImmunologieL'immunologie est la branche de la biologie qui s'occupe de l'étude du système immunitaire. Apparu très tôt au cours de l'évolution, ce système a évolué pour distinguer le non-soi du soi. Les réactions de défense de l'organisme face à un organisme pathogène — quelle que soit la nature de celui-ci, virus, bactéries, champignons ou protozoaires. Les maladies auto-immunes, les allergies et le rejet des greffes forment l'aspect médical de cette science.
Anticorps monoclonalLes anticorps monoclonaux sont des anticorps produits naturellement par une même lignée de lymphocytes B activés ou plasmocytes, reconnaissant le même épitope d'un antigène. Afin de pouvoir être utilisés comme thérapie, ils sont produits grâce à une cellule issue de la fusion entre un lymphocyte B et une cellule cancéreuse (myélome) appelée hybridome. Durant les années 1970, il était connu qu'un cancer (myélome) des cellules B produisait de grandes quantités d'anticorps identiques.
Anticorps antinucléairevignette|Exemple d'un anticorps antinucléaire Les anticorps antinucléaires (ACAN ou AAN) ou facteurs antinucléaires (FAN) (en anglais, anti-nuclear antibody ou ANA) sont des auto-anticorps non spécifiques d'organes, dirigés contre différents éléments du noyau de leurs propres cellules : constituants du noyau cellulaire mais aussi éléments nucléo-protéiques cytoplasmiques issus du noyau. Ils sont présents dans certaines maladies autoimmunes et ont un intérêt dans le diagnostic et le suivi de ces affections.
Astronomie gravitationnellevignette|La chambre de contrôle de l'interféromètre LIGO, spécialisé dans la détection des ondes gravitationnelles. L’astronomie gravitationnelle, ou astronomie des ondes gravitationnelles, est la branche de l'astronomie qui observe les objets célestes grâce aux ondes gravitationnelles. Les ondes gravitationnelles sont tout d'abord par Albert Einstein lorsqu'il établit la théorie de la relativité générale, nouvelle théorie décrivant la gravitation en remplacement de la théorie établie par Isaac Newton au .
GW150914GW150914 est le nom du signal à l’origine de la première observation directe d’ondes gravitationnelles annoncée le par les laboratoires LIGO et Virgo. La détection a été faite le à sur les deux sites américains jumeaux LIGO construits en Louisiane et dans l’État de Washington à trois mille kilomètres de distance. La forme d’onde correspond aux prédictions de la relativité générale concernant la chute en spirale et la fusion d’une paire de trous noirs et l’effet provoqué par le trou noir résultant.
