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.
Groupe (mathématiques)vignette|Les manipulations possibles du Rubik's Cube forment un groupe. En mathématiques, un groupe est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni d'une loi de composition interne associative admettant un élément neutre et, pour chaque élément de l'ensemble, un élément symétrique. La structure de groupe est commune à de nombreux ensembles de nombres — par exemple les nombres entiers relatifs, munis de la loi d'addition.
ÊtaÊta (capitale Η, minuscule η ; en grec ήτα), est la lettre de l'alphabet grec, précédée par zêta et suivie par thêta. Dérivée de la lettre het x12px de l'alphabet phénicien, elle est l'ancêtre de la lettre H de l'alphabet latin, de la lettre И de l'alphabet cyrillique et de la lettre Ⲏēta de l’alphabet copte. En grec moderne, êta représente une voyelle fermée antérieure non arrondie, . Il partage cette fonction avec plusieurs autres lettres (ι, υ) et les digrammes ει et οι, qui sont toutes prononcées de la même manière.
Équation de DiracL'équation de Dirac est une équation formulée par Paul Dirac en 1928 dans le cadre de sa mécanique quantique relativiste de l'électron. Il s'agit au départ d'une tentative pour incorporer la relativité restreinte à des modèles quantiques, avec une écriture linéaire entre la masse et l'impulsion. Cette équation décrit le comportement de particules élémentaires de spins demi-entiers, comme les électrons. Dirac cherchait à transformer l'équation de Schrödinger afin de la rendre invariante par l'action du groupe de Lorentz, en d'autre termes à la rendre compatible avec les principes de la relativité restreinte.
Automate finithumb|upright=2|Fig. 1 : Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
Réduction du paquet d'ondeLa réduction du paquet d'onde est un concept de la mécanique quantique selon lequel, après une mesure, un système physique voit son état entièrement réduit à celui qui a été mesuré. Pendant longtemps, le processus par lequel cette réduction a lieu a été inconnu des physiciens, ce qui les a contraint à en faire un postulat afin de rester conforme aux résultats expérimentaux. Le concept de réduction du paquet d'onde implique de nombreuses difficultés sur le plan logique et épistémologique.
Objective-collapse theoryObjective-collapse theories, also known as models of spontaneous wave function collapse or dynamical reduction models, are proposed solutions to the measurement problem in quantum mechanics. As with other theories called interpretations of quantum mechanics, they are possible explanations of why and how quantum measurements always give definite outcomes, not a superposition of them as predicted by the Schrödinger equation, and more generally how the classical world emerges from quantum theory.
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.
Méthode des éléments finisEn analyse numérique, la méthode des éléments finis (MEF, ou FEM pour finite element method en anglais) est utilisée pour résoudre numériquement des équations aux dérivées partielles. Celles-ci peuvent par exemple représenter analytiquement le comportement dynamique de certains systèmes physiques (mécaniques, thermodynamiques, acoustiques).
État stationnaire (physique quantique)En physique quantique comme dans le cas classique, un état stationnaire est un état qui n’évolue pas dans le temps. Cependant la description mathématique des états est un peu différente. Dans le cas d’un vecteur de norme 1 dans un espace de Hilbert, il peut y avoir un « changement de phase » (dans le sens multiplication par un nombre complexe de module 1). Par ailleurs, s’il est caractérisé par une fonction d’onde alors sa densité de probabilité est indépendante du temps.
Lambda cubethumb|Le lambda-cube. Initialement proposé par Henk Barendregt, le -cube permet de visualiser les différentes dimensions pour lesquelles le calcul des constructions apporte une généralisation par rapport au lambda-calcul simplement typé où un terme ne peut dépendre que d'un autre terme. Chaque axe représente une nouvelle forme d'abstraction : Terme dépendant de type : le polymorphisme ; Type dépendant de type : présence d'opérateurs de types ; Type dépendant de terme. Catégorie:Calculabilité Catégorie:Théor
Déclin de civilisationvignette|Destruction, extrait du Cours de l’Empire de Thomas Cole (1836).|342x342px Le déclin de civilisation est la chute d'une société humaine complexe, caractérisée par la perte de son identité culturelle et de sa complexité socio-économique, la chute du gouvernement et la montée de la violence. Les causes possibles d'un déclin d'une civilisation comprennent les catastrophes naturelles, la guerre, les épidémies (peste), la famine et la dépopulation.
Ensemble finiEn mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier. Un ensemble infini est un ensemble qui n'est pas fini. Ainsi l'ensemble des chiffres usuels (en base dix) {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} qui possède 10 éléments, est fini. De même l'ensemble des lettres de l'alphabet qui possède 26 éléments. L'ensemble de tous les nombres entiers naturels {0, 1, 2, 3,..., 10,..., 100,...
Énergie du point zéroL'énergie du point zéro est la plus faible énergie possible qu'un système physique quantique puisse avoir ; cela correspond à son énergie quand il est dans son état fondamental, c'est-à-dire lorsque toute autre forme d'énergie a été retirée. Tous les systèmes mécaniques quantiques subissent des fluctuations même quand ils sont à leur état fondamental (auquel est associée une énergie du point zéro), une conséquence de leur nature ondulatoire.
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.
Méthode des différences finiesEn analyse numérique, la méthode des différences finies est une technique courante de recherche de solutions approchées d'équations aux dérivées partielles qui consiste à résoudre un système de relations (schéma numérique) liant les valeurs des fonctions inconnues en certains points suffisamment proches les uns des autres. Cette méthode apparaît comme étant la plus simple à mettre en œuvre car elle procède en deux étapes : d'une part la discrétisation par différences finies des opérateurs de dérivation/différentiation, d'autre part la convergence du schéma numérique ainsi obtenu lorsque la distance entre les points diminue.
Automate fini déterministeUn automate fini déterministe, parfois abrégé en AFD (en anglais deterministic finite automaton, abrégé en DFA) est un automate fini dont les transitions à partir de chaque état sont déterminées de façon unique par le symbole d'entrée. Un tel automate se distingue ainsi d'un automate fini non déterministe, où au contraire plusieurs possibilités de transitions peuvent exister simultanément pour un état et un symbole d'entrée donné.
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.
Groupe trivialEn mathématiques, un groupe trivial est un groupe constitué du seul élément e. Tous les groupes triviaux sont isomorphes, c'est pourquoi on dit souvent le groupe trivial. L'opération de groupe est e + e = e. L'élément e est le neutre, et le groupe est abélien et même cyclique. On ne doit pas confondre le groupe trivial avec l'ensemble vide (qui n'a pas d'élément, donc pas d'élément neutre, si bien qu'il ne peut pas être un groupe). Le groupe trivial est « le » groupe cyclique d'ordre 1, noté C1.
