Encyclopedia > Metamathematics

  Article Content

Metamathematics

Metamathematics is mathematics used to study mathematics. It was originally differentiated from ordinary mathematics in the 19th century to focus on what was then called the foundations problem in mathematics.

Important branches include proof theory, model theory, and mathematical logic. The original meaning of David Hilbert is closest to proof theory.

Many issues regarding the foundations of mathematics (there is no longer necessarily considered to be any one "problem") and the philosophy of mathematics touch on or use ideas from metamathematics.

On the other hand, quasi-empiricism in mathematics, the cognitive science of mathematics, and ethno-cultural studies of mathematics, which focus on scientific method, quasi-empirical methods or other empirical methods used to study mathematics and mathematical practice by which such ideas become accepted, are non-mathematical ways to study mathematics.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
East Farmingdale, New York

... out with 26.0% under the age of 18, 9.4% from 18 to 24, 34.6% from 25 to 44, 19.4% from 45 to 64, and 10.6% who are 65 years of age or older. The median age is 34 ...

 
 
 
This page was created in 66.6 ms