English language
Toggle Transcript
metamathematics::noun | Spocien Dictionary
| Type | Words |
|---|---|
| Type of | pure mathematics |
Examples of metamathematics
metamathematics
Early investigations into metamathematics had been driven by Hilbert's program.
From the en.wikipedia.org
Metamathematics is the study of mathematics itself using mathematical methods.
From the en.wikipedia.org
David Hilbert founded metamathematics as a discipline for discussing formal systems.
From the en.wikipedia.org
In so doing, they helped found what are now known as metamathematics and model theory.
From the en.wikipedia.org
The previous section says more about the relevant metamathematics.
From the en.wikipedia.org
The metamathematics of ZFC has been extensively studied.
From the en.wikipedia.org
A history of mathematics which makes no significant mention of differential calculus, set theory, or metamathematics?
From the en.wikipedia.org
The metamathematics of NF are curious.
From the en.wikipedia.org
Today, the paradox is ordinarily used in order to motivate the importance of carefully distinguishing between mathematics and metamathematics.
From the en.wikipedia.org
- The logical analysis of mathematical reasoning
- Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. ...
