Metamathematics

The study of mathematics itself using mathematical methods

Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories.

Nº Q903508 ★★

Uncommon · Knowledge

Metamathematics

The study of mathematics itself using mathematical methods

Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories.

Last price

—

Floor price

—

7-day median

—

30-day sales

30-day range

—

In circulation

Price history

Show table

Date	median	Low	High	sales

Sales history

Last sale: —
30-day average: —
30-day low: —
30-day high: —
Sales 7d: 0
Sales 30d: 0

No sales yet.

Anonymous sales: no buyer or seller shown. Figures count player-to-player sales only.

From Wikipedia

Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Emphasis on metamathematics (and perhaps the creation of the term itself) owes itself to David Hilbert's attempt to secure the foundations of mathematics in the early part of the 20th century. Metamathematics provides "a rigorous mathematical technique for investigating a great variety of foundation problems for mathematics and logic" (Kleene 1952, p. 59). An important feature of metamathematics is its emphasis on differentiating between reasoning from inside a system and from outside a system. An informal illustration of this is categorizing the proposition "2+2=4" as belonging to mathematics while categorizing the proposition "'2+2=4' is valid" as belonging to metamathematics.

Text: Wikipédia, CC BY-SA 4.0. · Image: Nick Dillinger (Public domain) ·