Namespaces
Variants
Actions

Meta-mathematics

From Encyclopedia of Mathematics
Revision as of 17:03, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The totality of mathematical theories used in the study of formal theories (calculi). The meta-mathematics related to the study of a given formal theory forms the so-called meta-theory of this formal theory.

In a narrow sense, the term "meta-mathematics" is also used as a synonym for proof theory.


Comments

References

[a1] R. Sikorsky, "The mathematics of metamathematics" , Polska Akad. Nauk (1963)
How to Cite This Entry:
Meta-mathematics. A.G. Dragalin (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Meta-mathematics&oldid=13346
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098