Mathematics - deductive study of numbers, geometry, and various abstract constructs, or structures; the latter often "abstract" 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

Foundations

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.

Algebra

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.

Analysis

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.

Geometry

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.

Applied Mathematics

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 b.c., 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.

Greek Contributions

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. b.c.), 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. b.c.), 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. b.c.) 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 b.c.), 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. b.c., 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.a.d. 100, spherical triangles), Heron of Alexandria (geometry), Ptolemy (a.d. 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