Share this entry

Share this page

metamathematics

Line breaks: meta|mathe¦mat|ics
Pronunciation: /ˌmɛtəmaθ(ə)ˈmatɪks
 
/

Definition of metamathematics in English:

plural noun

[treated as singular]
The field of study that deals with the structure and formal properties of mathematics and similar formal systems.
Example sentences
  • Tarski made important contributions in many areas of mathematics: set theory, measure theory, topology, geometry, classical and universal algebra, algebraic logic, various branches of formal logic and metamathematics.
  • Proof theory, a form of metamathematics, studies the ways in which proofs are used in mathematics.
  • Thus, only in his early sixties did Hilbert truly proceed to create proof theory and metamathematics.

Derivatives

metamathematical

1
adjective
Example sentences
  • Gentzen's proof of the consistency of arithmetic is undoubtedly a very interesting metamathematical result, which may prove very stimulating and fruitful.
  • Meaning is then introduced at the metamathematical level, in the metalanguage.
  • Robinson's theory is based on the metamathematical fact that the system of real numbers is incomplete.

metamathematician

2
noun
Example sentences
  • Perhaps some young metamathematician of the next generation will prove why this has to be so.
  • It is not easy to speculate just how a metamathematician should conduct himself in the pursuit of this discipline.
  • The study of formal calculi is more a job for metamathematicians than mathematicians.

Definition of metamathematics in:

Share this entry

Share this page

 

What do you find interesting about this word or phrase?

Comments that don't adhere to our Community Guidelines may be moderated or removed.

Get more from Oxford Dictionaries

Subscribe to remove adverts and access premium resources

Word of the day jaunt
Pronunciation: dʒɔːnt
noun
a short excursion or journey made for pleasure