Philosophie analytiqueL'expression « philosophie analytique » désigne un mouvement philosophique qui se fonda dans un premier temps sur la nouvelle logique contemporaine, issue des travaux de Gottlob Frege et Bertrand Russell à la fin du et au début du , pour éclairer les grandes questions philosophiques. Sa démarche s'appuie sur une analyse logique du langage cherchant à mettre en évidence les erreurs de raisonnement que celui-ci peut induire et faisant ainsi de la « clarification logique des pensées » le but de la philosophie selon le mot de Ludwig Wittgenstein dans le célèbre Tractatus logico-philosophicus.
Théorie analytique des nombresdroite|vignette|La fonction zêta de Riemann ζ(s) dans le plan complexe. La couleur d'un point s code la valeur de ζ(s) : les couleurs proches du noir indiquent des valeurs proches de zéro, alors que la teinte code l'argument de la valeur. En mathématiques, la théorie analytique des nombres est une branche de la théorie des nombres qui utilise des méthodes d'analyse mathématique pour résoudre des problèmes concernant les nombres entiers.
Prolongement analytiqueEn analyse complexe, la théorie du prolongement analytique détaille l'ensemble des propriétés et techniques relatives au prolongement des fonctions holomorphes (ou analytiques). Elle considère d'abord la question du prolongement dans le plan complexe. Puis elle aborde des formes plus générales d'extension qui permettent de prendre en compte les singularités et les complications topologiques qui les accompagnent. La théorie fait alors intervenir soit le concept assez ancien et peu opérant de fonction multiforme, soit le concept plus puissant de surface de Riemann.
Projection cartographiqueLa projection cartographique est un ensemble de techniques géodésiques permettant de représenter une surface non plane (surface de la Terre, d'un autre corps céleste, du ciel, ...) dans son ensemble ou en partie sur la surface plane d'une carte. L'impossibilité de projeter le globe terrestre sur une surface plane sans distorsion (Theorema egregium) explique que diverses projections aient été inventées, chacune ayant ses avantages. Le choix d'une projection et le passage d'une projection à une autre comptent parmi les difficultés mathématiques que les cartographes ont dû affronter.
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.
Singularité (mathématiques)En mathématiques, une singularité est en général un point, une valeur ou un cas dans lequel un certain objet mathématique n'est pas bien défini ou bien subit une transition. Ce terme peut donc avoir des significations très différentes en fonction du contexte. Par exemple, dans l'analyse élémentaire, on dit que . En théorie des singularités, le terme prend un sens différent. On dit, par exemple, En algèbre linéaire, une matrice carrée est dite singulière si elle n'est pas inversible.
Equal-area projectionIn cartography, an equivalent, authalic, or equal-area projection is a map projection that preserves relative area measure between any and all map regions. Equivalent projections are widely used for thematic maps showing scenario distribution such as population, farmland distribution, forested areas, and so forth, because an equal-area map does not change apparent density of the phenomenon being mapped. By Gauss's Theorema Egregium, an equal-area projection cannot be conformal.
Fonction analytiquevignette|Tracé du module de la fonction gamma (son prolongement analytique) dans le plan complexe. En mathématiques, et plus précisément en analyse, une fonction analytique est une fonction d'une variable réelle ou complexe qui est développable en série entière au voisinage de chacun des points de son domaine de définition, c'est-à-dire que pour tout de ce domaine, il existe une suite donnant une expression de la fonction, valable pour tout assez proche de , sous la forme d'une série convergente : Toute fonction analytique est dérivable de dérivée analytique, ce qui implique que toute fonction analytique est indéfiniment dérivable, mais la réciproque est fausse en analyse réelle.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
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 ».
Projection de MercatorLa projection de Mercator ou projection Mercator est une projection cartographique de la Terre, dite «cylindrique», tangente à l'équateur du globe terrestre sur une carte plane formalisée par le géographe flamand Gerardus Mercator, en 1569. Elle s'est imposée comme le planisphère de référence dans le monde grâce à sa précision pour les voyages marins. Ce n'est pas, stricto sensu, une projection centrale : le point de latitude φ n'est pas envoyé, comme on pourrait s'y attendre, sur un point d'ordonnée proportionnelle à tan(φ) mais sur un point d'ordonnée proportionnelle à ln[tan(φ/2 + π/4)].
Removable singularityIn complex analysis, a removable singularity of a holomorphic function is a point at which the function is undefined, but it is possible to redefine the function at that point in such a way that the resulting function is regular in a neighbourhood of that point. For instance, the (unnormalized) sinc function, as defined by has a singularity at z = 0. This singularity can be removed by defining which is the limit of sinc as z tends to 0. The resulting function is holomorphic.
Polynômethumb|Courbe représentative d'une fonction cubique. En mathématiques, un polynôme est une expression formée uniquement de produits et de sommes de constantes et d'indéterminées, habituellement notées X, Y, Z... Ces objets sont largement utilisés en pratique, ne serait-ce que parce qu'ils donnent localement une valeur approchée de toute fonction dérivable (voir l'article Développement limité) et permettent de représenter des formes lisses (voir l'article Courbe de Bézier, décrivant un cas particulier de fonction polynomiale).
Fonction C∞ à support compactEn mathématiques, une fonction C à support compact (également appelée fonction test) est une fonction infiniment dérivable dont le support est compact. Ces fonctions sont au cœur de la théorie des distributions, puisque ces dernières sont construites comme éléments du dual topologique de l'espace des fonctions tests. Les fonctions C à support compact sont également utilisées pour construire des suites régularisantes et des partitions de l'unité de classe C.
Physique expérimentalevignette|La physique expérimentale peut parfois recourir à des instruments de très grandes dimensions : ici, construction du détecteur CMS (Compact Muon Solenoid) du Grand collisionneur de hadrons (LHC) au CERN, en 2003. Les techniciens présents en bas de l'image donnent une idée des dimensions réelles de cet ensemble (15 m de diamètre, 21 m de long, pour un poids de 14 000 tonnes) installé 100 mètres sous la surface du sol.
Physique mathématiqueLa physique mathématique est un domaine de recherche commun à la physique et aux mathématiques s'intéressant au développement des méthodes mathématiques spécifiques aux problèmes physiques ou plus généralement à l'application des mathématiques à la physique, et, à l'opposé, aux développements mathématiques que suscitent certains domaines de recherche en physique. Elle inclut notamment l'étude des systèmes dynamiques, des algèbres aux symétries particulières, des méthodes de décomposition en séries et des méthodes de résolution d'équations différentielles.
Point singulier d'une courbeEn géométrie, un point singulier d'une courbe est un point en lequel la courbe ne peut être paramétrée par un plongement lisse. Les définitions plus précises du point singulier d'une courbe dépendent du type de courbe concernée. Les courbes algébriques planes peuvent être définies comme étant un ensemble de points qui satisfont une équation de la forme où est une fonction polynomiale. Supposons est développée sous la forme : et si l'origine (0, 0) est sur la courbe, alors .
Singularité isoléevignette|Tracé tridimensionnel de la valeur absolue de la fonction gamma complexe En analyse complexe, une singularité isolée (appelée aussi point singulier isolé) d'une fonction holomorphe f est un point a du plan complexe, tel qu'il existe un voisinage ouvert U de a tel que f soit holomorphe sur U \ {a}. L'étude des singularités isolées d'une fonction holomorphe est fondamentale dans le calcul des résidus, notamment pour le théorème des résidus.
Singular point of an algebraic varietyIn the mathematical field of algebraic geometry, a singular point of an algebraic variety V is a point P that is 'special' (so, singular), in the geometric sense that at this point the tangent space at the variety may not be regularly defined. In case of varieties defined over the reals, this notion generalizes the notion of local non-flatness. A point of an algebraic variety which is not singular is said to be regular. An algebraic variety which has no singular point is said to be non-singular or smooth.
Philosophie expérimentaleLa philosophie expérimentale est un mouvement philosophique, apparu dans les années 2000, cherchant à associer le questionnement philosophique classique à une recherche empirique et systématique. S'inspirant de la méthode des sciences cognitives, les philosophes expérimentaux mettent en œuvre des études expérimentales visant à comprendre comment tout un chacun réfléchit de manière ordinaire aux questions fondatrices de la philosophie.
