Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Argument mapAn argument map or argument diagram is a visual representation of the structure of an argument. An argument map typically includes all the key components of the argument, traditionally called the conclusion and the premises, also called contention and reasons. Argument maps can also show co-premises, objections, counterarguments, rebuttals, and lemmas. There are different styles of argument map but they are often functionally equivalent and represent an argument's individual claims and the relationships between them.
Cosmological argumentA cosmological argument, in natural theology, is an argument which claims that the existence of God can be inferred from facts concerning causation, explanation, change, motion, contingency, dependency, or finitude with respect to the universe or some totality of objects. A cosmological argument can also sometimes be referred to as an argument from universal causation, an argument from first cause, the causal argument, or prime mover argument.
Conservative systemIn mathematics, a conservative system is a dynamical system which stands in contrast to a dissipative system. Roughly speaking, such systems have no friction or other mechanism to dissipate the dynamics, and thus, their phase space does not shrink over time. Precisely speaking, they are those dynamical systems that have a null wandering set: under time evolution, no portion of the phase space ever "wanders away", never to be returned to or revisited. Alternately, conservative systems are those to which the Poincaré recurrence theorem applies.
Suspension activeLa suspension active est un type de suspension automobile où le mouvement vertical des roues par rapport au châssis est activement contrôlé par un système embarqué. Elle est utilisée pour la première fois dans le cadre du championnat du monde de Formule 1 au Grand Prix d'Afrique du Sud en 1992, par l'écurie Williams sur la FW14. Elle s'oppose ainsi à la suspension passive, dans laquelle le mouvement vertical du véhicule est déterminé par les conditions au sol.
Invariant measureIn mathematics, an invariant measure is a measure that is preserved by some function. The function may be a geometric transformation. For examples, circular angle is invariant under rotation, hyperbolic angle is invariant under squeeze mapping, and a difference of slopes is invariant under shear mapping. Ergodic theory is the study of invariant measures in dynamical systems. The Krylov–Bogolyubov theorem proves the existence of invariant measures under certain conditions on the function and space under consideration.
Système dynamiqueEn mathématiques, en chimie ou en physique, un système dynamique est la donnée d’un système et d’une loi décrivant l'évolution de ce système. Ce peut être l'évolution d'une réaction chimique au cours du temps, le mouvement des planètes dans le système solaire (régi par la loi universelle de la gravitation de Newton) ou encore l'évolution de la mémoire d'un ordinateur sous l'action d'un programme informatique. Formellement on distingue les systèmes dynamiques à temps discrets (comme un programme informatique) des systèmes dynamiques à temps continu (comme une réaction chimique).
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Argument ontologiqueL'argument ontologique est un argument qui vise à prouver l'existence de Dieu. Il est dit ontologique, car il appuie sa preuve sur la définition de ce qu'est l'être (ontos) de Dieu : il est dans l'être de Dieu d'exister. On considère généralement que Boèce () est le premier à avoir proposé un argument de ce genre, mais c'est sa formulation par Anselme de Cantorbéry au qui rend l'argument célèbre. À l'époque moderne, la version cartésienne de l'argument a été particulièrement influente, faisant l'objet de plusieurs critiques qui conduisent à rejeter la valeur des arguments ontologiques en général.
Application affineEn géométrie, une application affine est une application entre deux espaces affines qui est compatible avec leur structure. Cette notion généralise celle de fonction affine de R dans R (), sous la forme , où est une application linéaire et est un point. Une bijection affine (qui est un cas particulier de transformation géométrique) envoie les sous-espaces affines, comme les points, les droites ou les plans, sur le même type d'objet géométrique, tout en préservant la notion de parallélisme.
Reflection (mathematics)In mathematics, a reflection (also spelled reflexion) is a mapping from a Euclidean space to itself that is an isometry with a hyperplane as a set of fixed points; this set is called the axis (in dimension 2) or plane (in dimension 3) of reflection. The image of a figure by a reflection is its in the axis or plane of reflection. For example the mirror image of the small Latin letter p for a reflection with respect to a vertical axis (a vertical reflection) would look like q.
Mesure imageEn théorie de la mesure, la mesure image est une mesure définie sur un espace mesurable et transférée sur un autre espace mesurable via une fonction mesurable. On se donne deux espaces mesurables et , une application mesurable et une mesure . La mesure image de μ par f est une mesure sur notée et définie par : Cette définition s'applique également aux mesures complexes signées. La formule de changement de variables est l'une des principales propriétés : Une fonction g sur X est intégrable par rapport à la mesure image fμ si et seulement si la fonction composée g∘ f est intégrable par rapport à la mesure μ.
