General Principles
In reverse mathematics, one starts with a framework language and a base theory—a core axiom system—that is too weak to prove most of the theorems one might be interested in, but still powerful enough to develop the definitions necessary to state these theorems. For example, to study the theorem “Every bounded sequence of real numbers has a supremum” it is necessary to use a base system which can speak of real numbers and sequences of real numbers.
For each theorem that can be stated in the base system but is not provable in the base system, the goal is to determine the particular axiom system (stronger than the base system) that is necessary to prove that theorem. To show that a system S is required to prove a theorem T, two proofs are required. The first proof shows T is provable from S; this is an ordinary mathematical proof along with a justification that it can be carried out in the system S. The second proof, known as a reversal, shows that T itself implies S; this proof is carried out in the base system. The reversal establishes that no axiom system S′ that extends the base system can be weaker than S while still proving T.
Read more about this topic: Reverse Mathematics
Famous quotes containing the words general and/or principles:
“The General Strike has taught the working class more in four days than years of talking could have done.”
—A.J. (Arthur James)
“Only conservatives believe that subversion is still being carried on in the arts and that society is being shaken by it.... Advanced art today is no longer a cause—it contains no moral imperative. There is no virtue in clinging to principles and standards, no vice in selling or in selling out.”
—Harold Rosenberg (1906–1978)