Normative mathematics

To be defined. After reading of the constructive approach (at Wikipedia - much better now than a few years ago - see also, Scientific method), it's time to do this work.

Last time, we mentioned normative economics as this is one of the areas of application. Too, we looked at this at Fedaerated.

The excluded middle will play a part. Too, quasi-empiricism will be central.

Remarks:   Modified: 01/23/2015

01/23/2015 -- Truth deals with theorems, in part. That is, a theorem is a rigorous type of demonstration; demonstrations can be of many varieties and of various levels of rigorousness. That something is of rigor may, but not by necessity, make it to repeatable and acceptable. The former means that anyone, anywhere can do the demonstration (the possible need for provisional restraints is acknowledged). This repeatability is part of the public face of a demonstration which removes it from (sets it above) the subjective (no denigration intended). Science, as we have seen, has found success with this aspect of mathematics.

Acceptableness comes from convention and by agreement (all arguments otherwise will be noted). Quasi-empirical efforts in mathematics allow us to look at the issues.

No less a talent than Gauss, though, said this: through systematic palpable experimentation. When? On being asked about how he came up with his theorems.

What does this mean? Lots, especially, to us. We like the use of palpable. For one, from this, we see support for our peripatetic leanings (to be discussed).