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 ? ».
Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
Homologie de FloerL'homologie de Floer est une adaptation de l'homologie de Morse en dimension infinie. L'homologie de Floer symplectique (HFS) est une théorie homologique pour une variété symplectique munie d'un symplectomorphisme non-dégénéré. Si le symplectomorphisme est hamiltonien, l'homologie provient de l'étude de la fonctionnelle d'action symplectique sur le revêtement universel de l'espace des lacets de la variété symplectique. L'homologie de Floer symplectique est invariante par isotopie hamiltonienne du symplectomorphisme.
Jouetvignette|Enfants du Burundi inventant leurs propres jouets. Un jouet est un objet dont la fonction principale est ludique et récréative et donc de permettre le jeu. Les jouets sont généralement associés aux enfants ou aux animaux domestiques, mais il n'est pas inhabituel pour les adultes et pour certains animaux non-domestiques de jouer avec des objets. Beaucoup d'objets sont fabriqués pour servir de jouets, mais certains qui sont produits pour d'autres buts peuvent également être utilisés comme des jouets.
Andreas FloerAndreas Floer [fløːɐ] (1956-1991) est un mathématicien allemand qui a contribué aux domaines de la géométrie, de la topologie et de la physique mathématique. Il formula l'homologie de Floer, important outil dans ces domaines. Il est étudiant à l'université de Bochum et reçoit le diplôme de mathématiques (Diplom-Mathematiker) en 1982. Il intègre par la suite l'université de Californie à Berkeley, où il commence un travail de doctorat sur les et les 3-variétés sous la direction de Clifford Taubes.
Théorie de MorseEn mathématiques, et plus précisément en topologie différentielle, la théorie de Morse est un ensemble de techniques et de méthodes mises en place durant la seconde moitié du , permettant d'étudier la topologie d'une variété différentielle en analysant les lignes de niveau d'une fonction définie sur cette variété. Le premier résultat d'importance est le lemme de Morse, qui donne le lien entre points critiques d'une fonction suffisamment générale et modification de la topologie de la variété.
Khovanov homologyIn mathematics, Khovanov homology is an oriented link invariant that arises as the cohomology of a cochain complex. It may be regarded as a categorification of the Jones polynomial. It was developed in the late 1990s by Mikhail Khovanov, then at the University of California, Davis, now at Columbia University. To any link diagram D representing a link L, we assign the Khovanov bracket [D], a cochain complex of graded vector spaces. This is the analogue of the Kauffman bracket in the construction of the Jones polynomial.
Topological quantum field theoryIn gauge theory and mathematical physics, a topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants. Although TQFTs were invented by physicists, they are also of mathematical interest, being related to, among other things, knot theory and the theory of four-manifolds in algebraic topology, and to the theory of moduli spaces in algebraic geometry. Donaldson, Jones, Witten, and Kontsevich have all won Fields Medals for mathematical work related to topological field theory.
Gauge theory (mathematics)In mathematics, and especially differential geometry and mathematical physics, gauge theory is the general study of connections on vector bundles, principal bundles, and fibre bundles. Gauge theory in mathematics should not be confused with the closely related concept of a gauge theory in physics, which is a field theory which admits gauge symmetry. In mathematics theory means a mathematical theory, encapsulating the general study of a collection of concepts or phenomena, whereas in the physical sense a gauge theory is a mathematical model of some natural phenomenon.
Doudou (peluche)alt=Fleur en peluche|vignette|Fleur en peluche Un doudou est un jouet-animal de compagnie (dont la peluche est l'une des formes par excellence), dont la fonction première est de rassurer les jeunes enfants, des premiers mois de la vie (vers ; ou le début du sevrage) ou jusqu'au décès chez certaines personnes. Certains conservent un doudou à l'âge adulte. Selon des chercheurs de l'université libre d'Amsterdam, le contact, même avec un objet inanimé de ce type, permet en effet aux personnes à faible estime de soi d'apaiser leurs craintes existentielles.
Point critique (thermodynamique)vignette| Le point critique d'un corps pur est le point du diagramme température-pression, généralement noté C, où s'arrête la courbe d'équilibre liquide-gaz. La température T et la pression P du point critique sont appelées température critique et pression critique du corps pur. Le volume molaire et la masse volumique du corps pur à ces température et pression (V et ρ) sont appelés volume critique et masse volumique critique (plus souvent, mais improprement, densité critique).
Algèbre graduéevignette|Un organigramme de diverses structures algébriques et leurs relations les unes avec les autres. En mathématiques, en algèbre linéaire, on appelle algèbre graduée une algèbre dotée d'une structure supplémentaire, appelée graduation. Soit A une algèbre sur un corps (ou plus généralement sur un anneau) K. Une graduation sur A est la donnée d’une famille de sous-espaces vectoriels de A vérifiant : c'est-à-dire que . L’algèbre A est alors dite graduée (parfois N-graduée, comme cas particulier de la notion d'algèbre M-graduée pour un monoïde M).
