Superseded theories in scienceThis list catalogs well-accepted theories in science and pre-scientific natural philosophy and natural history which have since been superseded by scientific theories. Many discarded explanations were once supported by a scientific consensus, but replaced after more empirical information became available that identified flaws and prompted new theories which better explain the available data. Pre-modern explanations originated before the scientific method, with varying degrees of empirical support.
Variété rationnelleEn géométrie algébrique, une variété rationnelle est une variété algébrique (intègre) V sur un corps K qui est birationnelle à un espace projectif sur K, c'est-à-dire qu'un certain ouvert dense de V est isomorphe à un ouvert d'un espace projectif. De façon équivalente, cela signifie que son corps de fonctions est isomorphe au corps des fractions rationnelles à d indéterminées K(U, ... , U), l'entier d étant alors égal à la dimension de la variété. Soit V une variété algébrique affine de dimension d définie par un idéal premier ⟨f, .
Fold (higher-order function)In functional programming, fold (also termed reduce, accumulate, aggregate, compress, or inject) refers to a family of higher-order functions that analyze a recursive data structure and through use of a given combining operation, recombine the results of recursively processing its constituent parts, building up a return value. Typically, a fold is presented with a combining function, a top node of a data structure, and possibly some default values to be used under certain conditions.
Musée scientifiquevignette|Expérience d'éclair artificiel au Science Museum de Boston. Les musées scientifiques sont des musées consacrés principalement aux sciences et aux techniques, à distinguer des muséums plus particulièrement consacrés à l'histoire naturelle. Historiquement, ils présentent des collections fixes d'œuvres ou d'objets liés à la géologie ou encore à l'industrie. La tendance actuelle des musées modernes est d'élargir les sujets et de proposer de nombreuses expériences didactiques ou interactives.
ThéorèmeEn mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.
Map (higher-order function)In many programming languages, map is the name of a higher-order function that applies a given function to each element of a collection, e.g. a list or set, returning the results in a collection of the same type. It is often called apply-to-all when considered in functional form. The concept of a map is not limited to lists: it works for sequential containers, tree-like containers, or even abstract containers such as futures and promises. Suppose we have a list of integers [1, 2, 3, 4, 5] and would like to calculate the square of each integer.
Filter (higher-order function)In functional programming, filter is a higher-order function that processes a data structure (usually a list) in some order to produce a new data structure containing exactly those elements of the original data structure for which a given predicate returns the boolean value true. In Haskell, the code example filter even [1..10] evaluates to the list 2, 4, ..., 10 by applying the predicate even to every element of the list of integers 1, 2, ...
Ensembles causauxLes ensembles causaux (causal sets), ou théorie des ensembles causaux, est une théorie physique qui définit une approche de la gravitation quantique. Ses principes fondateurs sont que l'espace-temps est fondamentalement discret (une distribution de points d'un espace-temps discret, appelés les éléments d'ensemble causal) et que les évènements de l'espace-temps sont reliés par un ordre partiel. Cet ordre partiel possède la signification physique des relations causales des évènements de l'espace-temps.
ÉcozoneDans certains systèmes de classification écologique des territoires biogéographiques terrestres, une écozone est définie comme étant une partie de la surface terrestre représentative d'une unité écologique à grande échelle, caractérisée par des facteurs abiotiques (non vivants) et biotiques (vivants) particuliers. Le système des écozones est proposé par Miklos Udvardy dans un objectif de conservation en 1975. Il est maintenant utilisé internationalement comme système unifié à des fins d’identification biogéographique et de conservation.
Écozone australasienneL'écozone australasienne ou australasien est l'une des huit écozones ou régions biogéographiques terrestres. Elle comprend la part de l'Indonésie situé à l'est de Bali et de Bornéo, le Timor, l'Australie, la Nouvelle-Zélande ainsi que la majeure partie de la Mélanésie, dont la Nouvelle-Guinée, Vanuatu, les îles Salomon et la Nouvelle-Calédonie. La division avec l'écozone Indomalaise est la « ligne Wallace », nommée depuis le naturaliste Alfred Russel Wallace qui identifia des différences entre les îles situées d'un côté ou de l'autre de la ligne.
