metamathematics

metamathematical, adj.metamathematician /met'euh math'euh meuh tish"euhn/, n.
/met'euh math'euh mat"iks/, n. (used with a sing. v.)
the logical analysis of the fundamental concepts of mathematics, as number, function, etc.
[1885-90; META- + MATHEMATICS]

* * *


Universalium. 2010.

Look at other dictionaries:

  • Metamathematics — is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Metamathematical metatheorems about mathematics itself were originally… …   Wikipedia

  • metamathematics — 1890, from META (Cf. meta ) + MATHEMATICS (Cf. mathematics) …   Etymology dictionary

  • metamathematics — [met΄ə math΄ə mat′iks] n. the logical study of the nature and validity of mathematical reasoning and proof …   English World dictionary

  • metamathematics — noun plural but usually singular in construction Date: circa 1890 a field of study concerned with the formal structure and properties (as the consistency and completeness of axioms) of mathematical systems • metamathematical adjective …   New Collegiate Dictionary

  • metamathematics — noun A branch of mathematics dealing with mathematical systems and their nature …   Wiktionary

  • metamathematics — The theory of formal languages powerful enough to serve as the language of mathematics. In a formal metamathematical treatment, the formulae that occur in mathematics: axioms, theorems, and proofs, are treated as themselves mathematical objects,… …   Philosophy dictionary

  • metamathematics — met•a•math•e•mat•ics [[t]ˌmɛt əˌmæθ əˈmæt ɪks[/t]] n. (used with a sing. v.) math. the study of fundamental concepts of mathematics, as number and function • Etymology: 1885–90 met a•math e•mat′i•cal, adj …   From formal English to slang

  • metamathematics — noun the logical analysis of mathematical reasoning • Topics: ↑mathematics, ↑math, ↑maths • Hypernyms: ↑pure mathematics …   Useful english dictionary

  • metamathematical — metamathematics …   Philosophy dictionary

  • Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.