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.
