Experimental Metamathematics

Metamathematics is to mathematics what metaphysics is to philosophy. It is about stepping outside the discipline and attempting to grasp it as a single entity/ object of study; it is an investigation into the foundations of mathematics. (For an elucidation of  Foundations of Mathematics see http://www.math.psu.edu/simpson/hierarchy.html) Some mathematicians have begun to practice  a quasi-empirical brand of mathematics and insist on results for which there […]