[The Mathematical Atlas] [Search][Subject Index][MathMap][Tour][Help!]
[Foundational areas of MathMap]

Foundational Branches of Mathematics

[Return to start of tour] [Up to The Divisions of Mathematics]

These areas consider the framework in which mathematics itself is carried out. To the extent that these consider particular mathematical topics, they border on other areas of the Mathematics Subject Classification; to the extent that these consider the nature of proof and of mathematical reality, they border on philosophy!

Considerations in logic of complexity and provability lead to topics in theoretical computer science; questions of decidability arise in a natural way in number theory and group theory. The apparent paradoxes of set theory (particularly from use of the Axiom of Choice) lead to foundational issues in topology and measure theory. An emphasis on axioms leads to the development of abstract algebra and (synthetic) geometry.

You might want to continue the tour with a trip through algebra.

You can reach this page through http://www.math-atlas.org/welcome.html
Last modified 1999/05/12 by Dave Rusin. Mail: feedback@math-atlas.org