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:
“You will see Coleridge—he who sits obscure
In the exceeding lustre and the pure
Intense irradiation of a mind,
Which, with its own internal lightning blind,
Flags wearily through darkness and despair—
A cloud-encircled meteor of the air,
A hooded eagle among blinking owls.”
—Percy Bysshe Shelley (1792–1822)
“It is a great mistake to suppose that clever, imaginative children ... should content themselves with the empty nonsense which is so often set before them under the name of Children’s Tales. They want something much better; and it is surprising how much they see and appreciate which escapes a good, honest, well- informed papa.”
—E.T.A.W. (Ernst Theodor Amadeus Wilhelm)
“By the “mud-sill” theory it is assumed that labor and education are incompatible; and any practical combination of them impossible. According to that theory, a blind horse upon a tread-mill, is a perfect illustration of what a laborer should be—all the better for being blind, that he could not tread out of place, or kick understandingly.... Free labor insists on universal education.”
—Abraham Lincoln (1809–1865)