metamathematics

(redirected from Meta-mathematics)
Also found in: Dictionary, Encyclopedia.
Graphic Thesaurus  🔍
Display ON
Animation ON
Legend
Synonym
Antonym
Related
  • noun

Words related to metamathematics

the logical analysis of mathematical reasoning

References in periodicals archive ?
Meta-mathematics is an aspect of mathematical logic; it is not concerned with the symbolism and operations of arithmetic primarily, but with the interpretation of these signs and rules (Boyer, 1968).
With others he invented meta-mathematics as the study of properties of formal systems themselves (e.g.
His topics include the basic classical notions, structure theory for pointclasses, the playful universe, the recursion theorem, and meta-mathematics.
Both micro- and macro-physics (and meta-mathematics) get close with questions about the elusive nature of atoms, or the singularity of the Big Bang, or the peculiar functions of some numbers.
Tarski [1956]: Logic, Semantics, Meta-mathematics, Oxford, Clarendon Press (2nd edition [1983], Indianapolis, Hackett).