Nonstandard analysis

The history of calculus is fraught with philosophical debates about the meaning and logical validity of fluxions or infinitesimal numbers. The standard way to resolve these debates is to define the operations of calculus using epsilon–delta procedures rather than infinitesimals. Nonstandard analysis instead reformulates the calculus using a logically rigorous notion of infinitesimal numbers. Nonstandard analysis originated in the early 1960s by the mathematician Abraham Robinson. He wrote: the idea of infinitely small or infinitesimal quantities seems to appeal naturally to our intuition. At any rate, the use of infinitesimals was widespread during the formative stages of the Differential and Integral Calculus. As for the objection ... that the distance between two distinct real numbers cannot be infinitely small, Gottfried Wilhelm Leibniz argued that the theory of infinitesimals implies the introduction of ideal numbers which might be infinitely small or infinitely large compared with the real numbers but which were to possess the same properties as the latter. Robinson argued that this law of continuity of Leibniz's is a precursor of the transfer principle. Robinson continued: However, neither he nor his disciples and successors were able to give a rational development leading up to a system of this sort. As a result, the theory of infinitesimals gradually fell into disrepute and was replaced eventually by the classical theory of limits. Robinson continues: Leibniz's ideas can be fully vindicated and ... they lead to a novel and fruitful approach to classical Analysis and to many other branches of mathematics. The key to our method is provided by the detailed analysis of the relation between mathematical languages and mathematical structures which lies at the bottom of contemporary model theory. In 1973, intuitionist Arend Heyting praised nonstandard analysis as "a standard model of important mathematical research". A non-zero element of an ordered field is infinitesimal if and only if its absolute value is smaller than any element of of the form , for a standard natural number.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (1)

Related people (3)

Related units (1)

Related concepts (52)

Related courses (35)

Related lectures (104)

MATH-101(de): Analysis I (German)

Es werden die Grundlagen der Analysis sowie der Differential- und Integralrechnung von Funktionen einer reellen Veränderlichen erarbeitet.

CS-526: Learning theory

Machine learning and data analysis are becoming increasingly central in many sciences and applications. This course concentrates on the theoretical underpinnings of machine learning.

MATH-207(c): Analysis IV

This course is an introduction to the theory of complex analysis, Fourier series and Fourier transforms (including for tempered distributions), the Laplace transform, and their uses to solve ordinary

Parametric scripting for early design performance simulation

Guillaume Labelle

This paper discusses the advantages of using a coding interface both to describe form and run performance simulations in the context of architectural design. It outlines the relevance of combining recent interest in the design community for parametric scripting with available expert-level Building Performance Simulation. This approach enables designers to address performance-related design questions at the early design stage. Pitfalls when considering non-standard solutions and the potential of the approach to circumvent such difficulties are exemplified through a housing building case study, emphasizing the under-evaluated role of the analysis tool in steering design decisions. To circumvent the difficulty for non-expert users to interpret simulation results and transform them into design moves, the use of sensitivity analysis is proposed for its specific interplay with parametric scripting. Its potential for classifying parameters in order of importance is presented in the context of a design problem. The contribution outlines how providing designers with exploratory tools allows to consider sustainable construction in a systemic manner. (C) 2013 Elsevier B.V. All rights reserved.

Elsevier Science Sa2014

Nonstandard analysis

Real number

In mathematics, a real number is a number that can be used to measure a continuous one-dimensional quantity such as a distance, duration or temperature. Here, continuous means that pairs of values can have arbitrarily small differences. Every real number can be almost uniquely represented by an infinite decimal expansion. The real numbers are fundamental in calculus (and more generally in all mathematics), in particular by their role in the classical definitions of limits, continuity and derivatives.

Infinitesimal

In mathematics, an infinitesimal number is a quantity that is closer to zero than any standard real number, but that is not zero. The word infinitesimal comes from a 17th-century Modern Latin coinage infinitesimus, which originally referred to the "infinity-th" item in a sequence. Infinitesimals do not exist in the standard real number system, but they do exist in other number systems, such as the surreal number system and the hyperreal number system, which can be thought of as the real numbers augmented with both infinitesimal and infinite quantities; the augmentations are the reciprocals of one another.

Introduces sequences, convergence, limits, bounded and monotonic sequences, divergence, and convergence criteria.

Covers the Majorantenkriterium and Wurzelkriterium for convergence tests of series.

Explores Stochastic Gradient Descent and Mean Field Analysis in two-layer neural networks, emphasizing their iterative processes and mathematical foundations.