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.
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.
Théorie des singularitésvignette|droite|Visualisation de la fonction (x, y) → x2 + y2 Dans l'acception que lui a donnée René Thom, la théorie des singularités consiste à étudier des objets et des familles d'objets suivant leur degré de généricité. Dans une famille, l'objet peut subir des changements d'états ce que l'on appelle une bifurcation. Un exemple simple est donné par les courbes de niveau de la fonction : La courbe de niveau pour une valeur positive est un cercle. La valeur 0 est singulière et pour les valeurs négatives, la courbe est vide.
Regular 4-polytopeIn mathematics, a regular 4-polytope is a regular four-dimensional polytope. They are the four-dimensional analogues of the regular polyhedra in three dimensions and the regular polygons in two dimensions. There are six convex and ten star regular 4-polytopes, giving a total of sixteen. The convex regular 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. He discovered that there are precisely six such figures.
Raisonnement par l'absurdeLe raisonnement par l’absurde (du latin reductio ad absurdum) ou apagogie (du grec ancien apagôgê) est une forme de raisonnement logique, philosophique, scientifique consistant soit à démontrer la véracité d’une proposition en prouvant l’absurdité de la proposition complémentaire (ou « contraire »), soit à montrer la fausseté d’une proposition en déduisant logiquement d’elle des conséquences absurdes.
Langage rationnelEn théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes : ce sont les langages décrits par les expressions régulières ou rationnelles, d'où le nom de langages réguliers ; ce sont les langages obtenus, à partir des lettres et de l'ensemble vide, par les opérations rationnelles, à savoir l'union, le produit et l'étoile de Kleene, d'où le nom de langages rationnels ; ce sont les langages reconnus par des auto
Échelle logarithmiqueUne échelle logarithmique est un système de graduation en progression géométrique. Chaque pas multiplie la valeur par une constante positive. De ce fait, la position sur l'axe d'une valeur est proportionnelle à son logarithme. Une échelle logarithmique est particulièrement adaptée pour rendre compte des ordres de grandeur dans les applications. Elle montre sur un petit espace une large gamme de valeurs, à condition qu'elles soient non nulles et de même signe.
Surface d'EnneperUne surface d'Enneper est une surface minimale, paramétrisée en 1863 par le mathématicien allemand Alfred Enneper. On peut la décrire par un paramétrage cartésien : Cette surface représente un film de savon « fantôme », c’est-à-dire un équilibre instable de l’énergie potentielle. On peut imaginer une surface d'Enneper comme s'appuyant sur un contour comme celui tracé sur une balle de tennis. Sur ce contour, deux films de savon réels peuvent s'accrocher : un pour chaque moitié de la surface de la balle de tennis.
Schwarz minimal surfaceIn differential geometry, the Schwarz minimal surfaces are periodic minimal surfaces originally described by Hermann Schwarz. In the 1880s Schwarz and his student E. R. Neovius described periodic minimal surfaces. They were later named by Alan Schoen in his seminal report that described the gyroid and other triply periodic minimal surfaces. The surfaces were generated using symmetry arguments: given a solution to Plateau's problem for a polygon, reflections of the surface across the boundary lines also produce valid minimal surfaces that can be continuously joined to the original solution.
Induction of regular languagesIn computational learning theory, induction of regular languages refers to the task of learning a formal description (e.g. grammar) of a regular language from a given set of example strings. Although E. Mark Gold has shown that not every regular language can be learned this way (see language identification in the limit), approaches have been investigated for a variety of subclasses. They are sketched in this article. For learning of more general grammars, see Grammar induction.
