Causalité (physique)En physique, le principe de causalité affirme que si un phénomène (nommé cause) produit un autre phénomène (nommé effet), alors la cause précède l'effet (ordre temporel). Le principe de causalité est une des contraintes réalistes imposées à toute théorie mathématiquement cohérente afin qu'elle soit physiquement admissible. D'après Gilles Cohen-Tannoudji, . À ce jour, il n'a pas été mis en défaut par l’expérience, mais certaines théories envisagent une causalité inversée.
Cône de lumièreredresse=1.25|vignette|Le cône de lumière centré sur un événement. En physique, le cône de lumière est une notion fondamentale de la théorie de la relativité, permettant à partir d'un événement la distinction entre les événements passés, les événements futurs et les événements inaccessibles (dans le passé comme dans le futur). Le cône de lumière est ainsi désigné à la suite de Hermann Minkowski (-). Mathématiquement, un cône de lumière est un .
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Principe cosmologiqueLa cosmologie ne peut s’envisager qu’en faisant des hypothèses simplificatrices que l’on appelle des « principes cosmologiques ». Sans cet artifice, il faudrait en effet connaître les vitesses et les positions de toutes les particules dans l’espace, ce qui est tout simplement impossible. On distingue actuellement quatre grands principes : Le principe cosmologique d'homogénéité et d'isotropie ; Le principe cosmologique parfait (ou d'équivalence temporelle) ; Le principe cosmologique global ; Le principe cosmologique de l'Univers fractal.
Transformation de Fourierthumb|Portrait de Joseph Fourier. En mathématiques, plus précisément en analyse, la transformation de Fourier est une extension, pour les fonctions non périodiques, du développement en série de Fourier des fonctions périodiques. La transformation de Fourier associe à toute fonction intégrable définie sur R et à valeurs réelles ou complexes, une autre fonction sur R appelée transformée de Fourier dont la variable indépendante peut s'interpréter en physique comme la fréquence ou la pulsation.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Causal reasoningCausal reasoning is the process of identifying causality: the relationship between a cause and its effect. The study of causality extends from ancient philosophy to contemporary neuropsychology; assumptions about the nature of causality may be shown to be functions of a previous event preceding a later one. The first known protoscientific study of cause and effect occurred in Aristotle's Physics. Causal inference is an example of causal reasoning. Causal relationships may be understood as a transfer of force.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Causal structureIn mathematical physics, the causal structure of a Lorentzian manifold describes the causal relationships between points in the manifold. In modern physics (especially general relativity) spacetime is represented by a Lorentzian manifold. The causal relations between points in the manifold are interpreted as describing which events in spacetime can influence which other events. The causal structure of an arbitrary (possibly curved) Lorentzian manifold is made more complicated by the presence of curvature.
Espace-tempsEn physique, l'espace-temps est une représentation mathématique de l'espace et du temps comme deux notions inséparables et s'influençant l'une l'autre. En réalité, ce sont deux versions (vues sous un angle différent) d'une même entité. Cette conception de l'espace et du temps est l'un des grands bouleversements survenus au début du dans le domaine de la physique, mais aussi pour la philosophie. Elle est apparue avec la relativité restreinte et sa représentation géométrique qu'est l'espace de Minkowski ; son importance a été renforcée par la relativité générale.
