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 principles, general and/or principles:
“The conclusion suggested by these arguments might be called the paradox of theorizing. It asserts that if the terms and the general principles of a scientific theory serve their purpose, i. e., if they establish the definite connections among observable phenomena, then they can be dispensed with since any chain of laws and interpretive statements establishing such a connection should then be replaceable by a law which directly links observational antecedents to observational consequents.”
—C.G. (Carl Gustav)
“There is absolutely no evidence—developmental or otherwise—to support separating twins in school as a general policy. . . . The best policy seems to be no policy at all, which means that each year, you and your children need to decide what will work best for you.”
—Pamela Patrick Novotny (20th century)
“I have ever deemed it fundamental for the United States never to take active part in the quarrels of Europe. Their political interests are entirely distinct from ours. Their mutual jealousies, their balance of power, their complicated alliances, their forms and principles of government, are all foreign to us. They are nations of eternal war.”
—Thomas Jefferson (1743–1826)