Internal Set Theory
Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the non-standard analysis introduced by Abraham Robinson. Instead of adding new elements to the real numbers, the axioms introduce a new term, "standard", which can be used to make discriminations not possible under the conventional axioms for sets. Thus, IST is an enrichment of ZFC: all axioms of ZFC are satisfied for all classical predicates, while the new unary predicate "standard" satisfies three additional axioms I, S, and T. In particular, suitable non-standard elements within the set of real numbers can be shown to have properties that correspond to the properties of infinitesimal and unlimited elements.
Nelson's formulation is made more accessible for the lay-mathematician by leaving out many of the complexities of meta-mathematical logic that were initially required to justify rigorously the consistency of infinitesimal elements.
Read more about Internal Set Theory: Intuitive Justification, Formal Axioms For IST, Formal Justification For The Axioms
Famous quotes containing the words internal, set and/or theory:
“We all run on two clocks. One is the outside clock, which ticks away our decades and brings us ceaselessly to the dry season. The other is the inside clock, where you are your own timekeeper and determine your own chronology, your own internal weather and your own rate of living. Sometimes the inner clock runs itself out long before the outer one, and you see a dead man going through the motions of living.”
—Max Lerner (b. 1902)
“To sum up:
1. The cosmos is a gigantic fly-wheel making 10,000 revolutions a minute.
2. Man is a sick fly taking a dizzy ride on it.
3. Religion is the theory that the wheel was designed and set spinning to give him the ride.”
—H.L. (Henry Lewis)
“No one thinks anything silly is suitable when they are an adolescent. Such an enormous share of their own behavior is silly that they lose all proper perspective on silliness, like a baker who is nauseated by the sight of his own eclairs. This provides another good argument for the emerging theory that the best use of cryogenics is to freeze all human beings when they are between the ages of twelve and nineteen.”
—Anna Quindlen (20th century)