metamathematics

(redirected from metamathematical)
Also found in: Thesaurus, Encyclopedia.

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 ?
He discusses topics like Plato's "line," Leibnizian metaphysics, Berkeleyan metalogical signs and master arguments, the second-order idealism of David Hume, Kantian ethics and the "fate of reason," metamathematical interpretations of free will and determinism, and time-evolution in random universes.
Kurt Godel (1906-1978) powerfully demonstrated the paradoxically incomplete mathematics by ingeniously constructing a metamathematical argument about arithmetic (Gamwell, 2016).
Nonetheless, this points in the right direction: we can ask metamathematical questions, and since Godel, we know that the task of mathematicians is to investigate the properties of the real structures they create.
Lucas, that metamathematical theorems imply the existence of consciousness, a point supported by Penrose, based on his experience of mathematical intuition, and its role in guiding discovery in mathematics.
The proposition undecidable in the system PM is thus decided by metamathematical arguments" (p.
BESIM KARAKADILAR, "Hilbert's Metamathematical Problems and Their Solutions." Adviser: Jaakko Hintikka.
(33) Godel utilized this feature of mapping to translate complicated metamathematical statements about a formalized system of arithmetic into arithmetical statements within the system itself.
(4) For the present, we simply want to record that the only argument that Tait adduces in favour of the possibility of formulating finitistically [[PI].sup.0.sub.1]-sentences is this: it should be possible to establish the consistency of certain mathematical theories by finitist metamathematical means, and, thus, for Tait it should at least be possible to formulate consistency assertions [Con.sub.[tau]] metamathematically.
Significantly, early metamathematical research focused on problem s of auto-referentiality; this focus led to a broader attempt to dispel antinomies resulting from the occurrence within a given language--whether formalized or natural, idealized or ordinary--of autonymic or reflexive expressions.