Difference between revisions of "Meta-language"
From Encyclopedia of Mathematics
(Importing text file) |
(→References: zbl link) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | A logico-mathematical language used to create a [[ | + | A logico-mathematical language used to create a [[meta-theory]]. In a wider sense, a meta-language is a non-formalized language that is used to formulate statements of [[meta-mathematics]]. |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
====References==== | ====References==== | ||
| − | + | * {{Ref|a1}} A. Grzegorczyk, "An outline of mathematical logic", Reidel (1974) {{ZBL|0287.02001}} | |
Latest revision as of 16:37, 10 March 2024
A logico-mathematical language used to create a meta-theory. In a wider sense, a meta-language is a non-formalized language that is used to formulate statements of meta-mathematics.
References
- [a1] A. Grzegorczyk, "An outline of mathematical logic", Reidel (1974) Zbl 0287.02001
How to Cite This Entry:
Meta-language. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Meta-language&oldid=17071
Meta-language. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Meta-language&oldid=17071
This article was adapted from an original article by A.G. Dragalin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article