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.
American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

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
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

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.
Random House Kernerman Webster's College Dictionary, © 2010 K Dictionaries Ltd. Copyright 2005, 1997, 1991 by Random House, Inc. All rights reserved.

metamathematics

the logical analysis of the fundamental concepts of mathematics, as function, number, etc. — metamathematician, n. — metamathematical, adj.
See also: Mathematics
-Ologies & -Isms. Copyright 2008 The Gale Group, Inc. All rights reserved.
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
Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.
Translations
Mentioned in ?
References in periodicals archive ?
In contrast with this, meta- can actually be traced back in history in a way explaining how constructions like metamathematics, metacommunication, meta-analysis (metanalysis*), metapolitics, metaphrastic, metamorphize, metaphor, metathesis, metamorphism, or metamorphosis have come up.
Compounds as idioms. A case study of a 'meta-trend'
This volume collects the author's writings on metamathematics and the history of philosophy, focusing on classical, medieval, and Enlightenment philosophy, with two mathematical chapters offering proofs on related problems of uncertainty and time-evolution and theoretical physics.
Metamathematics and the Philosophical Tradition
Hajek, Metamathematics of Fuzzy Logic, Kluwer Academic, Dordrecht, The Netherlands, 1998.
Interpolative Boolean Networks
Lucas was considering the consequences of Godel's famous incompleteness theorem (52,53) in metamathematics, which states that any system of axioms containing arithmetic must necessarily contain statements that can be seen to be true but are unprovable.
First person accounts of yoga meditation yield clues to the nature of information in experience
Even if we use a physical object to describe a physical object, or a formal structure to describe a formal structure (as in metamathematics), the distinction between our sets (a) and (b) prevents the model from criticisms like Postal's.
On the realism-conceptualism debate about the ontology of linguistic objects: theoretical and epistemological consequences
Kleene, Introduction to metamathematics, North-Holland (1959), Chapt.
Neutrosophic axiomatic system
--, 1956, Logic, Semantics, Metamathematics, Oxford University Press, Oxford.
Expresabilidad, Validez y Recursos logicos
(Note that metametaphysics is not another discipline, it is part of metaphysics (as metamathematics is part of mathematics).
Theodore Sider: Writing the Book of the World

Dictionary browser ?
Full browser ?