Transfer principleIn model theory, a transfer principle states that all statements of some language that are true for some structure are true for another structure. One of the first examples was the Lefschetz principle, which states that any sentence in the first-order language of fields that is true for the complex numbers is also true for any algebraically closed field of characteristic 0. An incipient form of a transfer principle was described by Leibniz under the name of "the Law of Continuity".
Method of exhaustionThe method of exhaustion (methodus exhaustionibus) is a method of finding the area of a shape by inscribing inside it a sequence of polygons whose areas converge to the area of the containing shape. If the sequence is correctly constructed, the difference in area between the nth polygon and the containing shape will become arbitrarily small as n becomes large. As this difference becomes arbitrarily small, the possible values for the area of the shape are systematically "exhausted" by the lower bound areas successively established by the sequence members.
Archimedean propertyIn abstract algebra and analysis, the Archimedean property, named after the ancient Greek mathematician Archimedes of Syracuse, is a property held by some algebraic structures, such as ordered or normed groups, and fields. The property, typically construed, states that given two positive numbers and , there is an integer such that . It also means that the set of natural numbers is not bounded above. Roughly speaking, it is the property of having no infinitely large or infinitely small elements.
Smooth infinitesimal analysisSmooth infinitesimal analysis is a modern reformulation of the calculus in terms of infinitesimals. Based on the ideas of F. W. Lawvere and employing the methods of , it views all functions as being continuous and incapable of being expressed in terms of discrete entities. As a theory, it is a subset of synthetic differential geometry. The nilsquare or nilpotent infinitesimals are numbers ε where ε2 = 0 is true, but ε = 0 need not be true at the same time.
Standard part functionIn nonstandard analysis, the standard part function is a function from the limited (finite) hyperreal numbers to the real numbers. Briefly, the standard part function "rounds off" a finite hyperreal to the nearest real. It associates to every such hyperreal , the unique real infinitely close to it, i.e. is infinitesimal. As such, it is a mathematical implementation of the historical concept of adequality introduced by Pierre de Fermat, as well as Leibniz's Transcendental law of homogeneity.
UltraproductThe ultraproduct is a mathematical construction that appears mainly in abstract algebra and mathematical logic, in particular in model theory and set theory. An ultraproduct is a quotient of the direct product of a family of structures. All factors need to have the same signature. The ultrapower is the special case of this construction in which all factors are equal. For example, ultrapowers can be used to construct new fields from given ones. The hyperreal numbers, an ultrapower of the real numbers, are a special case of this.
AdequalityAdequality is a technique developed by Pierre de Fermat in his treatise Methodus ad disquirendam maximam et minimam (a Latin treatise circulated in France c. 1636 ) to calculate maxima and minima of functions, tangents to curves, area, center of mass, least action, and other problems in calculus. According to André Weil, Fermat "introduces the technical term adaequalitas, adaequare, etc., which he says he has borrowed from Diophantus. As Diophantus V.
The AnalystThe Analyst (subtitled A Discourse Addressed to an Infidel Mathematician: Wherein It Is Examined Whether the Object, Principles, and Inferences of the Modern Analysis Are More Distinctly Conceived, or More Evidently Deduced, Than Religious Mysteries and Points of Faith) is a book by George Berkeley. It was first published in 1734, first by J. Tonson (London), then by S. Fuller (Dublin). The "infidel mathematician" is believed to have been Edmond Halley, though others have speculated Sir Isaac Newton was intended.
Bonaventura CavalieriBonaventura Francesco Cavalieri (Bonaventura Cavalerius; 1598 – 30 November 1647) was an Italian mathematician and a Jesuate. He is known for his work on the problems of optics and motion, work on indivisibles, the precursors of infinitesimal calculus, and the introduction of logarithms to Italy. Cavalieri's principle in geometry partially anticipated integral calculus. Born in Milan, Cavalieri joined the Jesuates order (not to be confused with the Jesuits) at the age of fifteen, taking the name Bonaventura upon becoming a novice of the order, and remained a member until his death.
RigourRigour (British English) or rigor (American English; see spelling differences) describes a condition of stiffness or strictness. These constraints may be environmentally imposed, such as "the rigours of famine"; logically imposed, such as mathematical proofs which must maintain consistent answers; or socially imposed, such as the process of defining ethics and law. "Rigour" comes to English through old French (13th c.
