Scientific racismScientific racism, sometimes termed biological racism, is the pseudoscientific belief that the human species can be subdivided into biologically distinct taxa called "races", and that empirical evidence exists to support or justify racism (racial discrimination), racial inferiority, or racial superiority. Before the mid-20th century, scientific racism received credence throughout the scientific community, but it is no longer considered scientific.
RacismeLe racisme est une idéologie qui, partant du postulat de l'existence de races au sein de l'espèce humaine, considère que certaines catégories de personnes sont intrinsèquement supérieures à d'autres. Il se différencie ainsi du racialisme qui, partant du même postulat, ne considère pas les races comme inégales. Cette idéologie peut amener à privilégier une catégorie de personne à une autre, qui se trouve reléguée à une classe sociale jugée inférieure et subit alors, de manière intersectionnelle, le mépris de classe en plus du racisme.
Racisme d'Étatvignette|Un panneau désignant la salle d'attente réservée uniquement aux « personnes de couleurs », en 1943, aux États-Unis, pendant la ségrégation raciale. Le racisme d'État, aussi conceptualisé sous le terme de « racisme institutionnel » est historiquement une ségrégation raciste institutionnalisée. Le terme de « race » renvoie alors à sa dimension ethnique. À l'ère contemporaine en Occident, des défenseurs de ce concept discuté ou critiqué, l'entendent au sens d'une discrimination systémique qui impliquerait l'État.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Lambda liftingLambda lifting is a meta-process that restructures a computer program so that functions are defined independently of each other in a global scope. An individual "lift" transforms a local function into a global function. It is a two step process, consisting of; Eliminating free variables in the function by adding parameters. Moving functions from a restricted scope to broader or global scope. The term "lambda lifting" was first introduced by Thomas Johnsson around 1982 and was historically considered as a mechanism for implementing functional programming languages.
Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
Variété kählérienneEn mathématiques, une variété kählérienne ou variété de Kähler est une variété différentielle équipée d'une structure unitaire satisfaisant une condition d'intégrabilité. C'est en particulier une variété riemannienne, une variété symplectique et une variété complexe, ces trois structures étant mutuellement compatibles. Les variétés kählériennes sont un objet d'étude naturel en géométrie différentielle complexe. Elles doivent leur nom au mathématicien Erich Kähler. Plusieurs définitions équivalentes existent.
Racisme environnementalvignette| Des personnes protestent contre la crise de l'eau à Flint, dans le Michigan, qui affecte de manière disproportionnée les personnes de couleur et les communautés à faible revenu. Le racisme environnemental est un concept du mouvement pour la justice environnementale, qui s'est développé aux États-Unis et à l'étranger dans les années 1970 et 1980. Le terme est utilisé pour décrire l'injustice environnementale qui se produit dans un contexte racialisé, tant dans la pratique que dans la politique.
Variété de drapeaux généraliséeEn mathématiques, une variété de drapeaux généralisée ou tordue est un espace homogène d'un groupe (algébrique ou de Lie) qui généralise les espaces projectifs, les grassmanniennes, les quadriques projectives et l'espace de tous les drapeaux de signature donnée d'un espace vectoriel. La plupart des espaces homogènes de points ou de figures de la géométrie classique sont des variétés de drapeaux généralisées ou des espaces symétriques ou des variétés symétriques (analogues en géométrie algébrique des espaces symétriques), ou leur sont liés.
GrassmannienneEn mathématiques, les grassmanniennes sont des variétés dont les points correspondent aux sous-espaces vectoriels d'un espace vectoriel fixé. On note G(k, n) ou G(K) la grassmannienne des sous-espaces de dimension k dans un espace de dimension n sur le corps K. Ces espaces portent le nom de Hermann Grassmann qui en donna une paramétrisation et sont encore appelés grassmanniennes des « k-plans ». Pour k = 1, la grassmannienne est l'espace projectif associé à l'espace vectoriel.
