digplanet beta 1: Athena
Share digplanet:

Agriculture

Applied sciences

Arts

Belief

Business

Chronology

Culture

Education

Environment

Geography

Health

History

Humanities

Language

Law

Life

Mathematics

Nature

People

Politics

Science

Society

Technology

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) is due to David Hilbert's attempt of proving the consistency of mathematical theories by proving a proposition about a theory itself, i.e. specifically about all possible proofs of theorems in the theory; in particular, both a proposition A and its negation not A should not be theorems (Kleene 1952, p. 55). However, metamathematics provides "a rigorous mathematical technique for investigating a great variety of foundation problems for mathematics and logic, among which the consistency problem is only one" (Kleene 1952, p. 59).

History[edit]

Metamathematical metatheorems about mathematics itself were originally differentiated from ordinary mathematical theorems in the 19th century to focus on what was then called the foundational crisis of mathematics. Richard's paradox (Richard 1905) concerning certain 'definitions' of real numbers in the English language is an example of the sort of contradictions that can easily occur if one fails to distinguish between mathematics and metamathematics. Something similar can be said around the well-known Russell's paradox (Does the set of all those sets that do not contain themselves contain itself?).

Metamathematics was intimately connected to mathematical logic, so that the early histories of the two fields, during the late 19th and early 20th centuries, largely overlap. More recently, mathematical logic has often included the study of new pure mathematics, such as set theory, recursion theory and pure model theory, which is not directly related to metamathematics[citation needed].

Serious metamathematical reflection began with the work of Gottlob Frege, especially his Begriffsschrift.

David Hilbert was the first to invoke the term "metamathematics" with regularity (see Hilbert's program). In his hands, it meant something akin to contemporary proof theory, in which finitary methods are used to study various axiomatized mathematical theorems (Kleene 1952, p. 55).

Other prominent figures in the field include Bertrand Russell, Thoralf Skolem, Emil Post, Alonzo Church, Stephen Kleene, Willard Quine, Paul Benacerraf, Hilary Putnam, Gregory Chaitin, Alfred Tarski and Kurt Gödel. In particular, arguably the greatest achievement of metamathematics and the philosophy of mathematics to date is Gödel's incompleteness theorem: proof that given any finite number of axioms for Peano arithmetic, there will be true statements about that arithmetic that cannot be proved from those axioms.

Today, metalogic and metamathematics are largely synonymous[citation needed] with each other, and both have been substantially subsumed by mathematical logic in academia.

Milestones[edit]

See also[edit]

References[edit]

  • W. J. Blok and Don Pigozzi, "Alfred Tarski's Work on General Metamathematics", The Journal of Symbolic Logic, v. 53, No. 1 (Mar., 1988), pp. 36–50.
  • I. J. Good. "A Note on Richard's Paradox". Mind, New Series, Vol. 75, No. 299 (Jul., 1966), p. 431. JStor
  • Douglas Hofstadter, 1980. Gödel, Escher, Bach. Vintage Books. Aimed at laypeople.
  • Stephen Cole Kleene, 1952. Introduction to Metamathematics. North Holland. Aimed at mathematicians.
  • Jules Richard, Les Principes des Mathématiques et le Problème des Ensembles, Revue Générale des Sciences Pures et Appliquées (1905); translated in Heijenoort J. van (ed.), Source Book in Mathematical Logic 1879-1931 (Cambridge, Mass., 1964).
  • Alfred North Whitehead, and Bertrand Russell. Principia Mathematica, 3 vols, Cambridge University Press, 1910, 1912, and 1913. Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3). Abridged as Principia Mathematica to *56, Cambridge University Press, 1962.

Original courtesy of Wikipedia: http://en.wikipedia.org/wiki/Metamathematics — Please support Wikipedia.
This page uses Creative Commons Licensed content from Wikipedia. A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia.
131 videos foundNext > 

Metamathematics - Mathematics of the Unknown 1 1/2

E.T. Nada is joined by mathematician Gerald J. Huget as they discuss some of the features of the mathematics of the unknown. The proof for a nine sided polyg...

Paul Christiano on Probabilistic Metamathematics and the Definability of Truth

Paul Christiano (UC Berkeley, http://rationalaltruist.com) discusses a result that significantly undercuts the philosophical significance of Tarski's undefin...

Gödel's Incompleteness Theorems: History, Proofs, Implications

http://thebrooklyninstitute.com/bisr_course/godels-incompleteness-theorems-history-proofs-implications/ In 1931, a 25-year-old Kurt Gödel published a paper i...

Introduction to Metamath and mmj2

This is an introduction to Metamath and mmj2. Metamath is a system for formalizing & verifying math proofs. mmj2 is a text editor implemented in Java that si...

Metamathematics - Mathematics of the Unknown 5

E.T. Nada joins mathematician Gerald J. Huget to discuss some of the features of metamathematics - the mathematics of the unknown. Inside out and outside in....

Metamathematics - Mathematics of the Unknown 2

E.T. Nada joins mathematician Gerald J. Huget to discuss some of the features of metamathematics - the mathematics of the unknown. Aesthetics and inner mathe...

Metamathematics - Mathematics of the Unknown 4

E.T. Nada joins mathematician Gerald J. Huget to discuss some of the features of metamathematics - the mathematics of the unknown. Inside out and outside in....

Metamathematics - Mathematics of the Unknown 3

E.T. Nada joins mathematician Gerald J. Huget to discuss some of the features of metamathematics - the mathematics of the unknown. Inside out and outside in....

METAMATHEMATICS

I'M GONNA INVENT METAMATHEMATICS LIKE A BOSS.

On metamathematics and mathematical economics

Francisco Antonio Doria - 22/11/2012 Conferência no dipartimento di economia, università di trento, 22.11.2012; imagens de Ana Valéria Doria.

131 videos foundNext > 

We're sorry, but there's no news about "Metamathematics" right now.

Loading

Oops, we seem to be having trouble contacting Twitter

Talk About Metamathematics

You can talk about Metamathematics with people all over the world in our discussions.

Support Wikipedia

A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia. Please add your support for Wikipedia!