Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Beauté mathématiqueupright|droite|vignette|La frontière de l'ensemble de Mandelbrot. La beauté mathématique est un sentiment de beauté que certaines personnes ressentent face aux mathématiques. Certains mathématiciens recherchent dans leur travail ou dans les mathématiques en général, un plaisir esthétique. Ils expriment ce plaisir en décrivant de « belles » parties des mathématiques. Ils peuvent considérer les mathématiques comme un art ou comme une activité créative. Des comparaisons sont souvent faites avec la musique et la poésie.
Équilibre généralL'équilibre général est un concept d'économie qui désigne la possibilité pour les marchés d'atteindre l'équilibre simultanément par le libre jeu de l'offre et de la demande. L'équilibre général se distingue de l'équilibre simple (ou partiel) en ce qu'il s'agit d'un équilibre atteint sur l'intégralité des marchés. Issu de la microéconomie, la théorie de l'équilibre général a été développée par Léon Walras dans son ouvrage de , Éléments d'économie politique pure.
Équilibre thermodynamiquevignette|200px|Exemple d'équilibre thermodynamique de deux systèmes, en l'occurrence deux phases : l'équilibre liquide-vapeur du brome. En thermodynamique, un équilibre thermodynamique correspond à l'état d'un système ne subissant aucune évolution à l'échelle macroscopique. Les grandeurs intensives caractérisant ce système (notamment la pression, la température et les potentiels chimiques) sont alors homogènes dans l'espace et constantes dans le temps.
Énergie chimiqueL'énergie chimique est le potentiel pour une substance chimique à subir une réaction chimique pour se transformer en d'autres substances. Les piles, les aliments et les combustibles fossiles sont des exemples de supports de stockage de l'énergie chimique. La rupture ou la création de liaisons chimiques implique de l'énergie, qui peut être absorbée ou dégagée par un système chimique (sous forme de chaleur ou d'énergie électrique par exemple).
Grand potentialThe grand potential or Landau potential or Landau free energy is a quantity used in statistical mechanics, especially for irreversible processes in open systems. The grand potential is the characteristic state function for the grand canonical ensemble. Grand potential is defined by where U is the internal energy, T is the temperature of the system, S is the entropy, μ is the chemical potential, and N is the number of particles in the system.
Champ conservatifUn champ de vecteurs est dit à circulation conservative (ou irrotationnel) si sa circulation sur toute courbe fermée est nulle (son rotationnel est alors nul, et réciproquement). Sous certaines conditions relatives au domaine de définition et à la régularité du champ, on peut dériver le potentiel de ce champ, fonction scalaire qui en permet une représentation alternative. De même, un champ de vecteurs est dit à flux conservatif si son flux sur toute surface fermée est nul (sa divergence est alors nulle, et réciproquement).
Équilibre chimiqueUn équilibre chimique est le résultat de deux réactions chimiques simultanées dont les effets s'annulent mutuellement. Une réaction telle que la combustion du propane avec l'oxygène, qui s'arrête lorsque l'un des réactifs est totalement épuisé, est qualifiée de réaction totale, complète ou irréversible. À contrario, une réaction comme l'estérification, aboutissant à un mélange stable dans le temps de réactifs et de produits, sans disparition totale de l'une des espèces chimiques, est qualifiée de réaction partielle, incomplète, réversible ou inversible : ce type de réaction aboutit à un équilibre chimique.
Équilibre statique (mécanique)En physique, un équilibre statique est un mouvement nul. Dans le cas d’un système matériel quelconque, un mouvement nul se traduit par un champ de vecteurs vitesses nul. Dans le cas d’un solide indéformable, ce mouvement particulier est caractérisé par un torseur cinématique nul Pour un système de plusieurs solides, il faut écrire les conditions précédentes pour chacun des solides. Ceci est une conséquence du « principe fondamental de la statique » qui stipule que « la somme et le moment de toutes les forces qui s'exercent sur lui est nulle.
Philosophie des mathématiquesLa philosophie des mathématiques est la branche de la philosophie des sciences qui tente de répondre aux interrogations sur les fondements des mathématiques ainsi que sur leur usage. On y croise des questions telles que : « les mathématiques sont-elles nécessaires ? », « pourquoi les mathématiques sont-elles utiles ou efficaces pour décrire la nature ? », « dans quel(s) sens, peut-on dire que les entités mathématiques existent ? » ou « pourquoi et comment peut-on dire qu'une proposition mathématique est vraie ? ».
Competitive equilibriumCompetitive equilibrium (also called: Walrasian equilibrium) is a concept of economic equilibrium, introduced by Kenneth Arrow and Gérard Debreu in 1951, appropriate for the analysis of commodity markets with flexible prices and many traders, and serving as the benchmark of efficiency in economic analysis. It relies crucially on the assumption of a competitive environment where each trader decides upon a quantity that is so small compared to the total quantity traded in the market that their individual transactions have no influence on the prices.
Dérivation (algèbre)En algèbre, le terme dérivation est employé dans divers contextes pour désigner une application vérifiant l'identité de Leibniz. Selon le contexte, il peut s'agir, entre autres, d'une application additive définie sur un anneau A à valeurs dans un -module, ou bien d'un endomorphisme d'une algèbre unitaire sur un anneau unitaire. Cette notion est en particulier vérifiée par l'opérateur de dérivation d'une fonction (de variable réelle, par exemple); elle en est une généralisation utilisée en géométrie algébrique et en calcul différentiel sur les variétés (par exemple pour définir le crochet de Lie).
