Metamathematics (nonfiction): Difference between revisions
(Created page with "'''Metamathematics''' is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theo...") |
No edit summary |
||
| Line 1: | Line 1: | ||
'''Metamathematics''' is the study of [[Mathematics (nonfiction)|mathematics]] itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. | [[File:Russell,_Whitehead_-_Principia_Mathematica_to_56.jpg|thumb|The title page of the ''Principia Mathematica'' (shortened version, including sections only up to *56), an important work of metamathematics.]]'''Metamathematics''' is the study of [[Mathematics (nonfiction)|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 (nonfiction)|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). | Emphasis on metamathematics (and perhaps the creation of the term itself) owes itself to [[David Hilbert (nonfiction)|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). | ||
| Line 21: | Line 21: | ||
* [[Logic (nonfiction)]] | * [[Logic (nonfiction)]] | ||
* [[Mathematics (nonfiction)]] | * [[Mathematics (nonfiction)]] | ||
* [[Bertrand Russell (nonfiction)]] | |||
* [[Alfred North Whitehead (nonfiction)]] | |||
External links: | External links: | ||
Latest revision as of 15:15, 1 December 2017
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.
In the News
Fiction cross-references
Nonfiction cross-reference
- Algorithm (nonfiction)
- David Hilbert (nonfiction)
- Logic (nonfiction)
- Mathematics (nonfiction)
- Bertrand Russell (nonfiction)
- Alfred North Whitehead (nonfiction)
External links:
- Metamathematics @ Wikipedia