Help
Index

 Maarten Maartensz:    Philosophical Dictionary | Filosofisch Woordenboek                      

 M - Metamathematics

 

Metamathematics: Mathematical theories about mathematical theories.

The subject of metamathematics arose as it slowly became evident that there is a sound sense in which one can state and prove mathematical theorems that concern mathematical theories, such as concerns their completeness. (See: Gödel's Theorems).






 


See: Gödel's Theorems, Logic, Mathematics,


Literature:

Hilbert & Bernays,

 Original: Apr 8, 2005                                                Last edited: 12 December 2011.   Top