The history of mathematics, and to some extent its content, can be thought of as involving three major phases. Ancient mathematics, covering the period from the earliest written records through the first few centuries A.D., culminated in Euclidean geometry, the elementary theory of numbers, and ordinary algebra. Equally important, this phase saw the evolution and partial clarification of axiomatic systems and deductive proofs. The next major phase, classical mathematics, began more than 1,000 years later, with the Cartesian fusion of geometry and algebra and the use of limiting processes in the calculus. From these evolved, during the eighteenth and nineteenth centuries, the several aspects of classical analysis. Other contributions of this phase include non-Euclidean geometries, the beginnings of probability theory, vector spaces and matrix theory, and a deeper development of the theory of numbers. About a hundred years ago the third and most abstract and demanding phase, known as modern mathematics, began to evolve and become separate from the classical period. This phase has been concerned with the isolation of several recurrent structures of analysis worthy of independent study—these include abstract algebraic systems (for example, groups, rings, and fields), topological spaces, symbolic logic, and functional analysis (Hilbert and Banach spaces, for example)—and various fusions of these systems (for example, algebraic geometry and topological groups). The rate of growth of mathematics has been so great that today most mathematicians are familiar in detail with the major developments of only a few branches of the subject.
Our purpose is to give some hint of these topics. The reader interested in a somewhat more detailed treatment will find the best single source to be Mathematics: Its Content, Methods, and Meaning, the translation of a Russian work (Akademiia Nauk S.S.S.R. 1956). Other general works are Courant and Robbins (1941), Friedman (1966), and Newman (1956). More specific references are given where appropriate. We do not here discuss probability, mathematical statistics, or computation, even though they are especially important mathematical disciplines for the social sciences, because they are covered in separate articles in the encyclopedia.
The history of ancient mathematics divides naturally into three periods. In the first period, the pre-Hellenic age, the beginnings of systematic mathematics took place in ancient Egypt and in Mesopotamia. Contrary to much popular opinion, the mathematical developments in Mesopotamia were deeper and more substantial than those in Egypt. The Babylonians developed elementary arithmetic and algebra, particularly the computational aspects of algebra, to a surprising degree. For example, they were able to solve the general quadratic equation, ax2 + bx + c = 0. An authoritative and readable account of Babylonian mathematics as well as of Greek mathematics is presented by Neugebauer (1951).
The second period of ancient mathematics was the early Greek, or Hellenic, age. The fundamentally new step taken by the Greeks was to introduce the concept of a mathematical proof. These developments began around 600 b.c. with Thales, Pythagoras, and others, and reached their high points a little more than a century later in the work of Eudoxus, who is responsible for the theory of proportions, which in antiquity held the place now held by the modern theory of real numbers.
The third period is the Hellenistic age, which extended from the third century b.c. to the sixth century a.d. The early part of this period, sometimes called the golden age of ancient mathematics, encompassed Euclid’s Elements (about 300 b.c.), which is the most important textbook ever written in mathematics, the work on conics by Apollonius (about 250 b.c.), and above all the extensive and profound work of Archimedes on metric geometry and mathematical physics (Archimedes died in 212 b.c.). The second most important systematic treatise of ancient mathematics, after Euclid’s Elements, is Ptolemy’s Almagest (about a.d. 150). Ptolemy systematized and extended Greek mathematical astronomy and its mathematical methods. The mathematical sophistication of Archimedes and the richness of applied mathematics evidenced by the Almagest were not equaled until the latter part of the seventeenth century.
The intertwined and rapid growth of mathematics and physics during the seventeenth, eighteenth, and nineteenth centuries centered in a major way on what is now called classical analysis : the calculus of Newton and Leibniz, differential and integral equations and the special functions that are their solutions, infinite series and products, functions of a complex variable, extremum problems, and the theory of transforms. At the basis of all this are two major ideas, function and limit. The first evolved slowly, beginning with the correspondence, established in the Cartesian fusion of the two best-developed areas of ancient mathematics, between algebraic expressions and simple geometric curves and surfaces, until we now have the present, very simple definition of the term “function” A set ｆ of points in the plane (ordered pairs of numbers) of the form (x,y) is called a function if at most one y is associated with each x. If (x, y) is a member of ｆ, it is customary to write y = f(x); x is sometimes called the independent variable and y the dependent variable, but no causal meaning should be read into this terminology.
The notion and notation may be generalized to more than one independent variable; if g is a set of ordered triples (x, y, z) with at most one z associated with each pair (x,y), then z =g(x, y) is called a function of two arguments. Since the most general notion of function can relate any two sets of objects, not just sets of numbers, it is sometimes desirable to emphasize the numerical character of the function. Then ｆ is said to be a real-valued function of a real variable; here the term “real” refers to real numbers (in contrast to complex numbers, which will be discussed later).
Although a real-valued function has been defined as a set of ordered pairs of numbers, (x,y), where the domain of x is is an unspecified set of numbers, the subsequent discussion of functions is mostly confined to the familiar case in which the domain of x is an interval of numbers. Even when the discussion applies more generally, it is helpful to keep the interval case in mind.
A desire to understand limits was apparent in Greek mathematics, but a correct definition of the concept eluded the Greeks. A fully satisfactory definition, which was not evolved until the nineteenth century (by Augustin Louis Cauchy), is the following: b is the limit of ｆ at a if and only if for every positive number є there is a positive number δ such that, when the absolute value of x—a is less than є and greater than 0 (that is, 0 <│x - a│ < δ), the absolute value of f(x) – b is less than є (that is, │f(x) – b│ < є). In other words, b is the limit of ｆ at a if x can be chosen sufficiently close to a (but not equal to a) to force f(x) to be as close to b as de-sired. Symbolically, this is written limx→af(x) = b. The limit of ｆ at a may exist even though f(a) is not defined; moreover, when f(a) is defined, b may or may not equal f(a). If it does—that is, if f(x) is “near” f(a) whenever x is “near” a—then f is
said to be continuous at a. If ｆ is continuous at each a in an interval, ｆ is said to be continuous over that interval.
The calculus defines two new concepts, the derivative and the integral, in terms of function and limit. They and their surprising relationship serve as the basis of the rest of mathematical analysis.
The derivative. The first definition arises as the answer to the question “Given a function ｆ, what is its slope (or, equivalently, its direction or rate of change) at any point x?” For example, suppose that y = ｆ(x) represents the distance, y, that a particle has moved in x units of time; then what is the rate of change of distance—the instantaneous velocity—at time x? If h is a short period of time, then an approximate answer is the distance traversed between x and x + h, that is, ｆ(x + h)— ｆ(x), divided by the time, h, taken to travel that distance (see Figure 1). The approximation is better the smaller the value of h, which suggests the definition of the rate of change of ｆ at x as the limit of this ratio as h approaches 0, that is,
This limit, if it exists, is denoted by ｆ(x) (or by dｆ(x)/dx or by dy/dx) and is called the derivative of ｆ at x. If f(x) exists, then ｆ can be shown to be continuous at x, but the converse is not true in general.
One of the earliest and most important applications in the social sciences of the concept of a derivative has been to the mathematics of marginal concepts in economics. For example, let x represent output, C(x) the cost of output x, and R(x) the revenue derived from output x; then C’(x) and R’(x) (or dC(x)/dx and dR(x)/dx) are the marginal cost and marginal revenue, respectively. Marginal utility, marginal rate of substitution, and other marginal concepts are defined in a similar fashion. Many of the fundamental assumptions of economic theory receive precise formulation in terms of these marginal concepts.
The integral. The second concept in the calculus arises as the answer to the question “What is the area between the graph of a function ｆ and the line y = 0 (the horizontal axis, or abscissa, of the coordinate system) over the interval from a to b?” (Regions below the abscissa are treated as negative areas to be subtracted from the positive ones above the abscissa; see Figure 2.) The solution, which will not be stated precisely, involves the following steps: the abscissa is partitioned into a finite number of intervals; using the height of the function at some value within each interval, the function is approximated by the resulting step function; the area under the step function is calculated as the sum of the areas of the rectangles of which it is composed; and, finally, the limit of this sum is calculated as the widths of the intervals approach zero (and, therefore, as their number approaches infinity). When this limit exists, it is called the Riemann integral of f from a to b and is symbolized as ∫baｆ(x) dx. It can be shown that the Riemann integral exists if ｆ is continuous over the interval; it also exists for some discontinuous functions. For more advanced work, the concept of the length of an interval is generalized to the concept of the Lebesgue measure of a set, and the Riemann integral is generalized to the Lebesgue integral Roughly, the vertical columns used to approximate the area in the Riemann integral are replaced in the Lebesgue integral by horizontal slabs.
Although the interpretation of the integral as an extension of the elementary concept of area is
important, even more important is its relation (called the fundamental theorem of the calculus) to the derivative: Consider as a function of the upper limit, x, of the interval over which the integral is computed; it can then be proved that the derivative of this function, F’(x) exists and is equal to f(x). Put another way, the rate of change at x of the area generated by ｆ is equal to the value of ｆ at x; or put still another way, the operation of taking the derivative undoes the operation of integration. This fact plays a crucial role in the solution of many problems of classical applied mathematics that are formulated in terms of derivatives of functions.
Introductions to the calculus and elementary parts of analysis are Apostol (1961–1962) and Bartle (1964).
Implicit definitions of functions
An algebraic equation such as x2 – 5 x – 3 = 0 implicitly defines two numbers (namely, the two values of x, 3 and –½) for which the equality holds. Other algebraic equations implicitly define sets of numbers for which they hold.
A functional equation is an equality stated in terms of an unknown function; it implicitly defines those functions (as in the algebraic case, there may be more than one) that render the equality true.
Ordinary differential equations. Suppose it is postulated that the amount of interest (that is, the rate of change of money at time t) is proportional to (that is, is a constant fraction, k of) the amount, ｆ(t), of money that has been saved. (This is the case of continuous compound interest.) Then ｆ satisfies the equation ｆ'( t ) = kｆ(t). This is a simple example of an ordinary differential equation, the solution of which is any function having the property that its derivative is k times the function. The solutions are f(t) = f(0) exp(kt), where f(0) denotes the initial amount of money at time t = Q. Another simple economic example is the differential equation that arises from the assumption that marginal cost always equals average cost (that is, dC (x)/dx = C(x)/x) which has the solution that average cost is constant, that is, that C(x) = kx for some constant, k.
Some laws of classical physics are formulated as second-order, linear, ordinary differential equations of the form
ｆ” (t) + P(t)ｆ’(t) + Q(t)ｆ(t) = R(t),
where ｆ” is the derivative of ｆ(ｆ” is called the second derivative of ｆ ) and P, Q, and R are given functions. If, for example, ｆ denotes distance, then this differential equation asserts that at each time t, a linear relation holds among distance, velocity, and acceleration.A vast literature is concerned with the solutions to this class of equations for different restrictions on P, Q, and R; most of the famous special functions used in physics—Bessel, hypergeometric, Hankel, gamma, and so on—are solutions to such differential equations (see Coddington 1961).
Partial differential equations Many physical problems require differential equations a good deal more complicated than those just mentioned. For example, suppose that there is a flow of heat along one dimension, x. Let ｆ(x,t ) denote the temperature at position x at time t. With t fixed, one can find the rate of change (the derivative) of temperature with changes in x; denote this by ∂ｆ(x,t)/∂x and its second derivative with respect to x by ∂2 ｆ(x,t)/∂x2. These are called partial derivatives. Similarly, holding x fixed, the derivative with respect to t is denoted by ∂ｆ(x,t)/∂t. According to classical physics, temperature changes due to conduction in a homogeneous one-dimensional medium satisfy the following partial differential equation:
where ｆ is the thermal conductivity, p the density, and σ thespecific heat of the medium. Problems involving two or more independent variables (usually, time and some or all of the three space coordinates)—fluid flow, heat dissipation, elasticity, electromagnetism, and so on—lead to partial differential equations. Their solution is often very complex and requires the specification of the unknown function along a boundary of the space. This requirement is called a boundary condition. (See Akademiia Nauk S.S.S.R.  1964, chapter 6.)
Integral equations. Some physical problems lead to integral equations. In one type, functions g and K of one and two variables, respectively, and a constant, λ are given, and the problem is to find those functions, f, for which
This equation is called Fredholm’s linear integral equation or the inhomogeneous linear integral equation. Basically, it asserts that the value of some quantity ｆ at a point x is equal to an impressed value, g(x), plus a weighted average of its value at all other points. Integral equations arise in empirical contexts for which it is postulated that the value of a function at a point depends on the behavior of the function over a large region of its domain. Thus, in the example just considered the value of ｆ at x depends on the integrand K(x,y)ｆ(y) integrated over the interval (a,b). There is a large body of literature dealing with the solution of various types of integral equations, especially those of interest in physics and probability theory.
Functional equations. Although both differential and integral equations (and mixtures of the two, called integrodifferential equations) are examples of functional equations, that term is often restricted to equations that involve only the unknown function, not its derivatives or integrals. A simple, well-known example is ｆ(xy) =ｆ(x) + ｆ(y), which implicitly defines those functions that trans-form multiplication into addition. If ｆ is required to be continuous, then the solutions are where K is a positive constant; this integral is called the natural logarithm. The choice of K is usually referred to as the selection of the base of the logarithm.
Difference equations are functional equations of special importance in the social sciences. They arise both in the study of discrete stochastic processes (in learning theory, for example) and as discrete analogues of differential equations. Here the unknown function is defined only on the integers (or, equivalently, on any equidistant set of points), not on all of the real numbers, and so the function is written ｆn = ｆ ( n ), where n is an integer. The equation states a relation among values of the unknown function for several successive integers. For example, the second-order, linear difference equation—the analogue of the second-order, linear, ordinary differential equation, described above—is of the form.
ｆn+2 + Pnｆn+1 + Qnｆn = Rn.
In some probabilistic models of the learning process it is postulated (or derived from more primitive assumptions) that the probability of a particular response on trial n+ 1, denoted by pn+1, is some function of pn and of the actual events that occurred on trial n. The simplest such assumption is the linear one, that is, pn+1 = αpn + β where α and β are parameters that depend upon the events that actually occur. If there is a run of trials during which the same events occur, so that α and β are constant, then the solution to the above first-order, linear difference equation is
When different events occur on different trials, the equation to be solved becomes considerably more complex. An introduction to difference equations is Goldberg (1958).
Given a functional equation—in the most general sense—the answer to the question of whether a solution exists is not usually obvious. Exhibiting a solution, of course, answers the question affirmatively, but often the existence of a solution can be proved before one is found. Such a result is known as an existence theorem. If a solution exists, it is also not usually obvious whether it is unique and, if it is not unique, how two different solutions relate to one another. A statement of the nature of the nonuniqueness of the solutions is known, somewhat inappropriately, as a uniqueness theorem. Some rather general existence and uniqueness theorems are available for differential and integral equations, but in less well understood cases considerable care is needed to discover just how restrictive the equation is.
A general work on functional equations is Aczel (1966).
Three other areas of classical analysis
Three other branches of classical analysis will be briefly discussed.
Extremum problems For what values of its argument does a function assume its maximum or its minimum value? This type of problem arises in theoretical and applied physics and in the social sciences. In its simplest form, a real-valued function ｆ is defined over some interval of the real numbers, and the problem is to find those x° for which ｆ(x°) is a maximum or a minimum. If ｆ is differentiable and if x° is not one of the end points of the interval, a necessary condition is that f'(x°) = 0; moreover, x ° is a local maximum if ｆ(x°) <0 and a local minimum ifｆ (x°) >0. (These statements should be intuitively clear for graphs of simple functions.) From these results it is easy to find, for example, which rectangle has the maximum area when the perimeter is held constant: it is the square whose sides are each equal to a quarter of the perimeter.
A much more difficult and interesting problem—the subject of the calculus of variations—is to find which function (or functions) ｆ of a given family of functions causes a given function ｆ of ｆ (known as a functional) to assume its maximum or minimum value. For example, let ｆ be a continuous function that passes through two fixed points in the plane, and let F(ｆ) be the surface area of the body that is generated by rotating ｆ about the abscissa. A question that may be asked is “For which ｆ (or ｆ’s) is F(f) a minimum?” A major tool in the solution of this problem is a second-order, ordinary differential equation, known as Euler ’s equation, that ｆ must necessarily satisfy (just as the solution x0 to the simpler problem necessarily satisfies ｆ '(xO) = 0). (See Akademiia Nauk S.S.S.R.  1964, chapter 8.)
Within the past twenty years new classes of extremum problems have been posed and partially solved; they are mainly of concern in the social sciences, and they go under the names of linear, non-linear, and dynamic programming. An example of a linear programming problem is the following diet problem. Each of several foodstuffs, ｆ1,ｆ2,..., ｆk, contains known amounts of various nutritional components, such as vitamins and proteins. Let fij be the amount of component j in food fi, j = 1, 2,..., n, and let a, be the minimum amount of component j acceptable in the diet. If Xi is the amount of food fi in the diet, the diet will be acceptable only if the following n inequalities are fulfilled:
x1 ｆ1 + x2ｆ2j +...+ xk ｆkj ≥ ai, j = 1,2,...,n.
If Pi denotes the price of food ｆi, the problem is to choose the xi so as to minimize the cost,
x1p1+ x2p2+...+ xkpk,
while fulfilling the above linear inequalities. [SeeProgramming.]
Functions of a complex variable One of the most beautiful subfields of analysis is the theory of functions of a complex variable, which was developed in the nineteenth century, starting with the work of Cauchy. It has been significant in the growth of several two-dimensional, continuous physical theories, including parts of electromagnetism, hydrodynamics, and acoustics, but so far its applications in the social sciences have been mainly restricted to mathematical statistics, as in the concept of the characteristic function of a probability distribution. A complex number, z, is of the form z = x+iy, where x and y are real numbers and i = Sums and products are defined in such a way that the resulting arithmetic reduces to that of the ordinary numbers when y = 0. Because a point (x,y) in the plane can be (usefully) identified with the complex number x + iy, functions from the plane into the plane can be interpreted as complex-valued functions of a complex variable. If the derivative of such a function exists at all points of a region, derivatives of all orders exist and the function can be expressed as a convergent power series of the form α0 + α1,z + α2,z2+...+ for some circle of z’s within that region. It is clear from this result that the mere supposition that the derivative exists is a much stronger condition for complex-valued functions than for ordinary numerical functions. Such functions, which are called analytic, are very strongly constrained—among other things, specifying an analytic function over a small region determines it completely—and this fact has been effectively exploited to solve many two-dimensional problems of theoretical and practical interest. Interestingly, the theory cannot be neatly generalized beyond two dimensions. An introductory work on functions of a complex variable is Cartan (1961).
Integral transforms. Suppose that ｆ is any continuous, real-valued function defined over an interval from α to b and that K is a fixed, continuous, real-valued function of two variables, the first of which is also on the interval from α to b; then is called an integral transform of ｆ. If K satisfies certain restrictions, knowing I is equivalent to knowing ｆ. Nevertheless, if K is carefully chosen, I may have convenient properties not possessed by ｆ. For example, if α = 0, b=∞, and K(x,y) = e-xy, then I, which is then known as the Laplace transform and which is closely related to the moment-generating function of statistics, has the property that it converts certain integrals (convolutions) of two functions into multiplications of their transforms. In statistics such a convolution represents the distribution of the sum of two independent random variables. Another well-known and important example is the Fourier transform, which is used widely in statistics, and to a lesser extent in probabilistic models of behavior, to obtain a probability distribution from its characteristic function.
Despite several intellectual crises that led mathematicians to introduce new types of numbers into mathematics, it was not until about a hundred years ago that numbers were treated as being something other than intuitively understood. The natural numbers, 1,2,3,..., and their ratios, the positive rationals, are ancient concepts. The Greeks first noted their incompleteness when they showed that they are inadequate to represent the length of the diagonal of a square whose side is of length 1. Certain irrational numbers had to be added, and later 0, negative numbers, and complex numbers were added so that certain classes of equations would all have solutions. To clarify this patchwork and to understand the uniqueness of the additions, nineteenth-century mathematicians undertook the axiomatization of various aspects of the number system. Perhaps the most subtle step was the definition of irrational numbers in terms of sets of rational numbers (roughly, the set of all rationals less than the irrational to be defined).
The axiomatization of numbers is not really the mainstream of the “theory of numbers.” When one sees a book or course with that title, it usually refers to the study of properties of the natural numbers, mainly the prime numbers. Recall that an integer is prime if it is divisible only by 1 and itself; the first few primes are 3, 5, 7, 11, and 13. In addition to the many results that can be proved directly (some of which were known to the ancients), such as that every integer can be represented uniquely as the product of powers of primes and that there are infinitely many primes, other results have depended upon the application of deep results from analysis. For example, parts of the theory of functions of a complex variable were used to show that the number of primes not larger than n divided by the number n/lnn, where Inn is the natural logarithm of n, that is, is a ratio that approaches 1 as n becomes large. Not only has this work greatly increased the depth of understanding of integers, but it has fed back into analysis and was one of the factors leading to the development of parts of contemporary abstract algebra.
Many applications of mathematics (for example, in statistics) involve counting the number of distinct events or objects that satisfy certain conditions; often these counting problems are quite difficult. Theorems providing explicit formulas or recursion schemes are called combinatorial theorems. One of the earliest important examples was the binomial theorem for the expansion of (a + b)n, which is now part of every elementary algebra course. [SeeProbability, article on Formal Probability.]
A general introduction to the theory of numbers is Ore (1948).
Classically, algebra was the theory of solving equations expressed in terms of the four arithmetical operations—addition, subtraction, multiplication, and division. The linear and quadratic equations of elementary algebra are familiar examples. Historically, the expression of mathematical problems in the form of equations, using letters to stand for the unknown numbers, was a major step in clarifying and simplifying the mathematical nature of many kinds of problems. Perhaps the most important consequence of the introduction of letters and the use of equations was the extension of routine methods of calculation to quite complicated settings. The introduction of algebraic equations probably ranks in importance in the history of ideas with the earlier invention, probably first by the Babylonians, of the place-value system of notation for numbers; such a system was needed to develop simple algorithms for performing arithmetical computations.
The general theory of algebraic equations, the elementary parts of which are studied in high school, has a long and distinguished history in mathematics. The proof by Niels Henrik Abel in 1824 that solutions of an algebraic equation of degree five or greater, where the degree is the highest exponent of any term in the equation, cannot be expressed in terms of radicals (that is, expressions definable in terms of square roots) was one of the most important mathematical results of the first half of the nineteenth century. Another result of basic importance is the fundamental theorem of algebra, which was first proved in the eighteenth century but which was proved rigorously only in the last half of the nineteenth century. This theorem asserts that every algebraic equation always has at least one root that is a real or a complex number. Also of great significance were the proofs that not all numbers are roots of algebraic equations; numbers that are not such roots are called transcendental numbers. The most famous proofs of this sort are Charles Hermite’s (in 1873) that e is transcendental and F. Lindemann’s (in 1882) that π is transcendental.
Much of the work in algebra during the present century has been devoted to generalized mathematical systems that are characterized not in terms of the four fundamental arithmetical operations but in terms of generalizations of these operations and of the familiar ordering relations of “less than” and “greater than.”
In a number of the social sciences the theory of binary relations has received extensive application. From an algebraic standpoint a binary relation structure may be characterized as consisting of a set A and a set R of ordered pairs (x,y), where x and y are both elements of A. Such an R is called a binary relation on A. A relation R is said to be a partial ordering of A when it is reflexive, antisymmetric, and transitive—that is, when it satisfies the following three properties: reflexive; for every x in A, xRx; antisymmetric: for every x and y in A, if xRy and yRx, then x – y; transitive: for every x, y, and z in A, if xRy and yRz, then xRz. If R is also connected in A (that is, if for any two elements x and y in A with x ≠ y, either xRy or yRx) then R is said to be a complete or simple ordering or, sometimes, a linear ordering of A. The concept of a complete ordering is a direct abstraction of the order properties of “≤” with respect to the real numbers. A familiar use of the concept of an ordering relation is in utility theory, particularly in the classical theory of demand in economics, in which it is assumed that each individual has an ordering relation over the set of commodity bundles or, more generally, over the set of alternatives with which he is presented. The general concept of ordering relations also has far-ranging applications in the theory of measurement within psychology and sociology, and more general binary relations have been extensively applied in anthropology in the study of kinship systems.
Partial orderings can be extended in another direction by imposing additional conditions to obtain lattices, which have also been used in the social sciences. In a different direction, but still within the framework of binary relations, is the theory of graphs, in which no restrictions are placed on the binary relation, R. Applications of graph theory have been made to social-psychological and sociological problems, especially to provide a mathematical method for representing various kinds of relationships between persons.
Groups, rings, and fields
Another direction of generalization of classical algebra has been to what are called groups, rings, and fields. A group is a set A together with a binary operation, o, satisfying the following axioms. First, the operation o is associative, that is, for x, y, and z in A, x o (y o z) =(x o y) o z. Second, there is an element e, called the identity, of the set A such that for every x in A, xoe = eo x = x. And, finally, for each element x of A there is an inverse element x-1 such that x o x-1 = e. It is obvious that if A is taken as the set of integers, o as the operation of addition, e as the number 0, and the inverse of x as the negative of x, then the set of integers is a group under the binary operation of addition. The theory of groups has had profound ramifications in other parts of mathematics and in the sciences, ranging from the theory of algebraic equations to geometry and physics. The reason for the fundamental importance of group theory is perhaps best summarized by stating that a group is the appropriate way to formulate the very important concept of symmetry. In the range of applications of group theory just mentioned, the underlying thread is the concept of symmetry, whether it is in the symmetry of the roots of an equation or the symmetry properties of the fundamental particles of physics. As a simple example, consider the finite group of rotations 90°, 180°, 270°, and 360°. A square does not change its apparent orientation under such a rotation about its center, but an equilateral triangle does. This group of rotations is the symmetry group of rotations for a square but not, of course, for an equi-lateral triangle. Although the methods and results of group theory have not yet had special applications of depth in the social sciences, they are important to many of the general mathematical results that have been applied.
The theories of rings and fields represent rather direct generalization of arithmetical properties of the number system. The theory of groups is fun damentally a generalization of the concept of a single binary operation, such as addition or multiplication, whereas rings and fields are algebraic systems that have two fundamental operations. The most familiar example of a field or of a ring is the set of rational numbers or of real numbers with respect to the operations of addition and multiplication.
Algebraic aspects of the theory of sets have been studied under the heading of Boolean algebras. The concept of an algebra of sets, that is, a collection of sets closed under union and complementation, is fundamental in the modern theory of probability, where events are interpreted as sets of possible outcomes and numerical probabilities are assigned to events. [SeeProbability, article on Formal Probability.]
Isomorphism and homomorphism
It should be mentioned that certain very general mathematical concepts find their most natural definition and application in modern algebra. One of the most important concepts is that of the isomorphism of two mathematical systems. An isomorphism is a oneto-one mapping of a system A onto a system B in which the operations and relations of A are preserved under the mapping and have the same structure as the operations and relations of system B. If the mapping is not one-to-one but the operations and relations are preserved, then it is called a homomorphism. A well-known application of the concept of isomorphism in the social sciences is in theories of fundamental measurement in which one shows that an appropriate algebra of empirical operations is isomorphic to some numerical algebra. It is this isomorphism that permits the direct application of computational methods to the results of measurement.
Introductory works on algebra, both for this and for the next section, are Birkhoff and MacLane (1941) and Mostow, Sampson, and Meyer (1963).
Linear algebra is one of the most important generalizations of classical elementary algebra. The objects to which the operations of addition and multiplication are applied are now matrices, vectors of an n-dimensional space, and linear transformations (an n × n matrix is a particular representation of a linear transformation in n-dimensional space). More particularly, linear algebra arises as a generalization of the linear equations so familiar in elementary algebra, and historically one of the most important tasks of linear algebra has been to find solutions of systems of linear equations. As many research workers in the social sciences know, the numerical solution of linear equations can be an extremely laborious and difficult affair when the number of equations is large. The set of coefficients of a system of linear equations gives rise to the concept of a rectangular array of numbers, which is precisely what a matrix is. An algebra of matrices in terms of addition and multiplication may be constructed; the distinguishing feature of this algebra, as compared with the algebra of the real numbers, is that multiplication is not commutative—that is, AB is not usually equal to BA, and the product of two nonzero matrices can be zero.
The intuitive geometric concept of a vector may be represented by a column or row of n numbers, and an algebra of vectors, which bears a close resemblance to the algebra of numbers, may be constructed. Simple (linear) transformations of vectors, such as rotations and stretches of the co-ordinate system in space, can be interpreted as multiplication by matrices. The interaction between the geometrical intuitions about n-dimensional space and the algebraic techniques of calculation provided by linear algebra and the theory of matrices have made them powerful tools in the application of mathematics to many parts of science. These applications have been particularly prominent in statistics (for example, in factor analysis), as well as in economics, where it is often useful to treat n-dimensional bundles of commodities as vectors.
Intuitively, a topological transformation of a geometrical figure or object is a deformation that introduces neither breaks nor fusions in the object. Put more exactly, a topological transformation is one that is one-to-one, is continuous, and has a continuous inverse. If one starts with a circle—perhaps the best example of a simple closed curve—one can deform it topologically into an ellipse or into the shape of a crescent, but one cannot deform it topologically into a figure eight, for example, because then two distinct points of the circle are fused as the intersection point of the eight. Also, one cannot deform it into a straight line segment, because to do so would introduce a break in the circle. Many familiar qualitative geo-metrical properties are topological invariants in the sense that they are not altered (are invariant) under topological transformations. Examples are the property of being inside or outside a closed figure in the plane; the property of a surface being closed, such as the surface of a sphere or an ellipsoid; or the property of the dimension of an object. For example, the surface of a sphere cannot be topologically transformed into a one-dimensional curve or a three-dimensional sphere. We shall not attempt here to give an exact definition of continuity as it is used in topology; we simply remark that it is a reasonable generalization of the concept of continuity used in analysis.
Topological methods and results have far-reaching applications in many branches of mathematics, but as yet the methods themselves have not been directly applied in those parts of the social sciences concerned extensively with empirical data. The most direct applications have been in economics, where topological fixed-point theorems have been of great importance in investigating the conditions guaranteeing the existence of a stable equilibrium in a competitive economy. The classical example of a fixed-point theorem—first proved by L. E. J. Brouwer, at the beginning of this century—states that for every topological mapping of an n-dimensional sphere into itself there is always at least one point that maps into itself, that is, remains fixed. Familiar examples of such mappings are rotations in two or three dimensions for which the center of the rotation is the fixed point of the transformation.
As a typical example of abstraction in modern mathematics, the intial concept of a topological transformation of familiar geometrical figures has led to the general abstract notion of a topological space. Roughly speaking, a topological space consists of a set, X , and a family, ℱ of subsets of X , called open sets, for which the following four conditions are satisfied: the empty set is inℱ X is in ℱ the union of arbitrarily many sets each of which is in ℱ is also in ℱ and the intersection of any finite number of sets from ℱ is also in ℱ. The concept of an open set is a generalization of the notion of an open interval of real numbers (an interval that does not include its end points). For example, the natural topology of the real line is the family of open intervals together with the sets that are formed from arbitrary unions and finite intersections of open intervals. Generally speaking, the notion of open set is used to express the idea of continuity. The important thing about a continuous function is that it does not jumble neighboring points too much, and this requirement may be expressed by requiring of a topological transformation that open sets be mapped into open sets and that the inverse of an open set be an open set.
Metric space Other kinds of abstract spaces have come into prominence in the development of topology. Perhaps the most important is the concept of a metric space. A set, X , together with a distance function, d, that maps pairs of points into real numbers is called a metric space if d satisfies the following conditions: d(x,y) = 0 if and only if x = y, that is, the distance between x and y is 0 if and only if x and y are the same point; d(x,y) ≥ 0, which asserts that distance is a non-negative real number; d(x,y) = d(y , x), that is, distance is symmetric; and, finally, d(x, y) + d(y, z) ≥ d(x, z), which is known as the triangle inequality. The concept of a metric space has had important applications in many parts of mathematics and is a fundamental concept in modern mathematics. It has been applied in recent work in scaling theory in psychology and sociology, particularly to the problems of multidimensional scaling, and also in certain areas of mathematical economics [see Scaling]. It is clear that the notion of a metric space generalizes, in a very natural way, the concept of distance in Euclidean space.
A typical metric problem raised in the social sciences is this: Given data in the form of “distances” among a finite set of points, what is the smallest dimensional Euclidean space within which the points can be embedded so that these distances equal the Euclidean or some other preassigned metric of that space? Recently this problem has been effectively generalized by permitting certain transformations of the “distances” that preserve their metric property. Little has yet been done about embeddings in non-Euclidean spaces.
An introductory work on topology is Hocking and Young (1961).
As was remarked above, the concept of a rigorous mathematical proof originated in ancient Greek mathematics. The modern formal axiomatic method, characteristic of twentieth-century mathematical research and one of the most important topics to be clarified in modern research on foundations of mathematics, is conceptually very close to the approach followed in Euclid ’s Elements. The main difference is that the primitive concepts of the theory are now treated as undefined or meaningless. All that is assumed about them must be formally expressed in the axioms. In contrast, in the Elements primitive concepts such as those of point and line are given an interpretation or meaning from the very beginning. This modern conception originated with David Hilbert, who provided the first complete, modern axiomatization of geometry in 1889. It is customary to say that the concepts of the theory are implicitly defined by the axioms. What is not recognized often enough is that the collection of axioms together explicitly de fines the theory embodied in the concepts. Thus, in slightly more exact phrasing, the axioms of Euclidean geometry define the theory of Euclidean geometry by defining the phrase “is a model of Euclidean geometry.” In the same fashion, the axioms of group theory define the theory of groups by specifying what kinds of objects are called groups or, in other words, what kinds of objects are models of the theory of groups (here we are using the term “model” in the logical or mathematical sense).
A more particular aim of foundational research has been to provide a set of axioms that would serve as a basis for the main body of mathematics. At least three major positions on the foundations of mathematics have been enunciated in the twentieth century; they differ in their conception of the nature of mathematical objects.
Intuitionism holds that in the most fundamental sense mathematical objects are themselves thoughts or ideas. The intuitionist holds that one can never be certain that he has correctly expressed the mathematics when it is formalized as a mathematical theory. As part of this thesis, the classical logic of Aristotle, in particular the law of excluded middle, has been challenged by Brouwer and other intuitionists because it permits the derivation of purely existential, nonconstructive statements about mathematical objects. In particular the validity of classical reductio ad absurdum proofs depends upon this logical law. Although intuitionists express themselves in a way which suggests a psychological analysis of mathematics, it should be emphasized that their conception of mathematical objects as thoughts has not been seriously explored by any intuitionists from the standpoint of scientific psychology.
A second view of mathematics, the Platonistic one, is that mathematical objects are abstract objects that exist independently of human thought or activity. Those who hold that set theory or logic itself provides an appropriate foundation for mathematics (adherents of logicism) usually adopt some form of Platonism in their basic attitude. From the standpoint of working mathematics, set theory—and thus Platonism—has been the most influential conception of mathematics in this century. Set theory itself originated in the late nineteenth century with the revolutionary work of Georg Cantor. Its foundations were called into question by Bertrand Russell’s discovery of a simple paradox which arises in considering the set of all objects that are not members of themselves. If it is supposed that to every property there corresponds the set of objects having this property, then a contradiction within classical logic may easily be derived by considering the set whose members are those and only those sets that are not members of themselves. An apparently satisfactory foundation for set theory, which avoids this and related paradoxes, was formulated in 1908 by Ernst Zermelo, and with suitable technical extensions it provides a satisfactory basis for most of the mathematics published in this century.
The third influential position on the foundation of mathematics, called formalism, was developed by Hilbert and others. This view is that the primary mathematical objects are the symbols in which mathematics is written. This carries to the extreme the development of the axiomatic method begun by the Greeks. Under the formalist account the interpretation and use of mathematics must then be given from outside pure mathematics. From a psychological or behavioral standpoint, there is much that is appealing about formalism, but again little effort has yet been made to relate the detailed results and methods of formalism to theoretical or experimental work in scientific psychology.
Relevance of research on foundations
In view of the high degree of agreement about the validity of most published pieces of mathematics, the skeptical social scientist may question the real relevance of these varying views about the foundations of mathematics to working mathematics itself. There is a highly invariant content of mathematics recognized by almost all mathematicians, including those concerned with the foundations of mathematics, and this invariant content is essentially untouched by radically different philosophical views about the nature of mathematical objects. A reasonable conjecture is that future research in the foundations of mathematics will attempt to capture this invariant content by concentrating on the character of mathematical thinking rather than on the nature of mathematical objects.
One other important aspect of foundational research in the twentieth century is the fundamental work on mathematical logic, in particular the attempt by Gottlob Frege, A. N. Whitehead, Bertrand Russell, and others to reduce all of mathematics to purely logical assumptions. These efforts have led to great clarification of the nature of mathematics itself and to vastly increased standards of precision in talking about mathematical proofs and the structure of mathematical systems. Of major importance were the deep results of Kurt Godel (1931) on the logical limitations of any formal system rich enough to express elementary number theory. His results show that any such formal system must be essentially incomplete in the sense that not all true sentences of the theory can be proved as theorems.
An introductory work on foundations is Knee-bone (1963).
Mathematics applied to social sciences
Applications of mathematics to specific social science problems are described, and detailed references are given, elsewhere in this encyclopedia. That material is not repeated here; several reason-ably general references are Allen (1938), Coleman (1964), Kemeny and Snell (1962), Luce (1964), Luce, Bush, and Galanter (1963-1965), Samuelson (1947). Suffice it to say that these applications involve only fragments of the whole of mathematics, and they have not been as successful as those in the physical sciences. The reasons are many, among them these: the effort so far expended is much less; the basic empirical concepts and variables have not been isolated and purified to the same degree; mathematics grew up with and was to some extent molded by the needs of physics, and so it may very well be less suited to social science problems if these problems are of a basically different character from those of physics; a typical social science problem appears to involve more variables than one is accustomed to handling in physics; and, finally, social scientists are generally not extensively trained in mathematics.
A social scientist who attempts to formulate and solve a scientific problem in mathematical terms is often disappointed with the mathematics he can find. This may happen simply because a mathematical system appropriate to his problem does not seem to have been invented, or, as is more common, the definite and often quite complex mathematical system that he happens to want to under-stand in depth has not been investigated in any detail. In this century especially, mathematicians have tended to focus on very general classes of systems, and the theorems concern properties that are true of all or of large subclasses of them; however, these results do not usually provide much detailed information about any particular member of the class.
As an example, the axioms of group theory are not categorical—that is, two groups need not be isomorphic. Therefore, theorems about groups in general tell one little about the specific properties of a particular group. But this is what is of interest when a particular group is used to represent an empirical structure, as in modern particle physics.
When this happens, it is necessary for the applied mathematician to carry out considerable mathematical analysis to achieve the understanding he needs to answer scientifically interesting questions.
We have already discussed two parts of mathematics in which highly specific systems have been explored in depth: classical analysis and matrix algebra. A primary motivation for this detailed work was the needs of physical science. In fortunate instances, a problem may be formulated in terms of one of these systems, in which case specific results can sometimes be extracted from the existing literature. Examples where this has been done are in the application of matrix algebra to factor analysis and of Markov chains (a part of probability theory) to several areas, including learning, social interaction, and social structure [see Factor Analysis; Markov Chains].
Theory as detailed as this, however, is not typical of contemporary mathematics. We have in mind such active areas as associative and non-associative algebras, homological algebra, group theory, topological groups, algebraic topology, rings, manifolds, and functional analysis.
The generality of contemporary mathematics can be seductive in that it invites sophistic treatments of scientific problems. It is often not difficult to find some general branch of mathematics within which to cast a specific social or behavioral problem without, however, actually capturing in detail the various constraints of the problem. Without these constraints few explicit results and predictions can be proved. Nevertheless, the real emptiness of such endeavors can be shrouded for the unwary in the impressive symbolism and ringing terms of whatever mathematics it is that is not being seriously used.
If the growth of the social sciences parallels at all that of the physical sciences, they will study in detail various systems, which, although of peripheral mathematical interest, are of substantive interest. Indeed, some examples already exist, including these: (1) Just as classes of maximum and minimum problems have been formulated and solved in the physical sciences, other classes have arisen in the social sciences, such as linear, nonlinear, and dynamic programming, game theory, and statistical decision theory. (2) Various mathematical structures that may correspond to (parts of) empirical structures have been investigated, for example, aspects of the theory of relations and the closely related theory of graphs, matrix algebra, and concatenation algebras, which arose in the study of grammar and syntax. (3) Underlying the success of much physical theory is the fact that many variables can be represented numerically. The theories that account for this in physics are not suitable for the social sciences, but alternative possibilities are under active development, particularly in terms of theories of fundamental and derived measurement. The mathematics is reasonably involved, although for the most part the proofs are self-contained. (4) Although the theory of stochastic processes is a well-developed part of probability theory, a number of the processes that have found applications in the social sciences had not previously been studied by probabilists; their properties have been partially worked out in the social science literature. Among the most prominent examples are the nonstationary processes that have arisen in learning theory. Some of these postulate that on each trial one of several operators Qi transforms a response probability into the corresponding probability on the next trial. Two special cases have been most adequately studied. One assumes that the Qi are linear operators and the other assumes that the operators commute with one another—that is, Qi,Qj; = Qj,Qi,.[See Learning.]
As increasing use is made of mathematics in the social sciences, one may anticipate the investigation of very specific mathematical systems and, ultimately, the isolation of interesting abstract properties from these systems for further study and generalization as pure mathematics.
R. Duncan Luce and Patrick Suppes
AczÉl, J. 1966 Lectures on Functional Equations and Their Applications. New York: Academic Press.
Akademiia Nauk S.S.S.R., Matematicheskii Institut (1956) 1964 Mathematics: Its Content, Methods, and Meaning. Edited by A. D. Aleksandrov, A. N. Kolmogorov, and M. A. Laurent’ev. 3 vols. Cambridge, Mass.: M.I.T. Press. → First published in Russian.
Allen, R. G. D. (1938) 1962 Mathematical Analysis for Economists. London: Macmillan.
Apostol, Tom M. 1961-1962 Calculus. 2 vols. New York: Blaisdell.
Bartle, Robert G. 1964 The Elements of Real Analysis. New York: Wiley.
Birkhoff, Garrett; and Maclane, Saunders (1941) 1965 A Survey of Modern Algebra. 3d ed. New York: Macmillan.
Cartan, Henri (1961) 1963 Elementary Theory of Analytic Functions of One or Several Complex Variables. Reading, Mass.: Addison-Wesley. → First published in French.
Coddington, Earl A. (1961) 1964 An Introduction to Ordinary Differential Equations. Englewood Cliffs,N.J.: Prentice-Hall.
Coleman, James S. 1964 Introduction to Mathematical Sociology. New York: Free Press.
Courant, Richard; and Robbins, Herbert (1941) 1961 What Is Mathematics? An Elementary Approach to Ideas and Methods. Oxford Univ. Press.
Friedman, Bernard 1966 What Are Mathematicians Doing? Science 154:357–362.
GÖdel, Kurt (1931) 1965 On Formally Undecidable Propositions of the Principia mathematica and Related Systems. I. Pages 4-38 in Martin Davis (editor), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. Hewlett, N.Y.: Raven. → First published in German in Volume 38 of the Monatshefte fur Mathematik und Physik.
Goldberg, Samuel 1958 Introduction to Difference Equations: With Illustrative Examples From Economics, Psychology, and Sociology. New York: Wiley. → A paperback edition was published in 1961.
Hocking, John G.; and YOUNG, GAIL S. 1961 Topology. Reading, Mass.: Addison-Wesley.
Kemeny, John G.; and Snell, J. Laurie 1962 Mathematical Models in the Social Sciences. Boston: Ginn.
Kneebone, G. T. 1963 Mathematical Logic and the Foundations of Mathematics: An Introductory Survey. New York: Van Nostrand.
Luce, R. Duncan 1964 The Mathematics Used in Mathematical Psychology. American Mathematical Monthly 71:364–378.
Luce, R. Duncan; Bush, Robert R.; and Galanter Eugene (editors) 1963–1965 Handbook of Mathematical Psychology. 3 vols. New York: Wiley.
Mostow, George; Sampson, Joseph H.; and Meyer, Jean-pierre 1963 Fundamental Structures of Algebra. New York: McGraw-Hill.
Neugebauer, Otto (1951) 1957 The Exact Sciences in Antiquity. 2d ed. Providence, R.I.: Brown Univ. Press.
Newman, James R. (editor) 1956 The World of Mathematics. 4 vols. New York: Simon & Schuster.
Ore, Øystein 1948 Number Theory and Its History. New York: McGraw-Hill.
Samuelson, Paul A. (1947) 1958 Foundations of Economic Analysis. Harvard Economic Studies, Vol. 80. Cambridge, Mass.: Harvard Univ. Press.
"Mathematics." International Encyclopedia of the Social Sciences. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/social-sciences/applied-and-social-sciences-magazines/mathematics
"Mathematics." International Encyclopedia of the Social Sciences. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/social-sciences/applied-and-social-sciences-magazines/mathematics
Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).
Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.
Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the most-recent information available at these sites:
Modern Language Association
The Chicago Manual of Style
American Psychological Association
- Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
- In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.
This article comprises a compact survey of the development of mathematics from ancient times until the early twentieth century. The treatment is broadly chronological, and most of it is concerned with Europe.
It seems unavoidable that mathematical thinking played a role in human theorizing from the start of the race, and in various ways. Arithmetic (as the later branch of mathematics became known) would have been one of them, motivated initially by forming integers in connection with counting. But other branches surely include geometry, linked to the appreciation of line, surface, and space; trigonometry, inspired by awareness of angles; mechanics, related to the motion of bodies large and small and the (in)stability of structures; part-whole theory, from consideration of collections of things; and probability, coming from judging and guessing about situations. In all cases the thinking would have started out as very intuitive, gradually becoming more explicit and less particular.
Some of the associated contexts would have been provided by study of the environment (such as days) and the heavens (such as new and full moons), which was a major concern of ancient cultures in all parts of the world; in those times mathematics and astronomy were linked closely. For example, the oldest recognized artifact is a bone from Africa, thought to be about thirty-seven thousand years old, upon which phases of the moon seem to have been recorded.
Among the various ancient cultures, the Babylonians have left the earliest extant evidence of their mathematical practice. They counted with tokens from the eighth millennium; and from the late fourth millennium they expressed numbers and properties of arithmetic in a numeral system to base 10 and handled fractions in expansions of powers of 1/60. Many surviving artifacts seem to relate to education—for example, exercises requiring calculations of unknown quantities, which correspond to the solution of equations but are not to be so identified. They also developed geometry, largely for terrestrial purposes. The Egyptians pursued similar studies, even also finding a formula (not the same one) for the volume of the rectangular base of a pyramid of given sides. They also took up the interesting mathematical problem of representing a fraction as the sum of reciprocals.
A major mathematical question for these cultures concerned the relationship between circles and spheres and rectilinear objects such as lines and cubes. They involve the quantity that we symbolize by, and ancient evidence survives of methods of approximating to its value. But it is not clear that these cultures knew that the same quantity occurs in all the relationships.
On Greek Mathematics
The refinement of mathematics was effected especially by the ancient Greeks, who flourished for about a millennium from the sixth century b.c.e. Pythagoras and his clan are credited with many things, starting with their later compatriots: the eternality of integers; the connection between ratios of integers and musical intervals; the theorem relating the sides of a right-angled triangle; and so on. Their contemporary Thales (c. 625–c. 547 b.c.e.) is said to have launched trigonometry with his appreciation of the angle. However, nothing survives directly from either man.
A much luckier figure concerning survival is Euclid (fl. c. 300 b.c.e.), especially with his Elements. While no explanatory preface survives, it appears that most of the mathematics presented was his rendition of predecessors' work, but that (some of) the systematic organization that won him so many later admirers might be his. He stated explicitly the axioms and assumptions that he noticed; one of them, the parallel axiom, lacked the intuitive clarity of the others, and so was to receive much attention in later cultures.
The Elements comprised thirteen Books: Books 7–9 dealt with arithmetic, and the others presented basic plane (Books 1–6) and solid (Books 11–13) geometry of rectilinear and circular figures. The extraordinary Book 10 explored properties of ratios of smaller to longer lines, akin to a theory of irrational numbers but again not to be so identified. A notable feature is that Euclid confined the role of arithmetic within geometry to multiples of lines (say, "twice this line is … "), to a role in stating ratios, and to using reciprocals (such as 1/5); he was not concerned with lengths—that is, lines measured arithmetically. Thus, he said nothing about the value of, for it relates to measurement.
The Greeks were aware of the limitations of straight line and circle. In particular, they found many properties and applications of the "conic sections": parabola, hyperbola, and ellipse. Hippocrates of Chios (fl. c. 600 b.c.e.) is credited with three "classical problems" (a later name) that his compatriots (rightly) suspected could not be solved by ruler and compass alone: (1) construct a square equal in area to a given circle; (2) divide any angle into three equal parts; and (3) construct a cube twice the volume of a given one. The solutions that they did find enlarged their repertoire of curves.
Among later Greeks, Archimedes (c. 287–212 b.c.e.) stands out for the range and depth of his work. His work on circular and spherical geometry shows that he knew all four roles for; but he also wrote extensively on mechanics, including floating bodies (the "eureka!" tale) and balancing the lever, and focusing parabolic mirrors. Other figures developed astronomy, partly as applied trigonometry, both planar and spherical; in particular, Ptolemy (late second century) "compiled" much knowledge in his Almgest, dealing with both the orbits and the distances of the heavenly bodies from the central and stationary Earth.
Mathematics developed well from antiquity also in the Far East, with distinct traditions in India, China, Japan, Korea, and Vietnam. Arithmetic, geometry, and mechanics were again prominent; special features include a powerful Chinese method equivalent to solving a system of linear equations, a pretty theory of touching circles in Japanese "temple geometry," and pioneering work on number theory by the Indians. They also introduced the place-value system of numerals to base 10, of which we use a descendant that developed after several changes in adopted symbols.
This system of numerals was mediated into Europe by mathematicians working in medieval Islamic civilization, often though not always writing in Arabic. They became the dominant culture in mathematics from the ninth century and continued strongly until the fourteenth. They assimilated much Greek mathematics; indeed, they are our only source for some of it.
The first major author was al-Khwarizmi (fl. c. 800–847), who laid the foundations of algebra, especially the solution of equations. He and his followers launched the theory using words rather than special symbols to mark unknowns and operations. Other interests in geometry included attempts to prove Euclid's parallel axiom and applications to optics and trigonometry; an important case of the latter was determining the qibla (that is, the direction of Mecca) for any time and place at times of Muslim prayer. Their massive contributions to astronomy included theory and manufacture of astrolabes.
The Wakening Europe from the Twelfth Century
From the decline of the Roman Empire (including Greece) Euclid was quiescent mathematically, though the Carolingian kingdom inspired some work, at least in education. The revival dates from around the late twelfth century, when universities also began to be formed. The major source for mathematics was Latin translations of Greek and Arabic writings (and re-editions of Roman writers, especially Boethius). In addition, the Italian Leonardo Fibonacci (c. 1170–c. 1240) produced a lengthy Liber Abbaci in 1202 that reported in Latin many parts of Arabic arithmetic and algebra (including the Indian numerals); his book was influential, though perhaps less than is commonly thought. The Italian peninsula was then the most powerful region of Europe, and much commercial and "research" mathematics was produced there; the German states and the British Isles also came to boast some eminent figures. In addition, a somewhat distinct Hebrew tradition arose—for example, in probability theory.
A competition developed between two different methods of reckoning. The tradition was to represent numbers by placing pebbles (in Latin, calculi ) in determined positions on a flat surface (in Latin, abacus, with one b ), and to add and subtract by moving the pebbles according to given rules. However, with the new numerals came a rival procedure of calculating on paper, which gradually supervened; for, as well as also allowing multiplication and division, the practitioner could show and check his working, an important facility unavailable to movers of pebbles.
Mathematics rapidly profited from the invention of printing in the late fifteenth century; not only were there printed Euclids, but also many reckoning books. Trigonometry became a major branch in the fifteenth and sixteenth centuries, not only for astronomy but also, as European imperialism developed, for cartography, and the needs of navigation and astronomy made the spherical branch more significant than the planar. Geometry was applied also to art, with careful studies of perspective; Piero della Francesca (c. 1420–1492) and Albrecht Dürer (1471–1528) were known not only as great artists but also as significant mathematicians.
Numerical calculation benefited greatly from the development of logarithms in the early seventeenth century by John Napier (1550–1617) and others, for then multiplication and division could be reduced to addition and subtraction. Logarithms superseded a clumsier method called "prosthaphairesis" that used certain trigonometrical formulas.
In algebra the use of special symbols gradually increased, until in his Géométrie (1637), René Descartes (1596–1650) introduced (more or less) the notations that we still use, and also analytic geometry. His compatriot Pierre de Fermat (1601–1665) also worked in these areas and contributed some theorems and conjectures to number theory. In addition, he corresponded with Blaise Pascal (1623–1662) on games of chance, thereby promoting parts of probability theory.
In mechanics a notable school at Merton College, Oxford, had formed in the twelfth century to study various kinds of terrestrial and celestial motion. The main event in celestial mechanics was Nicolaus Copernicus's (1473–1543) De revolutionibus (1453; On the revolutions), where rest was transferred from the Earth to the sun (though otherwise the dynamics of circular and epicyclical motions was not greatly altered). In the early seventeenth century the next stages lay especially with Johannes Kepler's (1571–1630) abandonment of circular orbits for the planets and Galileo Galilei's (1564–1642) analysis of (locally) horizontal and vertical motions of bodies.
The Epoch of Newton and Leibniz
By the mid-seventeenth century, science had become professionalized enough for some national societies to be instituted, especially the Royal Society of London and the Paris Académie des Sciences. At that time two major mathematicians emerged: Isaac Newton (1642–1727) in Cambridge and Gottfried Wilhelm von Leibniz (1646–1716) in Hanover. Each man invented a version of the differential and integral calculus, Newton first in creation but Leibniz first in print. The use here of Leibniz's adjectives recognizes the superior development of his version. During the early 1700s Newton became so furious (or envious?) that he promoted a charge of plagiarism against Leibniz, complete with impartial committee at the Royal Society. It was a disaster for Britain: Newton's followers stuck with their master's theory of "fluxions" and "fluents," while the Continentals developed "differentials" and "integrals," with greater success. The accusation was also mathematically stupid, for conceptually the two calculi were quite different: Newton's was based upon (abstract) time and unclearly grounded upon the notion of limit, while Leibniz's used infinitesimal increments on variables, explicitly avoiding limits. So even if Leibniz had known of Newton's theory (of which the committee found no impartial evidence), he rethought it entirely.
Leibniz's initial guard was largely Swiss: brothers Jakob (1654–1705) and Johann Bernoulli (1667–1748) from the 1680s, then from the 1720s Johann's son Daniel (1700–1782) and their compatriot Leonhard Euler (1707–1783), who was to be the greatest of the lot. During the eighteenth century they and other mathematicians (especially in Paris) expanded calculus into a vast territory of ordinary and then partial differential equations and studied many related series and functions. The Newtonians kept up quite well until Colin Maclaurin (1698–1746) in the 1740s, but then faded badly.
The main motivation for this vast development came from applications, especially to mechanics. Here Newton and Leibniz differed again. In his Principia mathematica (1687) Newton announced the laws that came to carry his name: (1) a body stays in equilibrium or in uniform motion unless disturbed by a force; (2) the ratio of the magnitude of the force and the mass of the body determines its acceleration; and (3) to any force of action there is one of reaction, equal in measure and opposite in sense. In addition, for both celestial and terrestrial mechanics, which he novelly united, the force between two objects lies along the straight line joining them, and varies as the inverse square of its length.
With these principles Newton could cover a good range of mechanical phenomena. His prediction that the Earth was flattened at the poles, corroborated by an expedition undertaken in the 1740s, was a notable success. He also had a splendid idea about why the planets did not exactly follow the elliptical orbits around the sun that the inverse square law suggested: they were "perturbed" from them by interacting with each other. The study of perturbations became a prime topic in the eighteenth century, with Euler's work being particularly significant. Euler also showed that law 2 could be applied to any direction in a mechanical situation, thus greatly increasing its utility. He and others made important contributions to the mechanics of continuous media, especially fluid mechanics and elasticity theory, where Newton had been somewhat sketchy.
Mathematics in the Eighteenth Century: The Place of Lagrange
However, Newton's theory was not alone in mechanics. Leibniz and others developed an alternative approach, partly inspired by Descartes, in which the "living forces" (roughly, kinetic energy) of bodies were related to their positions. Gradually this became a theory of living forces converted into "work" (a later term), specified as (force x traversed distance). Engineers became keen on it for its utility in their concerns, especially when impact between bodies was involved; from the 1780s Lazare Carnot (1753–1823) urged it as a general approach for mechanics.
Carnot thereby challenged Newton's theory, but his main target was a recent new tradition partly launched by Jean d'Alembert (1718–1783) in midcentury and developed further by Joseph-Louis Lagrange (1736–1813). Suspicious of the notion of force, d'Alembert had proposed that it be defined by Newton's law 2, which he replaced by one stating how systems of bodies moved when disturbed from equilibrium. At that time Euler and others proposed a "principle of least action," which asserted that the action (a mechanical notion defined by an integral) of a mechanical system took its optimal value when equilibrium was achieved. Lagrange elaborated upon these principles to create Méchanique analitique (1788), in which he challenged the other two traditions; in particular, dynamics was reduced mathematically to statics. For him a large advantage of his principles was that they were formulated exclusively in algebraic terms; as he proclaimed in the preface of his book, there were no diagrams, and no need for them. A main achievement was a superb though inconclusive attempt to prove that the system of planets was stable; predecessors such as Newton and Euler had left that matter to God.
Lagrange formulated mechanics this way in order to make it (more) rigorous. Similarly, he algebraized the calculus by assuming that any mathematical function could be expressed in an infinite power series (the so-called Taylor series), and that the basic notions of derivative (his word) and integral could be determined solely by algebraic manipulations. He also greatly expanded the calculus of variations, a key notion in the principle of least action.
As in mechanics, Lagrange's calculus challenged the earlier ones, Newton's and Leibniz's, and as there, reaction was cautious. A good example for both contexts was Pierre-Simon Laplace (1749–1827), a major figure from 1770. While strongly influenced by Lagrange, he did not confine himself to the constraints of Lagrange's book when writing his own four-volume Traité de mécanique céleste (1799–1805; Treatise on celestial mechanics). His exposition of celestial and planetary mechanics used many differential equations, series, and functions.
The French Revolution and a New Professionalization
Laplace published his large book in a new professional and economic situation for science. After the Revolution of 1789 in France, higher education and its institutions there were reformed, with a special emphasis upon engineering. In particular, a new school was created, the École Polytechnique (1794), with leading figures as professors (such as Lagrange) and as examiners (Laplace), and with enrollment of students determined by talent, not birth. A new class of scientists and engineers emerged, with mathematics taught, learned, researched, and published on a scale hitherto unknown.
Of this mass of work only a few main cases can be summarized here. Joseph Fourier (1768–1830) is noteworthy for his mathematical analysis of heat diffusion, both the differential equation to represent it (the first important such equation found outside mechanics) and solutions by certain infinite series and by integrals that both now bear his name. From the 1820s they attracted much attention, not only for their use in heat theory but especially for the "pure" task of establishing conditions for their truth. New techniques for rigor had just become available, mainly from Augustin-Louis Cauchy (1789–1857), graduate of the École Polytechnique and now professor there. He taught a fourth approach to the calculus (and also function and series), based like Newton's upon limits but now fortified by a careful theory of them; although rather unintuitive, its mathematical merits gradually led worldwide to its preference over the other three approaches.
Ironically, Cauchy's own analysis of Fourier series failed, but a beautiful treatment following his approach came in 1829 from J. P. G. Dirichlet (1805–1859)—a French-sounding name of a young German who had studied with the masters in Paris. Dirichlet also exemplifies a novelty of that time: other countries producing major mathematicians. Another contemporary example lies in elliptic functions, which Carl Jacobi (1804–1851) and the young Norwegian Niels Henrik Abel (1802–1829) invented independently following much pioneering work on the inverse function by A. M. Legendre (1752–1833).
Jacobi and Abel drew upon a further major contribution to mathematics made by Cauchy when, by analogy with the calculus, he developed a theory of functions of the complex variable x + √ − 1y (x and y real), complete with an integral. His progress was fitful, from the 1810s to the 1840s; after that, however, his theory became recognized as a major branch of mathematics, with later steps taken especially by the Germans.
Between 1810 and 1830 the French initiated other parts of mathematical physics in addition to Fourier on heat: Siméon-Denis Poisson (1781–1840) on magnetism and electrostatics; André-Marie Ampère (1775–1836) on electrodynamics; and Augustin Jean Fresnel (1788–1827) on optics with his wave theory. Mathematics played major roles: many analogies were taken from mechanics, which itself developed massively, with Carnot's energy approach elaborated by engineers such as Gaspard-Gustave Coriolis (1792–1843), and continuum mechanics extended, especially by Cauchy.
Geometry was also taught and studied widely. Gaspard Monge (1746–1818) sought to develop "descriptive geometry" into a geniune branch of mathematics and gave it prominence in the first curriculum of the École Polytechnique; however, this useful theory of engineering drawing could not carry such importance, and Laplace had its teaching reduced. But former student Jean Victor Poncelet (1788–1867) was partly inspired by it to develop "the projective properties of figures" (Traité des propries projectives de figures, 1822), where he studied characteristics independent of measure, such as the order of points on a line.
The main mathematician outside France at this time was C. F. Gauss (1777–1855), director of the Göttingen University Observatory. Arguably he was the greatest of all, with major work published in number theory, celestial mechanics, and aspects of analysis and probability theory. But he was not socially active, and he left many key insights in his manuscripts (for example, on elliptic functions).
Other major contributors outside France include George Green (1793–1841), who, in An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism (1828), produced a wonderful theorem in potential (his word) theory that related the state of affairs inside an extended body to that on its surface. But he published his book very obscurely, and it became well-known only on the reprint during the 1850s initiated by William Thomson (later Lord Kelvin), who was making notable contributions of his own to the theory.
By the 1840s Britain and the Italian and German states were producing quality mathematicians to complement and even rival the French, and new posts were available in universities and engineering colleges everywhere. Among the Germans, two figures stand out.
From around 1860 Karl Weierstrass (1815–1897) gave lecture courses on many aspects of real-and complex-variable analysis and parts of mechanics at Berlin University, attended by students from many countries who then went home and taught likewise. Meanwhile at Göttingen, Bernhard Riemann (1826–1866) rethought complex-variable analysis and revolutionized the understanding of both Fourier series and the foundations of geometry. Much of this work was published only after his early death in 1866, but it soon made a great impact. The work on Fourier series led Georg Cantor (1845–1918) to develop set theory from the 1870s. On geometry Riemann showed that the Euclidean was only one of many possible geometries, and that each of them could be defined independently of any embedding space. The possibility of non-Euclidian geometries, using alternatives to the parallel axiom, had been exhibited around 1830 in little-recognized work by Janos Bolyai (1802–1860) and Nicolai Lobachevsky (1793–1856) (and, in manuscript, Gauss); Riemann, however, went much further and brought us proper understanding of the plurality of geometries.
Weierstrass emulated and indeed enhanced Cauchy-style rigor, carefully formulating definitions and distinctions and presenting proofs in great detail. By contrast, Riemann worked intuitively, offering wonderful but often proof-free insights grounded upon some "geometric fantasy," as Weierstrass described it. A good example is their revisions of Cauchy's complex-variable analysis: Weierstrass relied solely on power series expansions of the functions, whereas Riemann invented surfaces now named after him that were slit in many remarkable ways. Among many consequences of the latter, the German Felix Klein (1849–1925) and the Frenchman Henri Poincaré (1854–1912) in the early 1880s found beautiful properties of functions defined on these surfaces, which they related to group theory as part of the rise of abstract algebras.
Another example of the gap between Riemann and Weierstrass is provided by potential theory. Riemann used a principle employed by his mentor Dirichlet (and also envisaged by Green) to solve problems in potential theory, but in 1870 Weierstrass exposed its fallibility by a counterexample, and so methods became far more complicated.
Better news for potential theory had come at midcentury with the "energetics" physics of Thomson, Hermann von Helmholtz (1821–1894), and others. The work expression of engineering mechanics was extended into the admission of potentials, which now covered all physical factors (such as heat) and not just the mechanical ones that had split Carnot from Lagrange. The latter's algebraic tradition in mechanics had been elaborated by Jacobi and by the Irishman William Rowan Hamilton (1805–1865), who also introduced his algebra of quaternions.
Among further related developments, the Scot James Clerk Maxwell (1831–1879) set out theories of electricity and magnetism (including, for him, optics) in his Treatise on Electricity and Magnetism (1873). Starting out from the electric and magnetic potentials as disturbances of the ether rather than Newton-like forces acting at a distance through it, he presented relationships between his basic notions as differential equations (expressed in quaternion form). A critical follower was the Englishman Oliver Heaviside, who also analyzed electrical networks by means of a remarkable but mysterious operator algebra. Other "Maxwellians" preferred to replace dependence upon fields with talk about "things," such as electrons and ions; the relationship between ether and matter (J. J. Larmor, Aether and Matter, 1900) was a major issue in mathematical physics at century's end.
The Early Twentieth Century
A new leader emerged: the German David Hilbert (1862–1943). Work on abstract algebras and the foundations of geometry led him to emphasize the importance of axiomatizing mathematical theories (including the axioms of Euclidean geometry that Euclid had not noticed) and to study their foundations metamathematically. But his mathematical knowledge was vast enough for him to propose twenty-three problems for the new century; while a personal choice, it exercised considerable influence upon the community. He presented it at the International Congress of Mathematicians, held in Paris in 1900 as the second of a series that manifested the growing sense of international collaboration in mathematics that still continues.
One of Hilbert's problems concerned the foundations of physics, which he was to study intensively. In physics Albert Einstein (1879–1955) proposed his special theory of relativity in 1905 and a general theory ten years later; according to both, the ether was not needed. Mathematically, the general theory both deployed and advanced tensor calculus, which had developed partly out of Riemann's interpretation of geometry.
Another main topic in physics was quantum mechanics, which drew upon partial differential equations and vector and matrix theory. One of its controversies concerned Werner Heisenberg's principle of the uncertainty of observation: should it be interpreted statistically or not? The occurrence of this debate, which started in the mid-1920s, was helped by the increasing presence of mathematical statistics. Although probability must have had an early origin in mathematical thinking, both it and mathematical statistics had developed very slowly in the nineteenth century—in strange contrast to the mania for collecting data of all kinds. Laplace and Gauss had made important contributions in the 1810s, for example, over the method of least-squares regression, and Pafnuty Chebyshev (1821–1894) was significant from the 1860s in Saint Petersburg (thus raising the status of Russian mathematics). But only from around 1900 did theorizing in statistics develop strongly, and the main figure was Karl Pearson (1857–1936) at University College, London, and his students and followers. Largely to them we owe the definition and theory of basic notions such as standard deviation and correlation coefficient, basic theorems concerning sampling and ranking, and tests of significance.
Elsewhere, Cantor's set theory and abstract algebras were applied to many parts of mathematics and other sciences in the new century. A major beneficiary was topology, the mathematics of location and place. A few cases had emerged in the nineteenth century, such as the "Möbius strip" with only one side and one edge, Riemann's fantastical surfaces, and above all a remarkable classification of deformable manifolds by Poincaré; most of the main developments, however, date from the 1920s. General theories were developed of covering, connecting, orientating, and deforming manifolds and surfaces, along with many other topics. A new theory of dimensions was also proposed because Cantor had refuted the traditional understanding by mapping one-one all the points in a square onto all the points on any of its sides. German mathematicians were prominent; so were Americans in a country that had risen rapidly in mathematical importance from the 1890s.
The amount of mathematical activity has usually increased steadily or even exponentially, and the growth from the mid-twentieth century has been particularly great. For example, the German reviewing journal Zentralblatt Math published at the beginning of the twenty-first century a six-hundred-page quarto volume every two weeks, using a classification of mathematics into sixty-three numbered sections. To suggest the rate of increase, the other reviewing journal, the U.S. periodical Mathematical Reviews, published 3,800 octavo pages in 1980, 7,500 pages a decade later, and 9,800 pages in 2003. It would be impossible to summarize this mountain of work, even up to 1970; instead, some main points are noted relating to the previous sections and to the companion articles on algebras and on logic.
Not only has the amount increased; the variety of theories has also greatly expanded. All the topics and branches mentioned above continue to develop (and also many more that were not noted), and new topics emerge and fresh applications are found. For example, beginning with the 1940s mathematics became widely utilized in the life sciences and medicine and has expanded greatly in economics and other social sciences relative to previous practice.
Much of that work lies in statistics, which after its very slow arrival has developed a huge community of practitioners in its own right. Often it functions rather separately from mathematics, with its own departments in universities.
Another enormous change has been the advent of computing, again particularly since World War II and indeed much stimulated by war work as on cryptography and the calculation of parameters in large technological artifacts. Mathematics plays a role both in the design, function, and programming of computers themselves and in the formulation of many mathematical theories. An important case is in numerical mathematics, where approximations are required and efficient algorithms sought to effect them. This kind of mathematics has been practiced continuously from ancient times, especially in connection with all sorts of applications. Quite often algorithms were found to be too slow or mathematically cumbersome to be practicable; but now computer power makes many of them feasible in "number crunching" (to quote a popular oversimplification of such techniques).
A feature of many mathematical theories is linearity, in which equations or expressions of the form
(A) ax by cz … and so on finitely or even infinitely
make sense, in a very wide range of interpretations of the letters, not necessarily within an algebra itself (for example, Fourier series shows it). But a dilemma arises for many applications, for the world is not a linear place, and in recent decades nonlinear theories have gained higher status, partly again helped by computing. The much-publicized theory of fractals falls into this category.
From the Greeks onward, mathematicians have often been fascinated by major unsolved problems and by the means of solving them. In the late 1970s a proof was produced of the four-color theorem, stating that any map drawn upon a surface can be colored with four colors such that bounding regions do not share the same color. The proof was controversial, for a computer was used to check thousands of special cases, a task too large for people. Another example is "Fermat's last theorem," that the sum of the nth powers of two positive integers is never equal to the nth power of another integer when n 2. The name is a misnomer, in that Fermat only claimed a proof but did not reveal it; the modern version (1994) uses modern techniques far beyond his ken.
This article has focused upon the main world cultures, but every society has produced mathematics. The "fringe" developments are studied using approaches collectively known as ethnomathematics. While the cultures involved developed versions of arithmetic and geometry and also some other branches, several of them also followed their own concerns; some examples, among many, are intricate African drawings made in one unbroken line, Celtic knitting patterns, and sophisticated rows of knotted strings called quipus used in Mexico to maintain accounts.
A thread running from antiquity in all cultures, fringe or central, is recreational mathematics. Unfortunately, the variety is far too great even for summary here. Often it consists of exercises, perhaps posed for educational use, or perhaps just for fun; an early collection is attributed to Alcuin in the ninth century, for use in the Carolingian Empire. Solutions sometimes involve intuitive probability, or combinatorics to work out all options; with games such as chess and bridge, however, the analysis is much more sophisticated. Several puzzles appear in slightly variant forms in different cultures, suggesting transmission. Some are puzzles in logic or reasoning rather than mathematics as such, and it is striking that for some games the notion of decidability was recognized (that is, is there a strategy that guarantees victory?) long before it was studied metamathematically in the foundations of mainstream mathematics.
Lastly, since the early 1970s interest in the history of mathematics has increased considerably. There are now several journals in the field along with a variety of books and editions, collectively covering all main cultures and periods. One main motive for people to take up historical research was their dislike of the normal unmotivated way in which mathematics was (and is) taught and learned; thus, the links between history and mathematics education are strong. For, despite many appearances to the contrary, mathematics is a human activity.
See also Algebras ; Astronomy, Pre-Columbian and Latin American ; Calculation and Computation ; Geometry ; Logic ; Logic and Philosophy of Mathematics, Modern .
Bottazzini, Umberto. Il flauto di Hilbert. Turin: UTET, 1990.
Cajori, Florian. A History of Mathematical Notations. 2 vols. La Salle, Ill., and Chicago: Open Court, 1928–1929.
Cooke, Roger. The History of Mathematics: A Brief Course. New York: Wiley, 1997.
Dauben, Joseph W., ed. The History of Mathematics from Antiquity to the Present: A Selective Bibliography. Rev. ed. New York: Garland, 1985. Lewis, Albert, ed. The History of Mathematics: A Selective Bibliography. Providence, R.I.: American Mathematical Society, 2000. In CD ROM format.
Dieudonné, Jean, ed. Abrégé d'histoire des mathématiques 1700–1900. 2 vols. Paris: Hermann, 1978. Includes a few parts on pure mathematics.
Dold, Yvonne, et al., eds. From China to Paris: 2000 Years Transmission of Mathematical Ideas. Stuttgart: Franz Steiner, 2002.
Folkerts, Menso, Eberhard Knobloch, and Karin Reich. Mass, Zahl, und Gewicht. 2nd ed. Wiesbaden: Harrassowitz, 2001. Much elaborated exhibition catalog.
Goldstein, Catherine, Jeremy Gray, and Jim Ritter, eds. L'Europe mathématique: histoires, mythes, identités. Paris: Editions de la Maison des Sciences de l'Homme, 1996.
Gottwald, Siegfried, Hans-Joachim Ilgands, and Karl-Heinz Schlote, eds. Lexikon bedeutender Mathematiker. Leipzig: Bibliographisches Institut, 1990. Many short biographies.
Grattan-Guinness, I., ed. Companion Encyclopedia of the History and Philosophy of the Mathematical Sciences. 2 vols. London and New York: Routledge, 1994. Reprint, Baltimore: Johns Hopkins University Press, 2003. Material up to the 1930s.
——. The Norton History of the Mathematical Sciences: The Rainbow of Mathematics. New York: Norton, 1998. Coverage until World War I.
Historia mathematica (1974–). The best single source for new historical writings.
Klein, Felix, et al., eds. Encyklopädie der mathematischen Wissenschaften. 23 vols. Leipzig, Germany: Teubner, 1898–1935.
Kline, Morris. Mathematical Thought from Ancient to Modern Times. New York: Oxford University Press, 1972.
Kramer, Edna E. The Nature and Growth of Modern Mathematics. New York: Hawthorn, 1970.
May, Kenneth O. Bibliography and Research Manual of the History of Mathematics. Toronto: University of Toronto Press, 1973.
Montucla, Jerome E. Histoire des mathématiques. 2nd ed. 4 vols. Vols. 3–4 edited by J. J. Lalande. Paris: Agasse, 1799–1802. Reprint, Paris: Blanchard, 1968.
Pier, Jean-Paul, ed. Development of Mathematics 1900–1950. Basel, Switzerland, and Boston: Birkhäuser, 1994. This and the follow-up volume focus mostly on pure mathematics.
——. Development of Mathematics 1950–2000. Basel, Switzerland, and Boston: Birkhäuser, 2000.
Roche, John J. The Mathematics of Measurement: A Critical History. London: Athlone Press, 1998.
Scriba, C. J., and P. Schreiber. 5000 Jahre Geometrie. Geschichte, Kulturen, Menschen. Berlin and New York: Springer, 2000.
"Mathematics." New Dictionary of the History of Ideas. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/history/dictionaries-thesauruses-pictures-and-press-releases/mathematics
"Mathematics." New Dictionary of the History of Ideas. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/history/dictionaries-thesauruses-pictures-and-press-releases/mathematics
Modern Language Association
The Chicago Manual of Style
American Psychological Association
Leonardo’s admiration for mathematics was unconditional, and found expression in his writings in such statements as “No certainty exists where none of the mathematical sciences can be applied” (MS G, fol. 96v). It is therefore useful to consider the development of his mathematical thought, drawing upon the whole of his manuscripts in order to reconstruct its principal stages; such a study will also serve to illustrate the sources for much of his work.
Leonardo particularly valued the rigorous logic implicit in mathematics, whereby the mathematician could hope to attain truth with the same certitude as might a physicist dealing with experimental data. (Students of the moral and metaphysical sciences, on the other hand, had no such expectation, since they were forced to proceed from unascertainable and infinitely arguable hypotheses.) His predilection did not, however, presuppose a broad mathematical culture or any real talent for calculation. Certainly, his education was that of an artisan rather than a mathematician, consisting of reading, writing, and the practical basics of calculus and geometry, together with the considerable body of practical rules that had been accumulated by generations of craftsmen and artists.
The effects of his early education may be seen in Leonardo’s literary style (he preferred aphorisms and definitions to any prolonged organic development of ideas) and in his mathematics, which contains grave oversights not entirely due to haste. An example of the latter is his embarrassment when confronted with square and cube roots. In Codex Arundel (fol. 200r) he proposed, as an original discover), a simple method for finding all roots “both irrational and rational,” whereby the “root” is defined as a fraction of which the numerator alone is multiplied by itself one or two times to find the square or cubic figure. Thus the square root of 2 is obtained by multiplying 2/2 by 2/2 to find 4/2, or simply 2 ; while the cube root of 3 is reached by taking 3/9 x 3/9 x 3/9 = 27/9, or 3. He applied this erroneous method several times in his later work; however absurd they might be, Leonardo seems to have been prouder of his discoveries in mathematics than in any other field.
When he was in his late thirties, Leonardo began to try to fill the gaps in his education and took up the serious study of Latin and geometry, among other subjects. At the same time he began to write one or more treatises. He wished to write for scientists, although scholars of the period were not prepared to admit the knowledge possessed by an artist as science. (An illustration of this occurs in Alberti’s definition of the “principles” of geometry, in which he stated that he could not use truly scientific terms because he was addressing himself to painters.) It was only after Leonardo entered the Sforza service in Milan and became associated with philosophers and men of letters on a basis of mutual esteem that he took up his theory of the supremacy of painting. This theory was in part incorporated into the Treatise on Painting compiled by Leonardo’s disciple Francesco Melzi, who, however, omitted Leonardo’s definitions of the geometric “principles” of point, line, and area—definitions that Leonardo had drawn up with great care, since he wished them to be read by mathematicians rather than artists.
As a painter, Leonardo was, of course, concerned with proportion and also with “vividness of the actions” (this is how he translated Ficino’s definition of beauty as “actus vivacitas"). In his pursuit of the latter, Leonardo inclined toward physics, seeking motions that could be studied experimentally. Perspective, too, had an important place in the treatise on painting, but Leonardo was more concerned with aerial perspective (chiaroscuro) than with linear. MS C (1490) is rich in geometrical drawings, although limited to the depiction of the projection of rays of light; it contains no organic system of theorems.
Aside from those in MS C, the pages dedicated to geometry in other early manuscripts are few; there are nine in MS B (ca. 1489) and nineteen in MS A (1492). The prevalent matter in all of these is the division of the circumference of the circle into equal parts, a prerequisite for the construction of polygons and for various other well-known procedures. The notes set down are not connected with each other and represent elementary precepts that were common knowledge to all “engineers,” Because of these limitations, it is impossible to accept Caversazzi’s thesis concerning MS B, folios 27v and 40r, wherein Leonardo explained how to divide a circumference into equal parts by merely “opening the compass” ; Caversazzi sees this as an “exquisite geometric discovery,” one that may be applied to solve Euclidean problems of the first and second degree. But since at this time Leonardo had not yet begun to study Euclid, it is probable that he was referring to precepts known to all draftsmen.
Seven pages are devoted to geometry in Codex Forster 111 (1493-1495) and, again, these contain only elementary formulas, expressed in language more imaginative than scientific (the volume of a sphere, for example, is described as “the air enclosed within a spherical body” ). Only in Codex Forster II1 written between 1495 and 1497, are there the first signs of a concentrated interest in geometrical problems, particularly those that were deeply to concern Leonardo in later years—lunes and the equivalence of rectilinear and curvilinear surfaces. An additional seventeen pages of this manuscript are devoted to the theory of proportion.
The two manuscripts that mark the close of Leonardo’s first sojourn in Milan-MS M and MS I-are of far greater importance. The first thirty-six pages of MS M contain translations of Euclid (“Petitioni” and “Conceptioni”) as well as derivations of propositions 1-42 (with a few omissions) of book I of the Elements, together with a group of propositions from the tenth book. Propositions 43-46 of book I appear in the first sixteen folios of MS I (which must for that reason be considered as being of a later date than MS M), as do propositions 1-4 and 6-10 of book 11, selections from book 111, and occasional references to book X. These evidences of Leonardo’s systematic study of Euclid may be related to his friendship and collaboration with Luca Pacioli.
Leonardo must have read the Elements and acquired some deeper knowledge of geometry before undertaking the splendid drawings of solid bodies with which he illustrated the first book of Pacioli’s Dirina proportione. His interest in this work is probably reflected in the pages of Codex Forster II1 on proportion; it would also explain his study of the tenth book of the Elements, the book least read because of its difficulty and its practical limitation to the construction of regular polygons. Pacioli was thus responsible for arousing Leonardo’s enthusiasm for geometry and for introducing him to Euclid’s work; indeed, he may have helped him read Euclid, since the text would have been extremely difficult for a man as relatively unlettered as Leonardo. (It is interesting to note that MS I also contains some first principles of Latin, copied from Perotti’s grammar.) Pacioli’s influence on Leonardo was probably also indirect, through his Summa arithtietica and perhaps through his translation of the Elements.
That Leonardo had at hand the Latin text of the Elements of 1482 or 1491 can be seen through the identity of some of his drawings with those texts as well as by certain verbal correspondences. At the same time, his method was not to transcribe sentences from the text he was studying but to attempt to present geometrical ideas graphically. each page of his geometrical notes represents an aid to memorizing Euclid’s text, rather than a compendium; hence it is not always easy to trace the specific passages studied. For example, Leonardo would often begin with a sketch, a number, or occasionally a word which he must have used initially to impress upon his mind some of the intricacies of Euclid’s theses and later to recall the whole content. In MS M, folio 29v, three figures appear: a point and a line; the same point and line with an additional transversal line; and two parallel lines joined by the transversal, the original point having disappeared. The correspondence with the Euclidean thesis, together with the coincidence of similar notes on the preceding and following pages to propositions 27, 28, 29, 30, and 32, respectively, prove this to be Euclid’s book 1, proposition 31.
Notes on Euclid’s first books also appear in certain folios of the Codex Atlauticus, where they are set out in better order and in a more complete form. On folio 169r-b, for instance, the “Petitioni” and “Conceptioni” are presented symbolically, while on folio 177v-a proposition 1.7 is transformed into a series of thirteen drawings.
Leonardo continued to work with Pacioli after they both left Milan in 1499. In the Codex Atlanticus he stated that he would learn “the multiplication of roots” from his friend “master Luca” (fol. 120r-d). and he had in fact transcribed all the rules for operations with fractions from the Summa arithmetica (fol. 69, a-b). Pietro da Novellara recorded in 1503 that Leonardo was neglecting painting in favor of geometry; this activity is reflected in MS K, Codex Madrid, 11, and Codex ForsterI,as well as in many folios of the Codex Atlanticus.
Two-thirds of MS K1(1504) are devoted to Euclid. From folio 15v to folio 48v Leonardo copied, in reverse order, almost all the marginal figures of books V and VI of the Elements. He transcribed none of the text, although the drawings are accoumpanied by unmistakable signs of his contemplation of the theory of proportion. MS K2 contains notes similar to those in MS M and MS 1; here they refer to the whole of the second book of the Elements, to a few propositions of books I, II and III, and to nine of the first sixteen definitions of book V.
Leonardo’s interest in the theory of proportion is further evident in Codex Madrid, II, folios 46v–50, in which he summarizes and describes the treatise “De proportionibus et proportionalitatibus” that is part of Pacioli’s Summa arithmetica. A drawing on folio 78 of the same manuscript, graphically illustrating all the various kinds of proportions and proportionalities, is also taken from Pacioli’s book, while Euclid reappears in the last five pages of the manuscript proper. In the latter portion Leonardo transcribed, in an elegant handwriting, the first pages of an Italian version of the Elements, the author of which is not known (the list of Leonardo’s books cites only “Euclid, in Italian, that is, the first three books” ). Folio 85r contains the ingenious illustration of Euclid’s so-called algorithm (VII.2, X.2-3) that is repeated in more detail in Codex Atlanticus, folio 207r-b.
It is thus clear from manuscript sources that from the time that Leonardo began to collaborate with Pacioli on the Divina proportione, he concentrated on books I and II of Euclid—an indispensable base—and on books V and VI, the theory of proportion that had also been treated by Pacioli in the Summa arithmetica. The few references to book X deal with the ratios of incommensurate quantities; therefore there can be no doubt that the subject of proportions and proportionalities remained a constant center of Leonardo’s interest.
There is no evidence of a similar study of the last books of Euclid, but it must not be forgotten that about two-thirds of Leonardo’s writings have been lost. There is, moreover, no lack of practical applications of the propositions of the last books in Leonardo’s writings. But Codex Madrid, II, is of particular importance because it demonstrates that Leonardo, after conducting a modest study of Euclid from approximately 1496 to 1504, began to conduct ambitious personal research. Having copied out the first pages of the Elements as, perhaps, a model, Leonardo wrote on folios IIIr and 112r two titles indicative of the plan of his work, “The Science of Equiparation” and “On the Equality of Unequal Areas.” For this new science he wrote on folio 107v a group of “Petitioni” and “Conceptioni” based upon Euclid’s. Here Leonardo’s chief concern lay in the squaring of curvilinear surfaces, which he generally divided into “falcates” (triangles with one, two, or three curved sides) and “portions” (circular segments formed by an are and a chord, which could also be the side of a polygon inscribed in a circle). He carried out the transformation of these figures into their rectilinear equivalents by various means, some of which (such as superimposition and motion, or rotation) were mechanical.
The use of mechanical solutions, rarely accepted by Euclid, may perhaps be attributable to Leonardo’s engineering background; he would almost seem to have recognized the unorthodoxy of his procedures in applying to himself Giordano’s words: “This method is not simply geometrical but is subordinated to, and participates in, both philosophy and geometry, because the proof is obtained by means of motion, although in the end all mathematical sciences are philosophical speculations” (Codex Madrid, II,fol. 107r). Leonardo noted, however, that the squaring of curvilinear surfaces could be accomplished by more orthodox geometrical methods, provided the curved sides of the figure form parts of circles proportional among themselves (Codex Atlanticus, fol. 139v-a).
It is a short step from squaring falcates to squaring the circle, and Leonardo proposed several solutions to the latter problem. Again, some of them were mechanical and were suggested to him by studying Vitruvius. These consist in, for example, measuring the rectilinear track left by a wheel of which the width is one-quarter of the wheel’s diameter (MS G, fol. 61r; also MS E, fol. 25v, where the width of the wheel that makes “a complete revolution” is mistakenly given as being equal to the radius). The circumference is obtained by winding a thread around the wheel, then withdrawing and measuring it (MS K, fol. 80r).
Leonardo was also well acquainted with the method for the “quadratura circuli per lunulas,” which he knew from the De expetendis et fugiendis rebus of Giorgio Valla. A drawing corresponding to this method appears in MS K, folio 61r. (The identity of “Zenophont” or “Zenophonte,” a mathematician criticized by Leonardo on the previous page of the same manuscript, is probably resolvable as Antiphon,
whose method of quadrature was also criticized by Valla.)
Leonardo of course knew Archimedes’ solution to squaring the circle; Clagett has pointed out that he both praised and criticized it without ever having understood it completely. He accepted Archimedes’ first proposition, which establishes the equivalence of a circle and a rectangular triangle of which the shorter sides are equal to the radius and the circumference of the circle, respectively; he remained unsatisfied with the third proposition, which fixes the approximate ratio between the circumference (taken as an element separating two contiguous classes of polygons) and the diameter as 22:7. Leonardo tried to take this approximation beyond the ninety-six-sided polygon; it is in this attempt at extension ad infinitum that the value of his effort lies.
Valla provided Leonardo with a starting point when, in describing the procedure of squaring “by lunes,” he recommended “trapezium dissolvatur in triangula. “Leonardo copied Valla’s drawing, dividing the trapezium inscribed in a semicircle into three triangles; he extended the concept in MS K , folio 80r, in which he split the circle into sixteen triangles, rectified the circumference, then fitted the triangles together like gear teeth, eight into eight, to attain a rectangle equivalent to the circle. He took a further step in Codex Madrid, II, folio 105v, when departing from Euclid 11.2 (circles are to each other as the squares of their diameters), he took two circles, having diameters of 1 and 14, respectively, and divided the larger into 196 sectors, each equivalent to the whole of the smaller circle.
In Codex Atlanticus, folio 118v-a, Leonardo dealt with circles of the ratio 1:1,000 and found that when the larger was split into 1,000 sectors, the “portion” (the difference between the sector and the triangle) was an “imperceptible quantity similar to the mathematical point.” By logical extension, if each sector were “a millionth of its circle, it would be a straight portion” or “almost plane, and thus we would have carried out a squaring nearer the truth than Archimedes”’ (Codex Madrid, II, fol. 105v). In Codex Arundel, folio 137v, Leonardo squared the two diameters, writing “one by one is one” and “one million by one million is one million”; his disappointment in seeing that the squares did not increase suggested the variant “four million by four million is sixteen million” (that he corrected his error in Codex Atlanticus, fol. 118r-a, writing “a million millions,” reveals a poor grasp of calculation).
Leonardo was clearly proud of his discovery of the quadrature, and in Codex Madrid, II, folio 112r he recorded the exact moment that it came to him—on the night of St. Andrew’s day (30 November), 1504, as hour, light, and page drew to a close. In actual fact, however, Leonardo’s discovery amounted only to affirming the equivalence of a given circle to an infinitesimal part of another without calculating any measure; to have made the necessary calculations, he would have had to use Archimedes’ formula 22:7, which he rejected. Leonardo characterized Archimedes’ method of squaring as “ben detta e male data” (Codex Atlanticus, fol. 85r-a), that is, “well said and badly given.” It would seem necessary to describe his own solution simply as “detta,” not “data.”
The presumed discovery on St. Andrew’s night did, however, encourage Leonardo to pursue his geometrical studies in the hope of making other new breakthroughs. MS K3, MS F, and a large number of pages in the Codex Atlauticus demonstrate his continuous and intense work in transforming sectors, “falcates,” and “portions” into rectilinear figures. Taking as given that curved lines must have equal or proportional radii, Leonardo practiced constructing a series of squares doubled in succession, in which he inscribed circles proportioned in the same way; to obtain quadruple circles, he doubled the radii. To obtain submultiple circles, he divided a square constructed on the diameter of the circle into the required number of rectangles, transforming one into a square and inscribing the submultiple circle therein. In order to double the circle, however, instead of using the diagonal of the square constructed on the diameter, he turned to arithmetic calculus to increase proportionally the measure of the radius, adopting a ratio of 1 :3/2, which is somewhat greater than the true one of 1:1/2. To obtain a series of circles doubling one another, he divided the greatest radius into equal parts, forgetting that arithmetic progression is not the same as geometric (Codex Madrid, II, fols. 117v, 132).
Alternating with the many pages in the Codex Atlanticus devoted to the solution of specific problems are others giving the fundamental rules of Leonardo’s new science of comparison. Within the same sphere falls a group of pages in Codex Madrid, II, which are concerned with transforming rectilinear figures into other equivalent figures or solids into other solids. These sections of the two collections, presumably together with pages that are now lost, are preparatory to the short treatise on stereometry contained in Codex Forster I1 (1505) and entitled “Book on Transformation, That Is, of One Body Into Another Without Decrease or Increase of Substance.” In his study of this treatise, Marcolongo judges it to be suitable “for draftsmen more skilled in handling rule, square, and compass than in making numerical calculations” —Leonardo’s viewpoint was often that of the engineer.
One of the problems to which Leonardo chose to apply his new science was that of how to transform a parallelepiped into a cube, or how to double the volume of a cube and then insert two proportional means between two segments. In the Summa arithmetica, Pacioli had solved the problem and had described how to find the cube root of 8 by geometrical methods, although he provided no geometrical demonstrations. Leonardo, in Codex Atlanticus, folio 58r, stated that if the edge of a cube is 4, the edge of the same cube doubled will be 5 plus a fraction that is “inexpressible and easier to make than to express.” By 1504 Leonardo also possessed Valla’s book, which gave the solution of the problem, with numerous demonstrations from the ancients. Leonardo copied various figures from Valla (in Codex Arundel, fols. 78r-79v, where the last one is, however, Pacioli’s) and transcribed a vernacular translation of the part of Valla’s book referring to the demonstrations of Philoponus and Parmenius. (That, having the Latin text at hand, Leonardo felt the need to translate or to have translated the two pages that interested him confirms his difficulty in reading Latin directly-Clagett and Marcolongo have both pointed out many mistakes in the translation of this passage which, if uncorrected, distort the text.)
Leonardo repeatedly expressed his dissatisfaction with the solution reported by Valla. He particularly objected to having to make the rule swing until the compass has fixed two points of intersection; this “negotiation,” he stated (Codex Atlanticus, fol. 218v-b), seemed to him “dubious and mechanical.” Since Valla attributed this procedure to Plato, Leonardo further stated, in MS F (1508), folio 59r, that “the proof given by Plato to the inhabitants of Delo is not geometrical.” He continued to look for other, more truly “geometrical,” means to double the cube or find the cube root.
In folios 50v-59v of MS F and in the similar folios 159r-a and b of the Codex Atlanticus, Leonardo tried, in opposition to the “ancient system,” to resolve the problem by decomposing and rebuilding a cube; he further attempted to apply Pythagoras’ theorem by substituting three cubes for three squares constructed on the sides of a right triangle. Since every square is equal to half the square constructed on its diagonal, he attempted to halve each cube with a diagonal cut, on the assumption that the face of a doubled cube could be obtained through manipulating the rectangular face formed by the cut. He arranged nine cubes in the form of a parallelepiped upon which he analyzed the diagonals that he supposed to represent the square and cube roots, respectively (Codex Atlanticus, fols. 159r-b, 303r-b; Windsor Collection, fol. 19128). He forgot, however, that the progression of squares and cubes does not correspond to the natural series of numbers. Although he studied the proportions between the areas that “cover” a cube and those of the same cube doubled, he realized that he could not apply “the science of cubes based on surfaces, but based on bodies [volumes]” (Codex Arundel, fol. 203r). He was thus aware that his formulation of the problem was inaccurate.
Leonardo finally arrived at a solution. He recorded in Codex Atlanticus, folios 218v-b, 231r-b, that in order to “avoid the difficulty of the mechanical system” taught by Plato and other ancients, he had
eliminated the compass and the imprecise movement of the rule in favor of placing two sides of the rectangle in the ratio b = 2a (thereby unknowingly reestablishing the ratio used in the Greek text). Step by step, then, his procedure was to join two faces of a cube to make a rectangle, connect the upper-left angle to the center of the right square, then carry the line obtained to the upper extension of side a; from the extreme point thus reached, he drew a line that, touching the upper-right angle of the rectangle, cut the extension of its base. On this line Leonardo was able to determine the measure of the edge of the doubled cube, a measure that is to be found four times in the figure thus constructed. His results are reasonably accurate; with a = 2, Leonardo obtained a cube root for 16 as little as 0.02967 in excess of its true value
Leonardo was unable to demonstrate the truth of his “new invention” save through criticism of the “mechanical test” of the compass, which after “laborious effort” helped the ancients to discover the proportional means—whereas now, Leonardo claimed, “without effort I use it to confirm that my experiment was confirmed by the ancients “—which, he added, “could not be done before our time.” What Leonardo had discovered was that the third proportional number, used to determine the second, coincides with a line that can be more accurately constructed inside the rectangle; he thereby simplified the classical procedure without in any way discussing its scientific demonstrations, which he took for granted. He must, however, have checked his results experimentally and judged them with his unerring eye.
Other pages of the Codex Atlanticus contain summaries of problems to be solved, as, for example, folio 139r-a, which is entitled “Curvilinear Geometrical Elements.” This, together with other titles- “On Transformation,” folio 128r-a; “Book on Equation,” folio 128r-a; and “Geometrical Play” ( “De ludo geometrico” ), folios 45v-a, 174v-b, 184v-c, and 259v-a —including the previously mentioned “Science of Equiparation” —might suggest that Leonardo had actually written systematic books and treatises that are now lost. But it is known that he cherished projects that he did not complete; and it is unlikely that he composed treatises using methods and forms different from those set out in, for example, Codex Forster I2. The titles of treatises projected but unwritten do provide some record of the stages of his mathematical work, in addition to which Leonardo has recorded some specific dates for his successes.
Leonardo’s discovery on St. Andrew’a night has already been mentioned: in the same manuscript, Codex Madrid, II, on folio 118r, he further mentioned that a certain invention had been given to him “as a gift on Christmas morning 1504.” In Windsor Collection, folio 19145, he claimed to have discovered, after prolonged research, a way of squaring the angle of two curved sides on Sunday, 30 April 1509. (Folio 128r-a of the Codex Atlanticus, the beginning of the “Book of Equation,” is concerned with the squaring of a “portion” of a single curved side and promises a second book devoted to the new procedure.)
Although the last discovery is exactly dated, Leonardo’s explanation of it is not very clear. (This is often the case in Leonardo’s work, since the manuscripts are marked by incomplete and fragmentary discussions, geometrical figures unaccompanied by any explanation of the construction, and the bare statements of something proved elsewhere.) His accomplishment is, however, apparent—he had learned how to vary a “portion” in infinite figures, decomposing and rebuilding it in many different ways. The examples drawn on the Windsor Collectionpage cited reappear, with variations, in hundreds of illustrations scattered or collected in the Codex Atlanticus. The reader can only be dismayed by their complexity and monotony.
The mathematical pages of the Codex Atlanticus (to which all folio numbers hereafter cited refer) provide an interesting insight into the late developments of Leonardo’s method. On folio 139r-a, among other places, he confirmed his proposal to vary “to infinity” one or more surfaces while maintaining the same quantity. It is clear that he received from the elaboration of his geometric equations the same pleasure that a mathematician derives from the development of algebraic ones. If, at the beginning of his research on the measure of curvilinear surfaces, his interest would seem to have been that of an engineer, his later work would seem to be marked by a disinterested passion for his subject. Indeed, the title of the last book that he planned— “Geometrical Play,” or “De ludo geometrico” —which he began on folio 45v-a and worked on up to the last years of his life, indicates this.
For example, one of Leonardo’s basic exercises consists of inscribing a square within a circle, then joining the resultant four “portions” in twos to get
“bisangoli.” The “bisangles” can then be broken up, subdivided, and distributed within the circumference to create full and empty spaces which are to each other as the inscribed square is to the four “portions” of the circumscribed circle. An important development of this is Leonardo’s substitution of a hexagon for the square, the hexagon being described as the most perfect division of the circle (fols. 111v-s and b [Figs. 3. 4]). This leaves six “portions” for subsequent operations, and Leonardo recommended their subdivision in multiples of six. (On the splendid folio 110v-a [Fig. 5], he listed and calculated the first fifty multiples of six, but through a curious oversight the product of 34 × 6 is given as 104, rather than 204: and all the following calculations are thus incorrect.)
To obtain the exact dimensions of submultiple “portions,” Leonardo devised the “square of proportionality” (fol. 107v-a), which he constructed on the side of the hexagon inscribed within the circle and then subdivided into the required number of equal rectangles. He next transformed one such rectangle into the equivalent square, the side of which is the radius of the submultiplied circle, the side of the corresponding inscribed hexagon, and the origin or chord of the minor “portions.” These were then joined in pairs (“bisangoli.”), combined into rosettes or stars, and distributed inside the circumference of the circle in a fretwork of full and empty spaces, of which the area of all full spaces is always equal to that of the six greater “portions” and the area of all the empty spaces to the area of the inscribed hexagon. The result is of undoubted aesthetic value and may be taken as the culmination of the geometrical adventure that began for Leonardo with Pacioli’s Divina proportione.
Although Leonardo remained faithful throughout his life to the idea of proportion as the fundamental structure of reality, the insufficient and inconstant rigor of his scientific thesis precludes his being considered a mathematician in the true sense of the word. His work had no influence on the history of mathematics; it was organic to his reflections as an artist and “philosopher” (as he wished to call himself and as he was ultimately called by the king of France). In his geometrical research he drew upon Archimedes and the ancients’ doctrine of lunes to develop the most neglected parts of Euclid’s work—curvilinear angles, the squaring of curvilinear areas, and the infinite variation of forms of unaltered quantity. Thus, in Leonardo’s philosophy, does nature build and infinitely very her forms, from the simplest to the most complex; and even the most complex have a rational structure that defines their beauty. It was Leonardo’s profound intuition that “Necessity... bridle and eternal rule of Nature” must have a mathematical foundation and that the infinite forms found in nature must therefore be the infinite variations of a fundamental “equation.”
Leonardo thus expressed a Pythagorean or Platonic conception of reality, common to many artists of the Renaissance. It was at the same time a revolutionary view, inasmuch as it identified form as function and further integrated into the concept of function the medieval notion of substance. Leonardo did not formulate his conception of reality in the abstract terms of universal scientific law. Rather, as the purpose of his painting was always to render the most subtle designs of natural structures, his last geometric constructions were aimed at discovering the mathematical structure of nature.
"Mathematics." Complete Dictionary of Scientific Biography. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/science/dictionaries-thesauruses-pictures-and-press-releases/mathematics
"Mathematics." Complete Dictionary of Scientific Biography. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/science/dictionaries-thesauruses-pictures-and-press-releases/mathematics
Modern Language Association
The Chicago Manual of Style
American Psychological Association
The ancient Greeks, building upon earlier work by the Egyptians and Babylonians, transformed mathematics into an integral part of liberal education during the fourth century b.c.e. The academic disciplines (mathemata ) of arithmetic and geometry were then sharply distinguished from the menial rules of practical calculation (logistica ) necessary for the everyday work of artisans, tradesmen, and money changers. Arithmetic studies the properties of whole numbers such as divisibility and factorization by primes, while geometry studies properties of magnitudes such as congruence, similarity, and proportion. Both are concerned with aspects of measurement, understood in a broad sense, but arithmetic deals with discrete quantities (multitudes of a unit) while geometry considers continuous magnitudes (line segments, planar areas, and solids).
The notion of a ratio (logos )—the size of one thing relative to another—plays a major unifying role, yet many advances in both classical and modern mathematics have sprung from the inherent tension between the continuous and the discrete. The tension we may sense today between our flowing, or continuous, temporal existence and the discrete digital world of the modern computer reveals the distinction between these cooperating opposites and suggests the possibility of a powerful interaction.
Pythagorean and Platonic connections
Measurement is made by expressing a ratio of the thing to be measured to a second thing, usually to a standard unit that is more familiar—nowadays taken to be a meter, second, liter, or the like. In the fifth century b.c.e. the Pythagoreans made much of the fact, said to have been well known already in China, that ratios of small whole numbers in arithmetic are related to harmonious musical intervals. Thus, to speak in modern terms, the easily recognizable octave is produced by two pitches in the ratio 2:1, while the ratio 3:2 yields a musical fifth, and 5:4 determines a third. Our ability to sense the ratios between pitches in music and their identification with ratios between numbers may have helped inspire the Pythagorean dictum, "All is number." By this is meant, presumably, that integers and their ratios (logoi ) have the power to express underlying harmonies in nature that will be hidden from those ignorant of mathematics. Perhaps the most familiar modern (nineteenth-century) example of this power is the order induced in the periodic table by the assignment of an appropriate atomic number—an integer—to each basic chemical element.
Pythagoras (c. 560–c. 495 b.c.e.) is traditionally credited with putting together two Greek words to coin the word philosophy ("love of wisdom") and with objectifying the notion of order by taking the Greek word for it, cosmos, and giving this name to the universe. Despite his mystical leanings, Pythagoras is sometimes seen as the founder of Western science because his followers continually promoted mathematics as a means of finding order and harmony in the natural world. The Pythagoreans used the connection between arithmetic and the science of music to develop a musical scale based upon just intonation (and they appreciated the difficulties that were finally ameliorated in the eighteenth century by well-tempering). They also noted the more obvious connection between geometry and astronomy. Stars are like points and the constellations are formed by line segments joining pairs of stars—so that problems in navigation may become problems in geometry.
Aspects of astronomy are thus naturally modeled by geometry, just as some properties of music are modeled by arithmetic. But these sciences deal with things in motion—the rotating celestial sphere, the vibrating strings of a lyre—whereas the mathematics of arithmetic and geometry deal with idealized static objects such as whole numbers and stationary line segments. A striking analogy is due to Archytas (fifth century b.c.e.), a latter-day Pythagorean: Arithmetic is to Music as Geometry is to Astronomy. Almost a thousand years later these four mathemata became collectively known as the quadrivium, a name given them by the Roman philosopher Boethius (c. 480–c. 524), although his practical countrymen prized logistica more highly. Eventually, the quadrivium became an integral part of the classical liberal arts in medieval European universities.
The word ratio has long been associated with measured study and hence with reason itself, while logos, the Greek word for ratio, has taken on a wide-ranging religious significance as well. The unit generates all numbers, whose logoi, according to the Pythagorean faith, have the power to measure (know) everything in the cosmos. Thus, for the Pythagoreans, the logos is a mathematical means of expressing cosmic harmony. The variety of basic roles that the logos plays in mathematics, science, philosophy, liberal education, and religion is suggested by the wide usage of such cognate terms as logic and analogy, and the host of academic words with the suffix -logy. Pythagoras seems to have been drawn toward a holistic view encompassing all these spheres, but their explosive growth would make this view ever more difficult to sustain.
Plato (c. 427–347 b.c.e.) became familiar with Pythagorean doctrines through Archytas and endorsed their emphasis upon mathematics and their insistence upon the same basic education for men and women. Plato thought that our power of direct apprehension of idealized mathematical forms like the circle might be refined to help us apprehend such things as truth, beauty, and goodness—Platonic forms whose properties, moreover, might also be studied by deductive reason. If, as Plato insisted, mathematics helps train the mind to rise from the apparent and ephemeral to the true and permanent, then its study should promote both science and religion. Indeed, when Jewish and early Christian thinkers began to view Platonic forms as ideas in the mind of God, an important link was established between Platonism and Judeo-Christian thought.
Plato even suggested that the immortality of the soul is intimated by geometry, especially when learned by the Socratic method, where it may appear that we are remembering—rather than learning anew—connections between geometric forms that we had somehow forgotten. To Plato this implies the existence of some earlier state of fuller communion with the forms. We must therefore (re)search in order to remember where we came from. In the midst of this perhaps fanciful argument, however, is Plato's admonition with which all modern scientists would agree, that in research we must look beyond mere sensory impressions. The laws governing the stars are fairer than the stars.
Plato comes close to espousing a religious motivation for scientific inquiry by taking the position, ardently embraced much later by Johannes Kepler (1571–1630), that the universe is, in some sense, an expression of the nature of its creator. Many researchers in mathematics and science, including some to whom Plato's views might appear naïve, have occasionally expressed a belief that they are, so to speak, reading the mind of God. "We cannot read [the great book of Nature]," wrote Galileo Galilei (1564–1642), "unless we have first learned the language and the characters in which it is written .… It is written in mathematical language."
Mathematics as a human endeavor
A quick excursion sketching the rise of seventeenth-century calculus may help to put a human face upon the making of mathematics. In the early Middle Ages a slowly growing quantitative sense began to evolve, later bolstered by the convenience of working with numerals developed in India that would eventually be used in Indo-Arabic decimal fractions. The preservation, refinement, and advancement of Greek and Indian ideas during the rising tide of the Islamic movement led to the development of algebra—the very word for which comes from Arabic (al-jabr ) and has somewhat the sense of "rearrangement." Mohammed ibn Musa al-Khwarizmi (c. 780–c. 850 c.e.) began his influential algebra book of the ninth century by praising God for bestowing upon man the power to discover the significance of numbers. The word algorism (later, and more commonly, algorithm ) derives from the author's patronymic.
Calculus may be seen as a post-Renaissance blending of these developments with a new propensity to think in terms of the intuitive notions of variable, function, and limit, coupled with the development of analytic geometry, which unites large parts of algebra and geometry through the use of Cartesian coordinates. The joining together of such diverse ideas gave mathematics (and physical science) an astounding vitality in the seventeenth century. Isaac Newton (1642–1727) and Gottfried Wilhelm Leibniz (1646–1716) were the first to see the calculus as a unified whole that studies the interplay between functions and derivatives. This interplay casts light upon previously perplexing philosophical and scientific problems concerning the notions of instantaneous velocity and acceleration, gives new and efficient ways to find optimal solutions to many types of problems, and provides natural and effective methods for solving equations and for finding lengths of curves and sizes of areas and volumes. Newton used the calculus, together with his physical laws (axioms) of motion, to show how Kepler's observations about planetary motion follow from the law of gravity.
The scientific successes of "reason" inspired attempts to extend its methods beyond science. The philosophy of René Descartes (1596–1650), who developed analytic geometry, drew a clear distinction between reason and ecclesiastical authority. Descartes—and, later, both Newton and Leibniz—made serious, rational contributions to theology.
The early reaction to such efforts by Blaise Pascal (1623–1662), who had helped develop several nascent branches of mathematics (probability, projective geometry, and calculus), would be telling. Repelled by the idea of a god "of philosophers and scholars," Pascal abandoned everything for theology, returning to mathematics only once, in 1658, when he published some pretty results about the cycloid that calculus students still study. Pascal's writings exalting heart over mind ("Humble thyself, impotent reason!") would be seen to help inspire romanticism during a much later period, which left in its wake a great gap between the sciences and the humanities. Mathematics would find itself stretched ever more tenuously across this gap.
Ironically, the great mathematical advances of the so-called Age of Reason owe more to the imagination and intuition of mathematicians than to their logic and reason. The development of calculus was facilitated, as its developers were well aware, by a relaxation of the strictures of rigorous geometrical methods that proceed from precise definitions and clear first principles. Instead, mathematicians embraced loose numerical methods allowing unending decimal expansions and other infinite sums —thus going far beyond the finite arithmetic of the Greeks. This attitude led both to unprecedented progress in research and to occasional confusion and contradiction. The logical difficulties encountered were principally due to the suggestive, but slippery, notion of an infinitesimal, which was supposed to be a discrete entity that retained qualities of the continuous. Not until the precise formulation of the notion of a limit by Augustin-Louis Cauchy (1789–1857) and others were these difficulties decisively overcome.
In the meantime the shaky foundations of the calculus were exposed by the philosopher George Berkeley (1685–1753), an Anglican bishop, who published in 1734 a witty and acerbic essay called The Analyst, where he famously (and justly) ridiculed infinitesimals as "ghosts of departed quantities." His subtitle—To an Infidel Mathematician —reflects his purpose, to rebuke mathematicians of his day by showing that their discipline contains mysteries no less subtle than those of theology. Perhaps the best eighteenth-century advice to those who would learn the calculus was given by the French mathematician Jean le Rond d'Alembert (1717–1783): "Go forward, and faith will follow."
The search for coherence: Euclid's legacy
The axiomatic method consists in somehow intuiting basic accepted facts (axioms) about a discipline and logically deducing all else. Axiomatization of the real number system in order to derive rigorously the results of calculus—and thereby answer criticisms of Berkeley and others—did not occur until the late nineteenth century, when finally rational sense was made out of the huge mass of calculus-inspired research largely due to, but overly dependent upon, an unbridled trust in mathematical intuition. Pressure to provide such coherence to a discipline usually comes only when its elements have been basically established and it is time to synthesize a great web of connections into a consistent body of work.
The most celebrated example of such a synthesis is Euclid's Elements, which appeared in Alexandria around 300 b.c.e. Here, the towering edifice of geometry appears to be solidly built up by logic, unerringly applied to a small number of "self-evident" facts that we are willing to accept at the outset. The Elements is doubly valuable, however, because its study—with the help of a skilled tutor—will also impart the dual thinking techniques of analysis and synthesis that are indispensable in achieving rational coherence in any discipline. Analysis, as Plato used the term, refers to the testing of the truth of a proposition by deducing implications from it. If one of these implications is false, then the proposition must of course be false (reductio ad absurdum ); otherwise, one hopes to deduce a consequence that is self-evidently true, and a synthetic proof is said to be obtained if the steps in this deduction can be reversed so as to obtain the given proposition as a logical consequence of self-evident truths.
The power of such analysis had been strikingly felt when the central tenet of the Pythagorean faith—the proposition that every ratio can be expressed as a ratio of whole numbers—was tested and proved false by reductio ad absurdum : If the proposition were true, then the ratio of the diagonal of a square to its side would be expressible as a ratio of integers. But this implies (to use modern terminology) that the square root of two is rational, which leads to contradiction, as first noted by the Pythagoreans about 430 b.c.e. Perhaps partly as a consequence of the limitations of arithmetic revealed by this shock, the Greeks came to look more favorably upon geometry, which Euclid attempted to put on a firm, rational foundation. It was not, however, until the nineteenth century that the foundations of mathematics were seen to require substantially more careful attention than Euclid had provided.
Archimedes (287–212 b.c.e.) effectively invented mathematical physics by giving an axiomatic development to hydrostatics, beginning by deriving from simple axioms the fundamental law of the lever. He then went on to discuss rigorously how to find centers of gravity of complicated solids, solving problems that are routinely handled today, but only by using calculus in a fairly sophisticated way. Mathematical physics came of age with Newton in the seventeenth century, and physicists today who seek an axiomatic basis for quantum mechanics follow in this tradition.
Western civilization has absorbed over a thousand editions of the Elements, whose influence is sometimes subtly felt. As noted by Bertrand Russell in Wisdom of the West (1959), a revealing moment in the Enlightenment occurred in 1776 when Benjamin Franklin spotted the phrase "sacred and undeniable" in the penultimate draft of the American Declaration of Independence and suggested that "self-evident" be substituted. A revolutionary list of moral and political rights of individuals was thus introduced to the world not with a religious invocation, but with an implicit salute to Euclid: "We hold these truths to be self-evident."
In contrast to Euclid, who presumably thought that his basic axioms about geometry were obviously true, both Nicolaus Copernicus (1473–1543) and Kepler on occasion spoke of an "axiom" of astronomy as a provisional truth that one might someday hope to establish. Axioms of empirical disciplines may alternatively be viewed simply as facts to be tested by analyzing their implications to see how well they model reality. The scope of axiomatics was decisively extended beyond the sciences when Baruch Spinoza (1632–1677) set down philosophical axioms and deduced the consequences in his Ethics. Systematic theology embraces a similar method of exposition when it exhibits the collective implications of basic religious tenets as a rationally coherent system.
In light of these modern points of view, the existence of non-Euclidean geometry—a startling development when Euclid was thought to represent "absolute truth"—is now seen as unsurprising. If "light rays" of physics are to be modeled by "lines" from geometry, why should the lines satisfy Euclid's axioms, now that we know of consistent mathematical structures developed by N.I. Lobachevsky (1792–1856) and G.F.B. Riemann (1826–1866) in which "points" and "lines" can be defined in such a way that Euclid's parallel postulate fails while the other axioms hold? Modern physicists routinely use non-Euclidean geometry to model the cosmos.
Faith in Euclid's absolute truth is thus clearly unfounded. In fact, modern mathematicians, when presented with axioms defining a vector space or some other mathematical structure, typically do not ask whether the axioms are "true," but instead set about deducing theorems that must hold for every structure satisfying the given axioms. The existence of foundational mathematical structures such as the real number system, out of which vastly complicated, useful, and interesting structures can be constructed, is generally regarded as unproblematic by working mathematicians. Mathematical logicians, on the other hand, study foundational questions intensely, usually basing their work upon the theory of sets. The surprising "incompleteness" theorem proved in 1931 by Kurt Gödel (1906–1978) demonstrated unforeseen limitations in the power of the axiomatic method and has sparked further study.
Modern mathematics has expanded far beyond the study of calculus and differential equations that has helped scientists to cope with continuous processes and, as well, beyond the developments in probability and statistics that have advanced the mathematical treatment of discrete processes. Carl Friedrich Gauss (1777–1855), perhaps the greatest modern mathematician, made deep contributions to almost all areas of the subject. By the early twentieth century, however, the scope of mathematics had grown so large that no single mathematician could claim to have mastered more than a small portion of the field.
The attraction of mathematics as a worthy human interest lies in discovering and establishing surprising and interesting connections between apparently disparate mathematical ideas that have not yet been fully comprehended. Mathematicians pursue useful goals, but while attaining them they often meet new ideas without immediate practical value that are appealing in their own right. Sometimes, intriguingly, these ideas prove to be surprisingly useful, whereas their initial appeal is only aesthetic in the sense that they seem to call for an imaginative synthesis expressed with clarity and style. "The love of a subject in itself and for itself, where it is not the sleepy pleasure of pacing a mental quarter-deck, is the love of style as manifested in that study," said the mathematician and philosopher Alfred North Whitehead (1861-1947).
Whitehead contended that pure mathematics, in its modern developments, may claim to be the most original creation of the human spirit. A similar claim might be made in connection with an often overlooked feature of its ancient development. Howard deLong perceptively observes in A Profile of Mathematical Logic (1970) that early Greek interest in abstract thought owes much to the expansion, from the physical to the mental arena, of the familiar spirit of competition and play. The sportive aspect of the play of the mind, which animates mathematics in its purest form, is bound up with this remarkable growth of the human spirit so long ago.
In A Mathematician's Apology (1940), G. H. Hardy (1877-1947) bases his defense upon aesthetic grounds and confesses a genuine passion for his calling. Something akin to Hardy's passion is known to all who have experienced the revelation that follows a spell of total concentration and have found themselves echoing in their own tongue Archimedes's famous cry of eureka ("I have found it"). Mathematicians count heavily upon the spirit that compels such engagements and articulates such an involuntary cry of delight. What transpires under its spell may even seem like something done to—rather than by—a mathematician. No one seems ever to have argued, however, that a calling to an Archimedean engagement implies the existence of a "caller." Attitudes of mathematicians toward religion range from Whitehead's well-known sympathy for the religious experience to Hardy's strongly opposing view.
See also Algorithm; Galileo Galilei; Plato
bell, eric temple. the development of mathematics. new york: mcgraw-hill, 1945.
berggren, j. l. episodes in the mathematics of medieval islam. new york: springer-verlag, 1986.
Burkert, Walter. Lore and Science in Ancient Pythagoreanism, trans. Edwin L. Minar Jr. Cambridge, Mass.: Harvard University Press, 1972.
Burtt, Edwin Arthur. The Metaphysical Foundations of Modern Physical Science, Rev. edition. New York: Harcourt, 1932.
Courant, Richard, and Robbins, Herbert. What is Mathematics? An Elementary Approach to Ideas and Methods. Ed. Ian Stewart. New York: Oxford University Press, 1996.
Crosby, Alfred W. The Measure of Reality: Quantification and Western Society, 1250–1600. Cambridge, UK: Cambridge University Press, 1997.
Davis, Philip J., and Hersh, Reuben. The Mathematical Experience. Boston: Birkhäuser, 1981.
DeLong, Howard. A Profile of Mathematical Logic. Reading, Mass.: Addison-Wesley, 1970.
Field, J. V. Kepler's Geometrical Cosmology. Chicago: University of Chicago Press, 1988.
Grant, Hardy. "Mathematics and the Liberal Arts." College Mathematics Journal 30 (1999): 96–105, 197–203.
Grattan-Guinness, Ivor. The Fontana History of the Mathematical Sciences. London: Fontana Press, 1997.
Hardy, G. H. A Mathematician's Apology. Cambridge, UK: Cambridge University Press, 1940.
Hersh, Reuben. What is Mathematics, Really? New York: Oxford University Press, 1997.
Kline, Morris. Mathematics in Western Culture. Oxford: Oxford University Press, 1953.
Lloyd, G.E.R. "Science and Mathematics." In The Legacy of Greece, ed. Moses I. Finley. Oxford: Clarendon Press, 1981.
Marrou, Henri Irénée. A History of Education in Antiquity, trans. George Lamb. New York: Sheed and Ward, 1956.
Priestley, William M. Calculus: A Liberal Art. New York: Springer-Verlag, 1998.
Russell, Bertrand. Wisdom of the West: A Historical Survey of Western Philosophy in Its Social and Political Setting. Garden City, N.Y.: Doubleday, 1959.
Stein, Sherman. Archimedes: What Did He Do Besides Cry Eureka? Washington, D.C.: Mathematical Association of America, 1999.
Westfall, Richard S. Never at Rest: A Biography of Isaac Newton. Cambridge, UK: Cambridge University Press, 1980.
Whitehead, Alfred North. "Mathematics as an Element in the History of Thought." In Science and the Modern World. New York: Macmillan, 1925.
Whitehead, Alfred North. "The Aims of Education." In The Aims of Education and Other Essays. New York: Macmillan, 1929.
w. m. priestley
"Mathematics." Encyclopedia of Science and Religion. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/education/encyclopedias-almanacs-transcripts-and-maps/mathematics
"Mathematics." Encyclopedia of Science and Religion. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/education/encyclopedias-almanacs-transcripts-and-maps/mathematics
Modern Language Association
The Chicago Manual of Style
American Psychological Association
MATHEMATICS. In his "Mathematical Praeface" to the Elements of Euclid of 1570, Elizabethan polymath John Dee (1527–1608) expounded on the importance and utility of mathematics to all fields of human endeavor. Field after field, he argued, from those we would find obvious (like navigation) to those we would find arcane (astrology) or outlandish (thaumaturgike), would benefit from the systematic application of mathematics. Although Dee was promoting a role for mathematics that was just taking shape during his lifetime, his vision did indeed prove prophetic. Undoubtedly, one of the most striking features of intellectual life in the early modern period is the startling expansion in the scholarly and practical domains covered by mathematics.
MATHEMATICS AND ITS CRITICS
Prior to the sixteenth century, mathematics in the West was a well-defined and circumscribed field consisting of two main branches: arithmetic, which had obvious practical applications in commerce and banking, and Euclidean geometry, which had few practical uses apart from astrology and, occasionally, optics. While mathematics was generally admired for the certainty and universality of its claims, the world as a whole, in keeping with Aristotelian tradition, was distinctly unmathematical, being governed by qualitative rather than quantitative rules. By the eighteenth century this view had been turned on its head: not only was an ever increasing number of fields being subjected to mathematical analysis, but the world itself had come to be understood as fundamentally mathematical in nature.
These developments were by no means a foregone conclusion in the sixteenth century; if anything, they seemed highly unlikely. For mathematics, far from being universally acknowledged as central to the intellectual and technological life of the age, was at the time being challenged as never before from various quarters.
Conservative critics, defending the established order of knowledge, challenged the truth claims of mathematics as incompatible with prevailing Aristotelian standards. Prominent among them were Italian philosopher Alessandro Piccolomini (1508–1578) and the Jesuit Benito Pereira (c. 1535–1610), who challenged the explanatory value of mathematical proofs. Proper scientific explanations, they argued with perfect Aristotelian orthodoxy, were causal arguments, proceeding from the true essence of objects to their properties. Mathematics, however, had no proper subject matter at all, and it could say nothing about the essential nature of physical objects. All mathematics could do was point to logical relations between hypothetical propositions, and thus it was a fundamentally inferior type of knowledge.
Mathematics did not fare much better among the new generation of reformers, who sought to uproot the Aristotelian framework and replace it with new conceptions of knowledge. In breaking the hold of Aristotelian standards on contemporary natural philosophy, many reformers found little use for mathematics. Its rigid procedures and unchanging truths seemed an unpromising basis for a radical reform of knowledge. The study of nature, many argued, should proceed through unmediated experience and systematic trial and error. The rigorous deductive reasoning characteristic of mathematics could only lead to predetermined and unvarying results. The maverick Italian philosopher Giordano Bruno (1548–1600), for example, argued that mathematics could only describe the external appearance of phenomena, but never penetrate their hidden secrets. Similarly, in England, Francis Bacon (1561–1626) in the Novum Organum insisted that mathematics "should only give limits to natural philosophy, not generate or beget it."
Mathematics did, of course, have many prominent defenders, ranging from the Jesuit Christopher Clavius (1537–1612) to Galileo Galilei (1564–1642) and René Descartes (1596–1650), each insisting in his way on the essential role of mathematics in any meaningful scheme of knowledge. But the very range of suggestions these and other natural philosophers offered for the role of mathematics in the general scheme of knowledge makes it clear that the fundamental questions raised by the challenges to mathematics did not go away. The critiques raised the fundamental questions that would guide the development of mathematics throughout the early modern period: what is mathematics, and how is it related to the natural world? The history of mathematics in this period is the story of the various answers that were given to these questions.
THE WORLD AS MIRROR OF MATHEMATICS
The fundamental answer to the critiques of mathematics was given by Galileo in his Assayer of 1623, when he wrote that the universe "is written in the language of mathematics." Galileo was expressing the widely held notion among practitioners that mathematics, far from being devoid of all subject matter as claimed by its critics, had the entire natural world as its object. But while most agreed that mathematics was closely integrated with the physical world, the precise nature of their relationship remained a matter of intense dispute.
One leading approach accepted the classical view of mathematics as a rigorous deductive science of number and magnitude. The universal laws of mathematics, in this view, were the fundamental laws that governed material reality. Thus when one is investigating mathematical and geometrical relationships, one is in fact investigating the basic structure of matter.
The chief promoter of this approach was René Descartes, who viewed mathematics as a fundamental rational law laid down by God for his creation. Once God, the divine architect, had set in motion his perfectly rational universe, it would henceforth operate forever in accordance with mathematical principles. Mathematical investigations are accordingly studies of the divine plan for the natural world, and the world is the direct expression of abstract mathematical principles.
Descartes's scientific work directly reflects this fundamental understanding. In his Meditations and the Discourse on Method, Descartes insisted that by following strict rational rules one could, in principle, follow God and "create" the world step by step. Rigorous rational deduction was therefore the key to knowledge of the natural world, and Descartes proceeded to demonstrate the effectiveness of this principle in short treatises on optics and the colors of the rainbow, which were attached to the early editions of the Discourse.
Descartes's most important contribution to mathematics was also a reflection of his religious and philosophical views. The Geometry was the founding text of analytic geometry and, like Descartes's other scientific treatises, was published as an appendix to the Discourse. In essence, the new field demonstrated the fundamentally mathematical nature of the physical world. Abstract algebraic relationships (that is, y =3Dax +b ) were shown to have actual physical manifestations (in this case, a straight line). In pointing out these hidden relationships Descartes was unveiling the divine mathematical laws that governed the world. Mathematics, in this view, was a perfectly rational and logical web of relationships that determined the nature of physical reality.
MATHEMATICS AS THE MIRROR OF THE WORLD
While Descartes was honing his analytical geometry, a very different mathematical approach, based on a very different understanding of the relationship of mathematics to the world, was being developed elsewhere in Europe. The use of infinitesimals, or "indivisibles" as they were most commonly called, in calculating lengths, areas, and volumes of geometrical figures was the most dramatic and important development in seventeenth-century mathematics. Fundamentally, the procedure involved reducing geometrical objects into an infinite number of their component parts: lines were viewed as an infinite collection of points, surfaces as made up of an infinite number of lines, and solids of surfaces. The length, area, or volume of the figure as a whole would then be calculated as the infinite sum of its elementary components.
The fundamental assumptions underlying this procedure were highly questionable and seemed to fly in the face of paradoxes that had been well known since antiquity. Descartes, who was much concerned with the perfect rational structure of mathematics, rejected infinitesimals and excluded them from the bounds of mathematics. Nevertheless, the effectiveness of this approach in reaching correct and previously unknown results was undeniable, and it was embraced enthusiastically by mathematicians across Europe. Thomas Hariot (1560–1621) and John Wallis (1616–1703) in England, Galileo and his disciples Bonaventura Cavalieri (c. 1598–1647) and Evangelista Torricelli (1608–1647) in Italy, Johannes Kepler (1571–1630) in Germany, and Blaise Pascal (1623–1662) in France were but a few of the most prominent practitioners of the new methods.
The infinitesimalist mathematicians' view of the relationship between mathematics and the world was, in many ways, the reverse of Descartes's approach. Whereas Descartes assumed that pure mathematical relationships governed the structure of matter, the infinitesimalists modeled mathematics on an intuition of the physical world. Geometrical bodies could be broken down into their indivisible components because, by analogy, physical bodies could be divided in the same way. As Cavalieri, whose Geometria Indivisibilibus was the most influential book about the theory and practice of indivisibles, wrote in his introduction, "plane figures should be conceived by us in the same manner as cloths are made up of parallel threads, and solids are in fact like books, composed of parallel pages."
The infinitesimalists' approach to mathematics drew much of its inspiration from the empiricist experimental philosophy that was gaining ground throughout Europe at this time. Much as the experimentalists sought to penetrate through external appearances and bring to light the inner structure of the material world, the new mathematicians sought to uncover the "inner structure" of geometrical figures, which in their view was the true cause of all geometrical relationships. Both groups, furthermore, adopted the imagery of geographical exploration as their guiding metaphor, presenting themselves as adventurous explorers on the hazardous seas of mathematics and natural philosophy.
Like their experimentalist colleagues, the infinitesimalists made the discovery of new and correct results the true test of their success, and like them they often adopted a methodology of trial and error in searching for the correct answers. This "experimental" approach to mathematics accounts for the infinitesimalists' relative disregard for the niceties of mathematical rigor and consistency. In their view, if a method produces true results, it must be fundamentally correct, and there was no point in spending too much time on clarifying the finer logical points. The most outspoken and unapologetic proponent of this approach was probably John Wallis, who advocated applying the experimentalists' "method of induction" to mathematics, in preference to traditional rigorous mathematical deduction.
While the new infinitesimalist approaches were in wide use in the seventeenth century, they were also seriously challenged in certain influential quarters. The issues at stake were not purely mathematical in nature, but involved wide-ranging philosophical, religious, and even political considerations. For one thing, the new approaches carried the taint of atomism—the ancient view that all material objects could be reduced to indivisible particles called "atoms" (from the Greek atomos, 'uncuttable'). Indeed there was no denying that the fundamental insights of the new mathematics and even its name strongly hinted that infinitesimalist mathematics was nothing but an expansion of atomism into mathematics.
This in turn led to a deeper difficulty: the suspicion that the new mathematics was based not just on atomism, but on materialism, which is the notion that the world was composed of nothing but matter, leaving no room for a providential spiritual realm. Geometry, after all, was often taken to be the very model of pure and abstract reasoning that governs the natural world. The notion that geometry itself, far from governing physical reality, is in fact a generalization of it, seemed to turn the proper hierarchy of mind and matter on its head, and challenge those who insisted that the world was ruled by a higher intelligence.
Finally, there was the question of the certainty of knowledge. Infinitesimalist mathematics seemed to be based on nothing more than a loose analogy with the physical world, trial and error, and a willful disregard for logical paradox. If even mathematics, that paragon of certain and unchanging knowledge, turned out to be so unsound, what hope could other, less rigorous fields have of attaining true knowledge?
In an age that still considered science, philosophy, and theology to be part of a single unified worldview, these criticisms cut deep. Descartes, concerned about the rational certainty of his method, excluded infinitesimal methods from proper mathematics. Even more significant was the reaction of the Society of Jesus, the most prominent religious order in Europe and the guardian of Catholic orthodoxy. Despite having among their members some of the most important and creative mathematicians in Europe, the Jesuits banned the teaching of infinitesimals from their educational institutions.
THE CALCULUS AND BEYOND
The invention of the calculus by Isaac Newton (1642–1727) and Gottfried Wilhelm Leibniz (1646–1716) in the late seventeenth century was the most important development of early modern mathematics, and it quickly transformed the landscape of the field. The calculus took as its starting point the many practical techniquesand results achievedbythe infinitesimalist mathematicians, both in the determination of surfaces and volumes of geometrical figures, and in the calculation of tangents of curves. The fundamental insight of the calculus was that these two operations, calculating tangents (differentiation) and calculating surfaces and volumes (integration), are in fact the inverse of one another.
The importance of this discovery becomes clear when curves and geometrical figures are presented not as independent geometrical figures, but as expressions of algebraic formulations in the manner of analytic geometry. When presented in this manner, differentiation no longer deals with geometrical properties of particular geometrical objects, but becomes an abstract and general relationship between algebraic expressions. For example, one can say that the parabola expressed as y =3Dx 2 describes the area under the line y =3D 2x, and that y =3D 2x expresses the tangent of the parabola y =3Dx 2 at any point. But the relationship between the two algebraic expressions is no longer dependent on their particular geometrical representation: y=3D 2x is simply the differential of y =3Dx 2 and y =3Dx 2is the integral of y =3D 2x. The inverse relationship is a fundamental relationship between abstract algebraic expressions (or functions, as they came to be called later in the eighteenth century) independent of any particular geometric representation. Both Newton and Leibniz were quick to reduce the transformations back and forth between differentials and integrals (or "fluents" and "fluxions" as Newton called them) into systematic and reliable algorithms.
In the calculus, the two competing traditions of seventeenth-century mathematics were brought together. Although it clearly grew out of the techniques developed by infinitesimalist mathematicians, the calculus was equally dependent on the algebraic formulations of analytic geometry. Furthermore, the calculus detached the infinitesimalist methods from their dependence on an intuition of physical reality. If the older approaches could be viewed as growing out of an atomistic intuition of material reality, the calculus restored the primacy of abstract logical relationship to mathematics. Particular geometric figures could be seen as examples of these abstract algebraic relations, but these relations themselves were no longer dependent on any particular physical or geometrical instances.
MATHEMATICS IN THE ENLIGHTENMENT
The calculus, which positioned mathematics as both an abstract system of algebraic relationships and as intimately connected to the physical world, set the tone for eighteenth-century views of the field. The most eloquent formulation of attitudes toward mathematics in the Enlightenment was given by Jean Le Rond d'Alembert (1717–1783), in his "Preliminary Discourse" to the Encyclopédie, published in 1751. Whereas seventeenth-century practitioners viewed mathematics as either a generalization of material intuitions or as a universal law governing nature, for d'Alembert mathematics was necessarily both. On the one hand, he insisted, mathematics is clearly an abstraction from nature: it is nothing but the fundamental relationships among natural objects that are arrived at when the material features such as texture and color are stripped away. On the other hand, d'Alembert argued, the laws of nature are simply elaborations of mathematical relationships, arrived at by restoring matter's physical attributes to abstract disembodied mathematics. The world, then, according to d'Alembert, is fundamentally mathematical: mathematics is derived from the physical world, while the physical world is an extension of mathematical principles.
This view of an essentially mathematical universe manifested itself in the inclusion of an evergrowing number of scholarly fields that were brought under the sway of mathematics in this period. Years before, Galileo had already introduced mathematics into the study of falling bodies and statics, and he and his followers extended his work to the field of ballistics. Cartographic work was thoroughly mathematized in the seventeenth century, and Kepler and Newton transformed the ancient science of astronomy by extending the reach of mathematics from merely describing the motions of the heavens into the realms of celestial mechanics. In optics, Descartes's ingenious application of his "method" enabled him to explain such phenomena such as the formation of the rainbow with mathematical precision.
In the eighteenth century, a new generation of mathematicians, including the Bernoullis, Leonhard Euler (1707–1783), d'Alembert, Joseph-Louis Lagrange (1736–1813), and Pierre-Simon Laplace (1749–1827), among others, added increasingly precise theories of mechanics and argued famously about proper mathematical representations of abstract concepts such as vis viva, and concrete problems like the vibrations of strings and hydromechanics. Other fields that were seemingly less malleable for quantitative analysis, like doctrines of chance, or probability, and also the "moral" sciences, known today as social sciences, were also brought under the sway of mathematics, particularly in the work of the marquis de Condorcet (1743–1794). Institutionally, the eighteenth century saw mathematics gain a quickly growing foothold in newly established engineering and military colleges.
Unfortunately for d'Alembert and other promoters of the mathematical universe, rigorous mathematical analysis could not be easily derived from physical reality. Inconsistencies and paradoxes seemed to crop up repeatedly when mathematics was modeled on perceptions of the physical world, as critics of infinitesimal methods and the calculus, such as George Berkeley, were quick to point out. At the same time, the physical world proved to be far more varied and surprising than could ever be derived from bare mathematical principles.
Early in the nineteenth century the interdependence of mathematics and the physical world, so eloquently presented by d'Alembert, came to an end. In their work on the foundations of the calculus, mathematicians Bernhard Bolzano (1781–1848) and Augustin-Louis Cauchy (1789–1857) reformulated mathematical analysis as rigorous and logically self-consistent, a goal that had eluded their Enlightenment predecessors. They did so, however, at a price that would have seemed too heavy for d'Alembert and his colleagues: pure mathematics, in their scheme, was finally divorced from physical reality, existing in its self-enclosed Platonic realm.
The course and development of mathematics in the early modern period had come full circle. Criticized in the sixteenth century for being irrelevant to the developing sciences, mathematicians at the time had responded by forming a closer bond than ever before between their field and the physical world. Two and a half centuries later, in an attempt to save the identity and coherence of their field, mathematicians chose to sever those same conceptual ties, and establish mathematics in its own separate and insular domain.
See also Alembert, Jean Le Rond d' ; Aristotelianism ; Astronomy ; Bacon, Francis ; Cartesianism ; Descartes, René ; Empiricism ; Euler, Leonhard ; Lagrange, Joseph-Louis ; Leibniz, Gottfried Wilhelm ; Logic ; Newton, Isaac ; Scientific Method .
Alexander, Amir. Geometrical Landscapes: The Voyages of Discovery and the Transformation of Mathematical Practice. Stanford, 2002.
Boyer, Carl B. The History of the Calculus and its Conceptual Development. New York, 1959.
Daston, Lorraine J. Classical Probability in the Enlightenment. Princeton, 1988.
Dear, Peter. Discipline and Experience: The Mathematical Way in the Scientific Revolution. Chicago, 1995.
Hankins, Thomas L. Science and the Enlightenment. Cambridge, U.K., and New York, 1985.
"Mathematics." Europe, 1450 to 1789: Encyclopedia of the Early Modern World. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/history/encyclopedias-almanacs-transcripts-and-maps/mathematics
"Mathematics." Europe, 1450 to 1789: Encyclopedia of the Early Modern World. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/history/encyclopedias-almanacs-transcripts-and-maps/mathematics
Modern Language Association
The Chicago Manual of Style
American Psychological Association
mathematics, deductive study of numbers, geometry, and various abstract constructs, or structures; the latter often
the features common to several models derived from the empirical, or applied, sciences, although many emerge from purely mathematical or logical considerations. Mathematics is very broadly divided into foundations, algebra, analysis, geometry, and applied mathematics, which includes theoretical computer science.
Branches of Mathematics
The term foundations is used to refer to the formulation and analysis of the language, axioms, and logical methods on which all of mathematics rests (see logic; symbolic logic). The scope and complexity of modern mathematics requires a very fine analysis of the formal language in which meaningful mathematical statements may be formulated and perhaps be proved true or false. Most apparent mathematical contradictions have been shown to derive from an imprecise and inconsistent use of language. A basic task is to furnish a set of axioms effectively free of contradictions and at the same time rich enough to constitute a deductive source for all of modern mathematics. The modern axiom schemes proposed for this purpose are all couched within the theory of sets, originated by Georg Cantor, which now constitutes a universal mathematical language.
Historically, algebra is the study of solutions of one or several algebraic equations, involving the polynomial functions of one or several variables. The case where all the polynomials have degree one (systems of linear equations) leads to linear algebra. The case of a single equation, in which one studies the roots of one polynomial, leads to field theory and to the so-called Galois theory. The general case of several equations of high degree leads to algebraic geometry, so named because the sets of solutions of such systems are often studied by geometric methods.
Modern algebraists have increasingly abstracted and axiomatized the structures and patterns of argument encountered not only in the theory of equations, but in mathematics generally. Examples of these structures include groups (first witnessed in relation to symmetry properties of the roots of a polynomial and now ubiquitous throughout mathematics), rings (of which the integers, or whole numbers, constitute a basic example), and fields (of which the rational, real, and complex numbers are examples). Some of the concepts of modern algebra have found their way into elementary mathematics education in the so-called new mathematics.
Some important abstractions recently introduced in algebra are the notions of category and functor, which grew out of so-called homological algebra. Arithmetic and number theory, which are concerned with special properties of the integers—e.g., unique factorization, primes, equations with integer coefficients (Diophantine equations), and congruences—are also a part of algebra. Analytic number theory, however, also applies the nonalgebraic methods of analysis to such problems.
The essential ingredient of analysis is the use of infinite processes, involving passage to a limit. For example, the area of a circle may be computed as the limiting value of the areas of inscribed regular polygons as the number of sides of the polygons increases indefinitely. The basic branch of analysis is the calculus. The general problem of measuring lengths, areas, volumes, and other quantities as limits by means of approximating polygonal figures leads to the integral calculus. The differential calculus arises similarly from the problem of finding the tangent line to a curve at a point. Other branches of analysis result from the application of the concepts and methods of the calculus to various mathematical entities. For example, vector analysis is the calculus of functions whose variables are vectors. Here various types of derivatives and integrals may be introduced. They lead, among other things, to the theory of differential and integral equations, in which the unknowns are functions rather than numbers, as in algebraic equations. Differential equations are often the most natural way in which to express the laws governing the behavior of various physical systems. Calculus is one of the most powerful and supple tools of mathematics. Its applications, both in pure mathematics and in virtually every scientific domain, are manifold.
The shape, size, and other properties of figures and the nature of space are in the province of geometry. Euclidean geometry is concerned with the axiomatic study of polygons, conic sections, spheres, polyhedra, and related geometric objects in two and three dimensions—in particular, with the relations of congruence and of similarity between such objects. The unsuccessful attempt to prove the "parallel postulate" from the other axioms of Euclid led in the 19th cent. to the discovery of two different types of non-Euclidean geometry.
The 20th cent. has seen an enormous development of topology, which is the study of very general geometric objects, called topological spaces, with respect to relations that are much weaker than congruence and similarity. Other branches of geometry include algebraic geometry and differential geometry, in which the methods of analysis are brought to bear on geometric problems. These fields are now in a vigorous state of development.
The term applied mathematics loosely designates a wide range of studies with significant current use in the empirical sciences. It includes numerical methods and computer science, which seeks concrete solutions, sometimes approximate, to explicit mathematical problems (e.g., differential equations, large systems of linear equations). It has a major use in technology for modeling and simulation. For example, the huge wind tunnels, formerly used to test expensive prototypes of airplanes, have all but disappeared. The entire design and testing process is now largely carried out by computer simulation, using mathematically tailored software. It also includes mathematical physics, which now strongly interacts with all of the central areas of mathematics. In addition, probability theory and mathematical statistics are often considered parts of applied mathematics. The distinction between pure and applied mathematics is now becoming less significant.
Development of Mathematics
The earliest records of mathematics show it arising in response to practical needs in agriculture, business, and industry. In Egypt and Mesopotamia, where evidence dates from the 2d and 3d millennia BC, it was used for surveying and mensuration; estimates of the value of π (pi) are found in both locations. There is some evidence of similar developments in India and China during this same period, but few records have survived. This early mathematics is generally empirical, arrived at by trial and error as the best available means for obtaining results, with no proofs given. However, it is now known that the Babylonians were aware of the necessity of proofs prior to the Greeks, who had been presumed the originators of this important step.
A profound change occurred in the nature and approach to mathematics with the contributions of the Greeks. The earlier (Hellenic) period is represented by Thales (6th cent. BC), Pythagoras, Plato, and Aristotle, and by the schools associated with them. The Pythagorean theorem, known earlier in Mesopotamia, was discovered by the Greeks during this period.
During the Golden Age (5th cent. BC), Hippocrates of Chios made the beginnings of an axiomatic approach to geometry and Zeno of Elea proposed his famous paradoxes concerning the infinite and the infinitesimal, raising questions about the nature of and relationships among points, lines, and numbers. The discovery through geometry of irrational numbers, such as 2, also dates from this period. Eudoxus of Cnidus (4th cent. BC) resolved certain of the problems by proposing alternative methods to those involving infinitesimals; he is known for his work on geometric proportions and for his exhaustion theory for determining areas and volumes.
The later (Hellenistic) period of Greek science is associated with the school of Alexandria. The greatest work of Greek mathematics, Euclid's Elements (c.300 BC), appeared at the beginning of this period. Elementary geometry as taught in high school is still largely based on Euclid's presentation, which has served as a model for deductive systems in other parts of mathematics and in other sciences. In this method primitive terms, such as point and line, are first defined, then certain axioms and postulates relating to them and seeming to follow directly from them are stated without proof; a number of statements are then derived by deduction from the definitions, axioms, and postulates. Euclid also contributed to the development of arithmetic and presented a geometric theory of quadratic equations.
In the 3d cent. BC, Archimedes, in addition to his work in mechanics, made an estimate of π and used the exhaustion theory of Eudoxus to obtain results that foreshadowed those much later of the integral calculus, and Apollonius of Perga named the conic sections and gave the first theory for them. A second Alexandrian school of the Roman period included contributions by Menelaus (c.AD 100, spherical triangles), Heron of Alexandria (geometry), Ptolemy (AD 150, astronomy, geometry, cartography), Pappus (3d cent., geometry), and Diophantus (3d cent., arithmetic).
Chinese and Middle Eastern Advances
Following the decline of learning in the West after the 3d cent., the development of mathematics continued in the East. In China, Tsu Ch'ung-Chih estimated π by inscribed and circumscribed polygons, as Archimedes had done, and in India the numerals now used throughout the civilized world were invented and contributions to geometry were made by Aryabhata and Brahmagupta (5th and 6th cent. AD). The Arabs were responsible for preserving the work of the Greeks, which they translated, commented upon, and augmented. In Baghdad, Al-Khowarizmi (9th cent.) wrote an important work on algebra and introduced the Hindu numerals for the first time to the West, and Al-Battani worked on trigonometry. In Egypt, Ibn al-Haytham was concerned with the solids of revolution and geometrical optics. The Persian poet Omar Khayyam wrote on algebra.
Western Developments from the Twelfth to Eighteenth Centuries
Word of the Chinese and Middle Eastern works began to reach the West in the 12th and 13th cent. One of the first important European mathematicians was Leonardo da Pisa (Leonardo Fibonacci), who wrote on arithmetic and algebra (Liber abaci, 1202) and on geometry (Practica geometriae, 1220). With the Renaissance came a great revival of interest in learning, and the invention of printing made many of the earlier books widely available. By the end of the 16th cent. advances had been made in algebra by Niccolò Tartaglia and Girolamo Cardano, in trigonometry by François Viète, and in such areas of applied mathematics as mapmaking by Mercator and others.
The 17th cent., however, saw the greatest revolution in mathematics, as the scientific revolution spread to all fields. Decimal fractions were invented by Simon Stevin and logarithms by John Napier and Henry Briggs; the beginnings of projective geometry were made by Gérard Desargues and Blaise Pascal; number theory was greatly extended by Pierre de Fermat; and the theory of probability was founded by Pascal, Fermat, and others. In the application of mathematics to mechanics and astronomy, Galileo and Johannes Kepler made fundamental contributions.
The greatest mathematical advances of the 17th cent., however, were the invention of analytic geometry by René Descartes and that of the calculus by Isaac Newton and, independently, by G. W. Leibniz. Descartes's invention (anticipated by Fermat, whose work was not published until later) made possible the expression of geometric problems in algebraic form and vice versa. It was indispensable in creating the calculus, which built upon and superseded earlier special methods for finding areas, volumes, and tangents to curves, developed by F. B. Cavalieri, Fermat, and others. The calculus is probably the greatest tool ever invented for the mathematical formulation and solution of physical problems.
The history of mathematics in the 18th cent. is dominated by the development of the methods of the calculus and their application to such problems, both terrestrial and celestial, with leading roles being played by the Bernoulli family (especially Jakob, Johann, and Daniel), Leonhard Euler, Guillaume de L'Hôpital, and J. L. Lagrange. Important advances in geometry began toward the end of the century with the work of Gaspard Monge in descriptive geometry and in differential geometry and continued through his influence on others, e.g., his pupil J. V. Poncelet, who founded projective geometry (1822).
In the Nineteenth Century
The modern period of mathematics dates from the beginning of the 19th cent., and its dominant figure is C. F. Gauss. In the area of geometry Gauss made fundamental contributions to differential geometry, did much to found what was first called analysis situs but is now called topology, and anticipated (although he did not publish his results) the great breakthrough of non-Euclidean geometry. This breakthrough was made by N. I. Lobachevsky (1826) and independently by János Bolyai (1832), the son of a close friend of Gauss, whom each proceeded by establishing the independence of Euclid's fifth (parallel) postulate and showing that a different, self-consistent geometry could be derived by substituting another postulate in its place. Still another non-Euclidean geometry was invented by Bernhard Riemann (1854), whose work also laid the foundations for the modern tensor calculus description of space, so important in the general theory of relativity.
In the area of arithmetic, number theory, and algebra, Gauss again led the way. He established the modern theory of numbers, gave the first clear exposition of complex numbers, and investigated the functions of complex variables. The concept of number was further extended by W. R. Hamilton, whose theory of quaternions (1843) provided the first example of a noncommutative algebra (i.e., one in which ab ≠ ba). This work was generalized the following year by H. G. Grassmann, who showed that several different consistent algebras may be derived by choosing different sets of axioms governing the operations on the elements of the algebra.
These developments continued with the group theory of M. S. Lie in the late 19th cent. and reached full expression in the wide scope of modern abstract algebra. Number theory received significant contributions in the latter half of the 19th cent. through the work of Georg Cantor, J. W. R. Dedekind, and K. W. Weierstrass. Still another influence of Gauss was his insistence on rigorous proof in all areas of mathematics. In analysis this close examination of the foundations of the calculus resulted in A. L. Cauchy's theory of limits (1821), which in turn yielded new and clearer definitions of continuity, the derivative, and the definite integral. A further important step toward rigor was taken by Weierstrass, who raised new questions about these concepts and showed that ultimately the foundations of analysis rest on the properties of the real number system.
In the Twentieth Century
In the 20th cent. the trend has been toward increasing generalization and abstraction, with the elements and operations of systems being defined so broadly that their interpretations connect such areas as algebra, geometry, and topology. The key to this approach has been the use of formal axiomatics, in which the notion of axioms as "self-evident truths" has been discarded. Instead the emphasis is on such logical concepts as consistency and completeness. The roots of formal axiomatics lie in the discoveries of alternative systems of geometry and algebra in the 19th cent.; the approach was first systematically undertaken by David Hilbert in his work on the foundations of geometry (1899).
The emphasis on deductive logic inherent in this view of mathematics and the discovery of the interconnections between the various branches of mathematics and their ultimate basis in number theory led to intense activity in the field of mathematical logic after the turn of the century. Rival schools of thought grew up under the leadership of Hilbert, Bertrand Russell and A. N. Whitehead, and L. E. J. Brouwer. Important contributions in the investigation of the logical foundations of mathematics were made by Kurt Gödel and A. Church.
See R. Courant and H. Robbins, What Is Mathematics? (1941); E. T. Bell, The Development of Mathematics (2d ed. 1945) and Men of Mathematics (1937, repr. 1961); J. R. Newman, ed., The World of Mathematics (4 vol., 1956); E. E. Kramer, The Nature and Growth of Mathematics (1970); M. Kline, Mathematical Thought from Ancient to Modern Times (1973); D. J. Albers and G. L. Alexanderson, ed., Mathematical People (1985).
"mathematics." The Columbia Encyclopedia, 6th ed.. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/reference/encyclopedias-almanacs-transcripts-and-maps/mathematics
"mathematics." The Columbia Encyclopedia, 6th ed.. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/reference/encyclopedias-almanacs-transcripts-and-maps/mathematics
Modern Language Association
The Chicago Manual of Style
American Psychological Association
The invention and ideas of many mathematicians and scientists led to the development of the computer, which today is used for mathematical teaching purposes in the kindergarten to college level classrooms. With its ability to process vast amounts of facts and figures and to solve problems at extremely high speeds, the computer is a valuable asset to solve the complex math-laden research problems of the sciences as well as problems in business and industry.
Major applications of computers in the mathematical sciences include their use in mathematical biology, where math is applied to a discipline such as medicine, making use of laboratory animal experiments as surrogates for a human biological system. Mathematical computer programs take the data drawn from the animal study and extrapolate it to fit the human system. Then, mathematical theory answers the question of how far these data can be transformed yet still preserve similarity between species. Mathematical ecology tries to understand the patterns of nature as society increasingly faces shortages in energy and depletion of its limited resources. Computers can also be programmed to develop premium tables for life insurance companies, to examine the likely effects of air pollution on forest productivity, and to simulate mathematical model outcomes that are used to predict areas of disease outbreaks.
Mathematical geography computer programs model flows of goods, people, and ideas over space so that commodity exchange, transportation, and population migration patterns can be studied. Large-scale computers are used in mathematical physics to solve equations that were previously intractable, and for problems involving a third dimension, numerous computer graphics packages display three-dimensional spatial surfaces. A byproduct of the advent of computers is the ability to use this tool to investigate nonlinear methods. As a result, the stability of our solar system has been checked for millions of years to come.
In the information age, information needs to be stored, processed, and retrieved in various forms. The field of cryptography is loaded with computer science and mathematics complementing each other to ensure the confidentiality of information transmitted over telephone lines and computer networks. Encoding and decoding operations are computationally intense. Once a message is coded, its security may hinge on the inability of an intruder to solve the mathematical riddle of finding the prime factors of a large number. Economical encoding is required in high-resolution television because of the enormous amount of information. Data compression techniques are initially mathematical concepts before becoming electromagnetic signals that emerge as a picture on the TV screen.
Mathematical application software routines that solve equations, perform computations, or analyze experimental data are often found in area-specific subroutine libraries which are written most often in Fortran or C. In order to minimize inconsistencies across different computers, the Institute of Electrical and Electronics Engineers (IEEE) standard is met to govern the precision of numbers with decimal positions.
The basic configuration of mathematics learning in the classroom is the usage of stand-alone personal computers or shared software on networked microcomputers. The computer is valued for its ability to aid students to make connections between the verbal word problem, its symbolic form such as a function, and its graphic form. These multiple representations usually appear simultaneously on the computer screen. For home and school use, public-domain mathematical software and shareware are readily available on the Internet and there is a gamut of proprietary software written that spans the breadth and depth of the mathematical branches (arithmetic, algebra, geometry, trigonometry, elementary functions, calculus, numerical analysis, numerical partial differential equations, number theory, modern algebra, probability and statistics, modeling, complex variables, etc.). Often software is developed for a definitive mathematical maturity level. In lieu of graphics packages, spreadsheets are useful for plotting data and are most useful when teaching arithmetic and geometric progressions.
Mathematics, the science of patterns, is a way of looking at the world in terms of entities that do not exist in the physical world (the numbers, points, lines and planes, functions, geometric figures——all pure abstractions of the mind) so the mathematician looks to the mathematical proof to explain the physical world. Several attempts have been made to develop theorem-proving technology on computers. However, most of these systems are far too advanced for high school use. Nevertheless, the non-mathematician, with the use of computer graphics, can appreciate the sets of Gaston Julia and Benoit B. Mandelbrot for their artistic beauty. To conclude, an intriguing application of mathematics to the computer world lies at the heart of the computer itself, its microprocessor. This chip is essentially a complex array of patterns of propositional logic (p and q, p or q, p implies q, not p, etc.) etched into silicon .
see also Data Visualization; Decision Support Systems; Interactive Systems; Physics.
Patricia S. Wehman
Devlin, Keith. Mathematics: The Science of Patterns. New York: Scientific American Library, 1997.
Sangalli, Arturo. The Importance of Being Fuzzy and Other Insights from the Border between Math and Computers. Princeton, NJ: Princeton University Press, 1998.
"Mathematics." Computer Sciences. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/computing/news-wires-white-papers-and-books/mathematics
"Mathematics." Computer Sciences. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/computing/news-wires-white-papers-and-books/mathematics
Modern Language Association
The Chicago Manual of Style
American Psychological Association
Mathematics is the science that deals with the measurement, properties, and relationships of quantities, as expressed in either numbers or symbols. For example, a farmer might decide to fence in a field and plant oats there. He would have to use mathematics to measure the size of the field, to calculate the amount of fencing needed for the field, to determine how much seed he would have to buy, and to compute the cost of that seed. Mathematics is an essential part of every aspect of life—from determining the correct tip to leave for a waiter to calculating the speed of a space probe as it leaves Earth's atmosphere.
Mathematics undoubtedly began as an entirely practical activity—measuring fields, determining the volume of liquids, counting out coins, and the like. During the golden era of Greek science, between about the sixth and third centuries b.c., however, mathematicians introduced a new concept to their study of numbers. They began to realize that numbers could be considered as abstract concepts. The number 2, for example, did not necessarily have to mean 2 cows, 2 coins, 2 women, or 2 ships. It could also represent the idea of "two-ness." Modern mathematics, then, deals both with problems involving specific, concrete, and practical number concepts (25,000 trucks, for example) and with properties of numbers themselves, separate from any practical meaning they may have (the square root of 2 is 1.4142135, for example).
Fields of mathematics
Mathematics can be subdivided into a number of special categories, each of which can be further subdivided. Probably the oldest branch of mathematics is arithmetic, the study of numbers themselves. Some of the most fascinating questions in modern mathematics involve number theory. For example, how many prime numbers are there? (A prime number is a number that can be divided only by 1 and itself.) That question has fascinated mathematicians for hundreds of years. It doesn't have any particular practical significance, but it's an intriguing brainteaser in number theory.
Geometry, a second branch of mathematics, deals with shapes and spatial relationships. It also was established very early in human history because of its obvious connection with practical problems. Anyone who wants to know the distance around a circle, square, or triangle, or the space contained within a cube or a sphere has to use the techniques of geometry.
Algebra was established as mathematicians recognized the fact that real numbers (such as 4, 5.35, and 9⅓) can be represented by letters. It became a way of generalizing specific numerical problems to more general situations.
Analytic geometry was founded in the early 1600s as mathematicians learned to combine algebra and geometry. Analytic geometry uses algebraic equations to represent geometric figures and is, therefore, a way of using one field of mathematics to analyze problems in a second field of mathematics.
Over time, the methods used in analytic geometry were generalized to other fields of mathematics. That general approach is now referred to as analysis, a large and growing subdivision of mathematics. One of the most powerful forms of analysis—calculus—was created almost simultaneously in the early 1700s by English physicist and mathematician Isaac Newton (1642–1727) and German mathematician Gottfried Wilhelm Leibniz (1646–1716). Calculus is a method for analyzing changing systems, such as the changes that take place as a planet, star, or space probe moves across the sky.
Statistics is a field of mathematics that grew in significance throughout the twentieth century. During that time, scientists gradually came to realize that most of the physical phenomena they study can be expressed not in terms of certainty ("A always causes B"), but in terms of probability ("A is likely to cause B with a probability of XX%"). In order to analyze these phenomena, then, they needed to use statistics, the field of mathematics that analyzes the probability with which certain events will occur.
Each field of mathematics can be further subdivided into more specific specialties. For example, topology is the study of figures that are twisted into all kinds of bizarre shapes. It examines the properties of those figures that are retained after they have been deformed.
[See also Arithmetic; Calculus; Geometry; Number theory; Trigonometry ]
"Mathematics." UXL Encyclopedia of Science. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/science/encyclopedias-almanacs-transcripts-and-maps/mathematics
"Mathematics." UXL Encyclopedia of Science. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/science/encyclopedias-almanacs-transcripts-and-maps/mathematics
Modern Language Association
The Chicago Manual of Style
American Psychological Association
See also 250. LOGIC ;295. NUMBERS
- the branch of mathematics that treats the representation and manip-ulation of relationships among numbers, values, vectors, etc. —algebraic , adj.
- 1. the Arabic system of numbering.
- 2. the method of computation with the Arabic flgures 1 through 9, plus the zero; arithmetic.
- 3. the rule for solving a specific kind of arithmetic problem, as finding an average; algorithm. —algorist , n. —algorismic , adj.
- any methodology for solving a certain kind of problem.
- the construction of a proportion.
- biometrics, biometry.
- 1. the calculation of the probable extent of human lifespans.
- 2. the application to biology of mathematical and statistical theory and methods. —biometric, biometrical, adj.
- a branch of mathematics that treats the measurement of changing quantities, determining rates of change (differential calculus) and quantities under changing conditions (integral calculus).
- the branch of applied mathematics that studies the measurement and shape and area of large tracts, the exact position of geographical points, and the curvature, shape, and dimensions of the earth. Also called geodetics . —geodesist , n. —geodetic, geodetical , adj.
- the branch of mathematics that treats the measurement, relationship, and properties of points, lines, angles, and flgures in space. —geometer, geometrician , n. —geometric, geometrical , adj.
- the study of flgures that have perimeters of equal length. —isoperimetrical, isoperimetral , adj.
- a form of divination involving logarithms.
- Rare. the art or science of calculation or arithmetic.
- the systematic study of magnitude, quantitites, and their relationships as expressed symbolically in the form of numerals and forms. —mathematician , n. —mathematic, mathematical , adj.
- the logical analysis of the fundamental concepts of mathematics, as function, number, etc. —metamathematician , n. —metamathematical , adj.
- the state or quality of being right-angled or perpendicular. —orthogonal , adj.
- the quality of being parallel.
- 1. Rare. a love of learning.
- 2. a love of mathematics. —philomath , n. —philomathic, philomathical, philomathean , adj.
- the geometry and measurement of plane surfaces. —planimeter , n. —planimetric, planimetrical , adj.
- a mathematical expression having the quality of two or more terms.
- Rare. a kind of geometrical proposition of ancient Greek mathematics arising during the investigation of some other proposition either as a corollary or as a condition that will render a certain problem indeterminate. —porismatic , adj.
- Pythagoreanism, Pythagorism
- the doctrines and theories of Pythagoras, ancient Greek philosopher and mathematician, and the Pythagoreans, especially number relationships in music theory, acoustics, astronomy, and geometry (the Pythagorean theorem for right triangles), a belief in metempsychosis, and mysticism based on numbers. —Pythagorean , n., adj. —Pythagorist , n.
- the branch of algebra that deals with equations containing variables of the second power, i.e. squared, but no higher.
- the state of having a roughly spherical shape. Also called spheroidism , spheroidity.
- Rare. a treatise on statistics.
- a person who discovers or formulates a mathematical theorem. —theorematic , adj.
- a branch of mathematics that studies the properties of geometrical forms that remain invariant under certain transformations, as bending or stretching. —topologist , n. —topologic, topological , adj.
- the branch of mathematics that treats the measurement of and relationships between the sides and angles of plane triangles and the solid figures derived from them. —trigonometric, trigonometrical , adj.
"Mathematics." -Ologies and -Isms. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/education/dictionaries-thesauruses-pictures-and-press-releases/mathematics
"Mathematics." -Ologies and -Isms. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/education/dictionaries-thesauruses-pictures-and-press-releases/mathematics
Modern Language Association
The Chicago Manual of Style
American Psychological Association
Mathematical knowledge in medieval Europe was strongly influenced by treatises of Arabic scholars that were imported to the continent from Sicily and Moorishcontrolled Iberia (modern Spain and Portugal), and by the works of ancient Greeks such as Ptolemy, Erastothenes, and Euclid that had survived in Arabic versions and were later translated into Latin. The Italian scientist Leonardo Fibonacci had revived original research in the thirteenth century. The calculation of speed and uniform motion were problems tackled by a school of mathematicians known as the Oxford Calculators of the fourteenth century. Everyday calculation, however, was still a difficult process. It involved the use of cumbersome Roman numerals and complex methods of doing division and multiplication—without the use of algebraic symbols and mathematical signs.
The study of mathematics was spurred by growing trade and international banking, which followed an earlier period of localized trade and the barter system. The expanding economy demanded a better ability to calculate sums, percentages, foreign exchange, and rates of interest. The new double-entry method of bookkeeping allowed merchants to carefully track income and expenses. Abacists were math teachers who imparted the needed mathematical skills to the sons of traders, bankers, and long-distance merchants. The invention of printing in the middle of the fifteenth century allowed mathematical texts to circulate widely, beginning with Theoricae Nova Planetarum of Georg von Peuerbach in 1472 and a guide to arithmetic, known as the Treviso Arithmetic, in 1478. The Elements, a study by the ancient mathematician Euclid, first appeared in printed form in 1482. The Arabic numerals, decimal places, and mathematical signs and symbols borrowed from India came into common use in Europe at about the same time.
Sixteenth-century mathematicians began solving many thorny problems, such as cubic and quartic equations. The German philosopher Johann Müller, known as Regiomontanus, wrote commentaries on Ptolemy's Almagest and published his own book of calculations, Detriangulus. Another German, Johann Widman, was the first to use the plus and minus signs in a published work. Other significant German mathematicians were Adam Riese, Christoph Rudolff (who pioneered the use of root symbols), and Michael Stifel, who wrote an algebra text, the Arithmetica Integra, dealing with powers, radicals, and negative numbers. In Italy, Geronimo Cardano wrote Ars Magna, the first algebra treatise written in Latin. Cardano's followers included Niccolo Tartaglia, who drew up the first “firing tables” for use by artillery, and was the first to discover a formula for solving cubic equations.
At the same time, astronomy was becoming a sophisticated mathematical method of predicting planetary orbits, the path of the stars, and the occurrence of eclipses and other celestial phenomena. The precise observation of the skies and the measuring technique of trigonometry were spurred by the demands of navigators, who needed accurate charts of newly explored areas that lay thousands of miles distant from familiar home shores. The first textbook in this subject was the Trigonometria, written by Bartholomaeus Pitiscus and published in 1595. The investigation of the heavens by telescope enabled more precise astronomical calculations, undertaken by Galileo Galilei, Tycho Brahe, and Johannes Kepler, who devised a systematic mathematical system for determining planetary orbits. The French philosopher René Descartes developed a new method of depicting calculations on charts and a system of analytic geometry. The culmination of Renaissance study of mathematics was the system of calculus, a method of solving complex problems that was first developed by Sir Isaac Newton and the German scholar Gottfried Wilhelm Leibniz.
See Also: Brahe, Tycho; Kepler, Johannes
"mathematics." The Renaissance. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/arts/arts-construction-medicine-science-and-technology-magazines/mathematics
"mathematics." The Renaissance. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/arts/arts-construction-medicine-science-and-technology-magazines/mathematics
Modern Language Association
The Chicago Manual of Style
American Psychological Association
"mathematics." World Encyclopedia. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/environment/encyclopedias-almanacs-transcripts-and-maps/mathematics
"mathematics." World Encyclopedia. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/environment/encyclopedias-almanacs-transcripts-and-maps/mathematics
Modern Language Association
The Chicago Manual of Style
American Psychological Association
math·e·mat·ics / ma[unvoicedth](ə)ˈmatiks/ • pl. n. [usu. treated as sing.] the abstract science of number, quantity, and space. Mathematics may be studied in its own right ( pure mathematics), or as it is applied to other disciplines such as physics and engineering ( applied mathematics). ∎ [often treated as pl.] the mathematical aspects of something: the mathematics of general relativity.
"mathematics." The Oxford Pocket Dictionary of Current English. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/mathematics-0
"mathematics." The Oxford Pocket Dictionary of Current English. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/mathematics-0
Modern Language Association
The Chicago Manual of Style
American Psychological Association
math·e·mat·i·cal / ˌma[unvoicedth](ə)ˈmatikəl/ (also math·e·mat·ic) • adj. of or relating to mathematics: mathematical equations. ∎ (of a proof or analysis) rigorously precise: mathematical thinking | fig. he arranged the meal with mathematical precision on a plate. DERIVATIVES: math·e·mat·i·cal·ly / -ik(ə)lē/ adv.
"mathematical." The Oxford Pocket Dictionary of Current English. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/mathematical-0
"mathematical." The Oxford Pocket Dictionary of Current English. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/mathematical-0
Modern Language Association
The Chicago Manual of Style
American Psychological Association
"mathematical." Oxford Dictionary of Rhymes. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/mathematical
"mathematical." Oxford Dictionary of Rhymes. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/mathematical
Modern Language Association
The Chicago Manual of Style
American Psychological Association
"mathematics." Oxford Dictionary of Rhymes. . Encyclopedia.com. (May 22, 2018). http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/mathematics
"mathematics." Oxford Dictionary of Rhymes. . Retrieved May 22, 2018 from Encyclopedia.com: http://www.encyclopedia.com/humanities/dictionaries-thesauruses-pictures-and-press-releases/mathematics