Classification en classes multiplesIn machine learning and statistical classification, multiclass classification or multinomial classification is the problem of classifying instances into one of three or more classes (classifying instances into one of two classes is called binary classification). While many classification algorithms (notably multinomial logistic regression) naturally permit the use of more than two classes, some are by nature binary algorithms; these can, however, be turned into multinomial classifiers by a variety of strategies.
Orange (couleur)vignette|Des rondelles d'orange (le fruit). L'orange est un champ chromatique de couleurs vives qui, sur le cercle chromatique, prennent place entre le rouge et le jaune. Les couleurs orangées sont des couleurs chaudes ; les couleurs chaudes se définissent par leur proximité avec l'orange. Elles sont considérées comme stimulantes et provocantes. La norme Classification méthodique des couleurs (annulée le 30 août 2014) définissait l'orange comme une couleur dont la longueur d'onde dominante se situe entre à , de saturation et de luminosité moyennes à élevées.
PositionnementLe positionnement d'une offre (marque, service, produit, solution, etc.) est la catégorie mentale dans laquelle on veut l'inclure et sa position psychologique par rapport aux offres concurrentes appartenant à cette catégorie. C'est le choix d'attributs procurant à des offres (produits, ou enseigne) une position crédible, différente, attrayante et durable au sein d’un marché et dans l’esprit des clients. Dans le cadre de la stratégie marketing, les attributs sont de l'ordre de la communication, mais dans le cadre de la stratégie d'entreprise les attributs sont aussi de l'ordre de l'organisation.
Gentzen's consistency proofGentzen's consistency proof is a result of proof theory in mathematical logic, published by Gerhard Gentzen in 1936. It shows that the Peano axioms of first-order arithmetic do not contain a contradiction (i.e. are "consistent"), as long as a certain other system used in the proof does not contain any contradictions either. This other system, today called "primitive recursive arithmetic with the additional principle of quantifier-free transfinite induction up to the ordinal ε0", is neither weaker nor stronger than the system of Peano axioms.
EquiconsistencyIn mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa. In this case, they are, roughly speaking, "as consistent as each other". In general, it is not possible to prove the absolute consistency of a theory T. Instead we usually take a theory S, believed to be consistent, and try to prove the weaker statement that if S is consistent then T must also be consistent—if we can do this we say that T is consistent relative to S.
