space

The study of space originates with geometry – in particular, Euclidean geometry. Trigonometry is the branch of mathematics that deals with relationships between the sides and the angles of triangles and with the trigonometric functions; it combines space and numbers, and encompasses the well-known Pythagorean theorem. The modern study of space generalizes these ideas to include higher-dimensional geometry, non-Euclidean geometries (which play a central role in general relativity) and topology. Quantity and space both play a role in analytic geometry, differential geometry, and algebraic geometry. Within differential geometry are the concepts of fiber bundles and calculus on manifolds, in particular, vector and tensor calculus. Within algebraic geometry is the description of geometric objects as solution sets of polynomial equations, combining the concepts of quantity and space, and also the study of topological groups, which combine structure and space. Lie groups are used to study space, structure, and change. Topology in all its many ramifications may have been the greatest growth area in 20th century mathematics; it includes point-set topology, set-theoretic topology, algebraic topology and differential topology. In particular, instances of modern day topology are metrizability theory, axiomatic set theory, homotopy theory, and Morse theory. Topology also includes the now solved Poincaré conjecture and the controversial four color theorem, whose only proof, by computer, has never been verified by a human.


Geometry Trigonometry Differential geometry Topology Fractal geometry Measure Theory

Change
Understanding and describing change is a common theme in the natural sciences, and calculus was developed as a powerful tool to investigate it. Functions arise here, as a central concept describing a changing quantity. The rigorous study of real numbers and functions of a real variable is known as real analysis, with complex analysis the equivalent field for the complex numbers. Functional analysis focuses attention on (typically infinite-dimensional) spaces of functions. One of many applications of functional analysis is quantum mechanics. Many problems lead naturally to relationships between a quantity and its rate of change, and these are studied as differential equations. Many phenomena in nature can be described by dynamical systems; chaos theory makes precise the ways in which many of these systems exhibit unpredictable yet still deterministic behavior.


Calculus Vector calculus Differential equations Dynamical systems Chaos theory Complex analysis

Structure
Many mathematical objects, such as sets of numbers and functions, exhibit internal structure. The structural properties of these objects are investigated in the study of groups, rings, fields and other abstract systems, which are themselves such objects. This is the field of abstract algebra. An important concept here is that of vectors, generalized to vector spaces, and studied in linear algebra. The study of vectors combines three of the fundamental areas of mathematics: quantity, structure, and space. A number of ancient problems concerning Compass and straightedge constructions were finally solved using Galois theory.


Number theory Abstract algebra Group theory Order theory

Foundations and philosophy
In order to clarify the foundations of mathematics, the fields of mathematical logic and set theory were developed. Mathematical logic includes the mathematical study of logic and the applications of formal logic to other areas of mathematics; set theory is the branch of mathematics that studies sets or collections of objects. Category theory, which deals in an abstract way with mathematical structures and relationships between them, is still in development. The phrase "crisis of foundations" describes the search for a rigorous foundation for mathematics that took place from approximately 1900 to 1930.[33] Some disagreement about the foundations of mathematics continues to present day. The crisis of foundations was stimulated by a number of controversies at the time, including the controversy over Cantor's set theory and the Brouwer-Hilbert controversy.

Mathematical logic is concerned with setting mathematics on a rigorous axiomatic framework, and studying the results of such a framework. As such, it is home to Gödel's second incompleteness theorem, perhaps the most widely celebrated result in logic, which (informally) implies that any formal system that contains basic arithmetic, if sound (meaning that all theorems that can be proven are true), is necessarily incomplete (meaning that there are true theorems which cannot be proved in that system). Gödel showed how to construct, whatever the given collection of number-theoretical axioms, a formal statement in the logic that is a true number-theoretical fact, but which does not follow from those axioms. Therefore no formal system is a true axiomatization of full number theory.[citation needed] Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.


Mathematical logic Set theory Category theory

Discrete mathematics
Discrete mathematics is the common name for the fields of mathematics most generally useful in theoretical computer science. This includes, on the computer science side, computability theory, computational complexity theory, and information theory. Computability theory examines the limitations of various theoretical models of the computer, including the most powerful known model – the Turing machine. Complexity theory is the study of tractability by computer; some problems, although theoretically solvable by computer, are so expensive in terms of time or space that solving them is likely to remain practically unfeasible, even with rapid advance of computer hardware. Finally, information theory is concerned with the amount of data that can be stored on a given medium, and hence deals with concepts such as compression and entropy.

On the purely mathematical side, this field includes combinatorics and graph theory.

As a relatively new field, discrete mathematics has a number of fundamental open problems. The most famous of these is the "P=NP?" problem, one of the Millennium Prize Problems.[34]


Combinatorics Theory of computation Cryptography Graph theory

Applied mathematics
Applied mathematics considers the use of abstract mathematical tools in solving concrete problems in the sciences, business, and other areas.

Applied mathematics has significant overlap with the discipline of statistics, whose theory is formulated mathematically, especially with probability theory. Statisticians (working as part of a research project) "create data that makes sense" with random sampling and with randomized experiments; the design of a statistical sample or experiment specifies the analysis of the data (before the data be available). When reconsidering data from experiments and samples or when analyzing data from observational studies, statisticians "make sense of the data" using the art of modelling and the theory of inference – with model selection and estimation; the estimated models and consequential predictions should be tested on new data.[35]

Computational mathematics proposes and studies methods for solving mathematical problems that are typically too large for human numerical capacity. Numerical analysis studies methods for problems in analysis using ideas of functional analysis and techniques of approximation theory; numerical analysis includes the study of approximation and discretization broadly with special concern for rounding errors. Other areas of computational mathematics include computer algebra and symbolic computation.


Mathematical physics
Fluid dynamics
Numerical analysis
Optimization

Probability theory
Statistics
Financial mathematics
Game theory

Mathematical biology
Mathematical chemistry
Mathematical economics
Control theory