metamathematics


Also found in: Thesaurus, Encyclopedia, Wikipedia.

met·a·math·e·mat·ics

 (mĕt′ə-măth′ə-măt′ĭks)
n. (used with a sing. verb)
The branch of mathematics that deals with the logic and consistency of mathematical proofs, formulas, and equations.

met′a·math′e·mat′i·cal adj.
met′a·math′e·ma·ti′cian (-mə-tĭsh′ən) n.

metamathematics

(ˌmɛtəˌmæθɪˈmætɪks)
n
(Mathematics) (functioning as singular) the logical analysis of the reasoning, principles, and rules that control the use and combination of mathematical symbols, numbers, etc
ˌmetaˌmatheˈmatical adj
ˌmetaˌmathemaˈtician n

met•a•math•e•mat•ics

(ˌmɛt əˌmæθ əˈmæt ɪks)

n. (used with a sing. v.)
the study of fundamental concepts of mathematics, as number and function.
[1885–90]
met`a•math`e•mat′i•cal, adj.

metamathematics

the logical analysis of the fundamental concepts of mathematics, as function, number, etc. — metamathematician, n. — metamathematical, adj.
See also: Mathematics
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.metamathematics - the logical analysis of mathematical reasoning
math, mathematics, maths - a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement
pure mathematics - the branches of mathematics that study and develop the principles of mathematics for their own sake rather than for their immediate usefulness
Translations
References in periodicals archive ?
Note that metametaphysics is not another discipline, it is part of metaphysics (as metamathematics is part of mathematics).
There was also a case, once reported in a staid medical journal, of a Birkenhead man who, after suffering an electric shock from a faulty fridge, found he could perform phenomenal feats of mental computation and became an expert in the fields of integral calculus, non-Euclidean geometry and metamathematics.
metaparadigm), also in infinite unextended concepts such as metatime, metaspace, metaconsciousness, metainformation and metalife, following on, inter alia, Godel's metamathematics and Devereux's metafamiliarity.
Hajek, Metamathematics of fuzzy logic, Kluwer, Dordrecht(1998).