Metamathematics
Videos
Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Emphasis on metamath
The title page of the Principia Mathematica (shortened version), an important work of metamathematics
Philosophy of mathematics
Videos
Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship to other areas of philosophy, particularly epistemology and metaphysics. Central qu
David Hilbert
Leopold Kronecker