Meta-mathematics
From Encyclopedia of Mathematics
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
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