Constructive set theoryAxiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach. On the other hand, some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle (), constructive set theories often require some logical quantifiers in their axioms to be set bounded, motivated by results tied to impredicativity.
InstabilitéÉtat de déséquilibre dynamique ou thermique de l'atmosphère, qui détermine les mouvements verticaux ascendants.
Hypothèse de simulationvignette|The Matrix - Capture d'écran du célèbre économiseur d'écran GLMatrix L'hypothèse de simulation énonce que la réalité observable a pour trame une simulation, semblable à celles de nos ordinateurs, sans que les entités y évoluant puissent la distinguer commodément de la vraie réalité. Cette hypothèse repose elle-même sur le développement de la réalité simulée, actuellement considérée comme une technologie fictive et gravitant autour de nombreuses œuvres de science-fiction, telles Star Trek, eXistenZ, Passé virtuel ou Matrix.
Méthode sans maillageIn the field of numerical analysis, meshfree methods are those that do not require connection between nodes of the simulation domain, i.e. a mesh, but are rather based on interaction of each node with all its neighbors. As a consequence, original extensive properties such as mass or kinetic energy are no longer assigned to mesh elements but rather to the single nodes. Meshfree methods enable the simulation of some otherwise difficult types of problems, at the cost of extra computing time and programming effort.
Cum hoc ergo propter hocCum hoc ergo propter hoc (latin signifiant avec ceci, donc à cause de ceci) est un sophisme qui consiste à prétendre que si deux événements sont corrélés, alors, il y a un lien de cause à effet entre les deux. La confusion entre corrélation et causalité est appelée effet cigogne en zététique (en référence à la corrélation trompeuse entre le nombre de nids de cigognes et celui des naissances humaines) ; en science et particulièrement en statistique cette erreur est rappelée par la phrase « la corrélation n'implique pas la causalité », en latin : cum hoc sed non propter hoc (avec ceci, cependant pas à cause de ceci).
DonnéeUne donnée est ce qui est connu et qui sert de point de départ à un raisonnement ayant pour objet la détermination d'une solution à un problème en relation avec cette donnée. Cela peut être une description élémentaire qui vise à objectiver une réalité, le résultat d'une comparaison entre deux événements du même ordre (mesure) soit en d'autres termes une observation ou une mesure. La donnée brute est dépourvue de tout raisonnement, supposition, constatation, probabilité.
Macle (cristallographie)thumb|right|Macle par pénétration de trois cristaux de pyrite. Une macle est une association orientée de plusieurs cristaux identiques, dits individus, reliés par une opération de groupe ponctuel de symétrie. Les cristaux formant une macle ont en commun un réseau qui s'appelle réseau de la macle. Ce réseau est formé par les nœuds des réseaux des individus maclés qui sont superposés par l'opération de macle. Selon que ce réseau existe en une, deux ou trois dimensions, les macles sont dites monopériodiques, dipériodiques et tripériodiques respectivement.
Énergie potentielle de convection disponibleL'énergie potentielle de convection disponible (EPCD), en anglais convective available potential energy (CAPE), est l'énergie potentielle par unité de masse qu'a une parcelle d'air plus chaude que son environnement, ce qui se traduit par une poussée d'Archimède ascensionnelle. Cela se produit dès qu'on dépasse le niveau de convection libre de la masse d'air. L'EPCD se mesure en joules par kilogramme (J/kg) ou, ce qui est équivalent mais moins couramment utilisé, en mètres carrés par seconde carrée (m/s).
Module de convergenceEn analyse réelle un module de convergence est une fonction qui indique à quelle vitesse une séquence convergente converge. Ces modules sont souvent employés dans l'étude de l'analyse calculable et des mathématiques constructives. Si une suite de nombres réels (xi) converge vers un nombre réel x, alors par définition, pour tout réel il existe un entier naturel N tel que si i > N alors . Un module de convergence est une fonction qui, étant donné ε, renvoie une valeur correspondante de N.
Matière amorpheUn matériau amorphe est une substance dans laquelle les atomes ne respectent aucun ordre à moyenne et grande distance (comparée au diamètre moléculaire), ce qui la distingue des composés cristallisés. La condition sur la distance est importante car la structure des matériaux amorphes présente très souvent un ordre à courte distance (quelques diamètres moléculaires). Les verres, les élastomères et les liquides sont des substances amorphes. En géosciences, le terme générique de minéraloïde est utilisé pour désigner la classe de ces matériaux non-cristallins.
