info prev up next book cdrom email home

Metamathematics

The branch of Logic dealing with the study of the combination and application of mathematical symbols, sometimes called Metalogic. Metamathematics is the study of Mathematics itself, and one of its primary goals is to determine the nature of mathematical reasoning (Hofstadter 1989).

See also Logic, Mathematics


References

Birkhoff, G. and Mac Lane, S. A Survey of Modern Algebra, 3rd ed. New York: Macmillan, p. 326, 1965.

Hofstadter, D. R. Gödel, Escher, Bach: An Eternal Golden Braid. New York: Vintage Books, p. 23, 1989.




© 1996-9 Eric W. Weisstein
1999-05-26