Abraham RobinsonAbraham Robinson ( en Allemagne - aux États-Unis) est un mathématicien, logicien et un ingénieur en aérodynamique célèbre pour sa création de l’analyse non standard (1961), une théorie mathématique du calcul infinitésimal, qui rend rigoureux l'usage des infiniment petits et des infiniment grands introduit par Leibniz (vers 1690) et largement utilisé par Euler. La formalisation la plus usuelle du calcul infinitésimal, celle mise au point par les analystes du , évacue ces deux notions. Il reçoit la Médaille Brouwer en 1973.
HyperintegerIn nonstandard analysis, a hyperinteger n is a hyperreal number that is equal to its own integer part. A hyperinteger may be either finite or infinite. A finite hyperinteger is an ordinary integer. An example of an infinite hyperinteger is given by the class of the sequence (1, 2, 3, ...) in the ultrapower construction of the hyperreals. The standard integer part function: is defined for all real x and equals the greatest integer not exceeding x.
Limite (mathématiques élémentaires)La notion de limite est très intuitive malgré sa formulation abstraite. Pour les mathématiques élémentaires, il convient de distinguer une limite en un point réel fini (pour une fonction numérique) et une limite en ou (pour une fonction numérique ou une suite), ces deux cas apparemment différents pouvant être unifiés à travers la notion topologique de voisinage. Les limites servent (entre autres) à définir les notions fondamentales de continuité et de dérivabilité.
Nombre surréelvignette|Représentation d'une partie de l'arbre des nombres surréels. En mathématiques, les nombres surréels sont les éléments d'une classe incluant celle des réels et celle des nombres ordinaux transfinis, et sur laquelle a été définie une structure de corps ; ceci signifie en particulier que l'on définit des inverses des nombres ordinaux transfinis ; ces ordinaux et leurs inverses sont respectivement plus grands et plus petits que n'importe quel nombre réel positif. Les surréels ne forment pas un ensemble au sens de la théorie usuelle.
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Internal setIn mathematical logic, in particular in model theory and nonstandard analysis, an internal set is a set that is a member of a model. The concept of internal sets is a tool in formulating the transfer principle, which concerns the logical relation between the properties of the real numbers R, and the properties of a larger field denoted *R called the hyperreal numbers. The field *R includes, in particular, infinitesimal ("infinitely small") numbers, providing a rigorous mathematical justification for their use.
Nombre superréelEn algèbre commutative, les corps de nombres superréels sont des extensions du corps des nombres réels plus générales que les corps de nombres hyperréels. Soient X un espace de Tychonov, C(X) l'algèbre des fonctions continues sur X à valeurs réelles et P un idéal premier de C(X). Par construction, l'anneau quotient A = C(X)/P est un anneau intègre qui est une algèbre réelle et peut être muni d'un ordre total compatible avec sa structure algébrique. F, le corps des fractions de A, est appelé corps superréel si l'inclusion de dans F est stricte.
Cours d'Analysevignette| Page de titre Cours d'Analyse de l'École Royale Polytechnique ; Ière partie. Analyse algébrique est un manuel fondateur du calcul infinitésimal publié par Augustin-Louis Cauchy en 1821. Il reprend une partie du cours d'analyse de année dispensé à l'Ecole polytechnique, et a participé à la réputation du mathématicien et de l'école. À la page 1 de l'Introduction, Cauchy écrit : Cauchy poursuit : À la page 4, Cauchy discute d'abord des grandeurs variables, puis introduit la notion de limite dans les termes suivants : Plus bas sur la même page, Cauchy définit un infinitésimal comme suit : Cauchy ajoute : La notation est présentée à la page 13.
Nonstandard calculusIn mathematics, nonstandard calculus is the modern application of infinitesimals, in the sense of nonstandard analysis, to infinitesimal calculus. It provides a rigorous justification for some arguments in calculus that were previously considered merely heuristic. Non-rigorous calculations with infinitesimals were widely used before Karl Weierstrass sought to replace them with the (ε, δ)-definition of limit starting in the 1870s. (See history of calculus.
Histoire du calcul infinitésimalL'histoire du calcul infinitésimal remonte à l'Antiquité. Sa création est liée à une polémique entre deux mathématiciens : Isaac Newton et Gottfried Wilhelm Leibniz. Néanmoins, on retrouve chez des mathématiciens plus anciens les prémices de ce type de calcul : Archimède, Thābit ibn Qurra, Pierre de Fermat et Isaac Barrow notamment. La notion de nombre dérivé a vu le jour au dans les écrits de Leibniz et de Newton qui le nomme fluxion et qui le définit comme « le quotient ultime de deux accroissements évanescents ».
